Experimental mathematics, computers and the a priori

DOI10.1007/s11229-011-0035-1zbMath1284.00051OpenAlexW2020292403MaRDI QIDQ2441736

Mark McEvoy

Publication date: 28 March 2014

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-0035-1

zbMATH Keywords

experimental mathematicscomputer assisted proofsmathematical apriorismnon-deductive methodology

Mathematics Subject Classification ID

Related Items (1)

Computers as a Source of A Posteriori Knowledge in Mathematics

Uses Software

• Flyspeck

Cites Work

• Pi on earth, or mathematics in the real world
• Every planar map is four colorable. II: Reducibility
• The four-colour theorem
• Solution of the Robbins problem
• The Non-Existence of Finite Projective Planes of Order 10
• “Theoretical mathematics”: toward a cultural synthesis of mathematics and theoretical physics
• The Epistemological Status of Computer-Assisted Proofs
• Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof
• The Philosophical Implications of the Four-Color Problem
• The challenge of computer mathematics
• In Math, Computers Don't Lie Or Do They?
• Fidelity in Mathematical Discourse: Is One and One Really Two?
• Experimental mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Experimental mathematics, computers and the a priori