Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...) and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

Without a doubt, one of the main reasons Platonsim remains such a strong contender in the Foundations of Mathematics debate is because of the prima facie plausibility of the claim that objectivity needs objects. It seems like nothing else but the existence of external referents for the terms of our mathematical theories and calculations can guarantee the objectivity of our mathematical knowledge. The reason why Frege – and most Platonists ever since – could not adhere to the idea that mathematical (...) objects were mental, conventional or in any other way dependent on our faculties, will or other historical contingencies was that objects whose properties of existence depended on such contingencies could not warrant the objectivity required for scientific knowledge. This idea gained currency in the second half of the 19th Century and remains current for the most part today. However, it was not always like that. Objectivity, after all, has a history, and according to its historians (Daston 2001), the view that scientific knowledge need be objective is a fairly recent one. Up until mid-19th Century, science was not so much concerned with objectivity, as it was concerned with truth. Before the rise of the modern university and the professional scientist, science had the discovery of truths as its ultimate goal. In contrast, modern science now aims at the production and acquisition of objective knowledge. The difference might seem.. (shrink)