Why Do We Believe Theorems?
From MaRDI portal
Publication:3182719
DOI10.1093/philmat/nkn030zbMath1182.03023arXiv1411.4857OpenAlexW1997253879MaRDI QIDQ3182719
Publication date: 15 October 2009
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.4857
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (7)
And so on \dots : reasoning with infinite diagrams ⋮ How to think about informal proofs ⋮ RIGOUR AND PROOF ⋮ The role of syntactic representations in set theory ⋮ Reliability of mathematical inference ⋮ From Euclidean geometry to knots and nets ⋮ Acceptable gaps in mathematical proofs
This page was built for publication: Why Do We Believe Theorems?