The epistemological status of computer-assisted proofs

Philosophia Mathematica

Volumn 16, Issue 3, 2008, Pages 374-387

  McEvoy, Mark ^a  

^a HOFSTRA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 53949094097     PISSN: 00318019     EISSN: 17446406     Source Type: Journal    
DOI: 10.1093/philmat/nkn014     Document Type: Article

References (20)

1. APPEL, KENNETH, and WOLFGANG HAKEN [2002]: 'The Four Color Problem,' in Dale Jacquette, ed., Philosophy of Mathematics: An Anthology, pp. 193-208. Oxford: Blackwell.
2. APPEL, KENNETH, WOLFGANG HAKEN, and JOHN KOCH [1977]: 'Every planar map is four colorable', Illinois Journal of Mathematics 21, 429-567.
3. AZZOUNI, JODY [1994]: Metaphysical Myths, Mathematical Practice New York: Cambridge University Press.
4. BROWN, JAMES ROBERT [1999]: Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures. New York: Routledge.
5. BURGE, TYLER [1993]: 'Content preservation', Philosophical Review 102, 457-488.
6. BURGE, TYLER [1998]: 'Computer proof, a priori knowledge, and other minds', in Language, Mind and Ontology, pp. 1-37. Philosophical Perspectives; 12. Boston, Mass.: Blackwell.
7. CHANG, KENNETH [2004]: 'In math, computers don't lie. Or do they?', New York Times, April 6, pp. F1, F4.
8. CORFIELD, DAVID [2003]: Towards a Philosophy of Real Mathematics. Cambridge: Cambridge University Press.
9. GOLDSTICK, D. [1977]: 'A little-noticed feature of a priori truth', The Personalist 58, 131-133.
10. HALES, THOMAS [1998]: 'The Kepler conjecture', (and updates) http://www.math.pitt.edu/~thales.
11. JOYNER, DAVID, and WILLIAM STEIN [2007]: 'Open source mathematical software', Notices of the American Mathematical Society 54, 1279.
12. KAUFFMAN, LOUIS [2000]: 'The Robbins problem - Computer proofs and human proofs', http://www.math.uic.edu/~kauffman/Papers.html.
13. KITCHER, PHILIP [1983]: The Nature of Mathematical Knowledge New York: Oxford University Press.
14. KRIPKE, SAUL [1972]: Naming and Necessity. Cambridge, Mass.: Harvard University Press.
15. LEVIN, MARGARITA [1981]: 'On Tymoczko's argument for mathematical empiricism', Philosophical Studies 39, 79-86.
16. MCCUNE, WILLIAM [1997]: 'Solution of the Robbins problem', Journal of Automated Reasoning 19, 263-276.
17. MCEVOY, MARK [2007]: 'Kitcher, mathematical intuition, and experience', Philosophia Mathematica (3) 15, 227-237.
18. RESNIK, MICHAEL [1997]: Mathematics as a Science of Patterns New York: Oxford University Press.
19. ROTA, GIAN-CARLO [2002]: 'The phenomenology of mathematical proof', in Dale Jacquette, ed., The Philosophy of Mathematics: An Anthology, pp. 218-225. Oxford: Blackwell.
20. TYMOCZKO, THOMAS [1979]: 'The Four-Color Problem and its philosophical significance', Journal of Philosophy 76, 57-82.