A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
From MaRDI portal
Publication:5426521
DOI10.1093/philmat/nkm023zbMath1197.00026OpenAlexW2165546563MaRDI QIDQ5426521
Publication date: 12 November 2007
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/philmat/nkm023
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
Related Items (21)
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Confronting ideals of proof with the ways of proving of the research mathematician ⋮ And so on \dots : reasoning with infinite diagrams ⋮ Checking Proofs ⋮ RIGOUR AND PROOF ⋮ Formal and Natural Proof: A Phenomenological Approach ⋮ Does Mathematics Need Foundations? ⋮ How to Frame a Mathematician ⋮ The role of testimony in mathematics ⋮ Mathematicians writing for mathematicians ⋮ The role of syntactic representations in set theory ⋮ Objects and processes in mathematical practice ⋮ Reliability of mathematical inference ⋮ Proofs, pictures, and Euclid ⋮ Why do informal proofs conform to formal norms? ⋮ Cognitive artifacts for geometric reasoning ⋮ INFORMAL PROOF, FORMAL PROOF, FORMALISM ⋮ Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics ⋮ From Euclidean geometry to knots and nets ⋮ Acceptable gaps in mathematical proofs ⋮ Non-deterministic logic of informal provability has no finite characterization
Uses Software
This page was built for publication: A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
