Experimental mathematics, computers and the a priori
From MaRDI portal
Publication:2441736
DOI10.1007/s11229-011-0035-1zbMath1284.00051OpenAlexW2020292403MaRDI QIDQ2441736
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
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