Despite physicists, proof is essential in mathematics

DOI10.1023/A:1004918402670MaRDI QIDQ1297034zbMATHFDO

Authors Saunders Mac Lane

Publication date 23 September 1999

Published in Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35) Philosophy of mathematics (00A30)

Recommendations

• Proofs and guarantees
• Why Do We Prove Theorems?
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• Reshaping the metaphor of proof
• scientific article; zbMATH DE number 1846769
• scientific article; zbMATH DE number 47237
• On the concept of proof
• The story of proof. Logic and the history of mathematics
• The roots of contemporary Platonism
• Confronting ideals of proof with the ways of proving of the research mathematician

Cited in

(7)

• Adequacy of mathematical models in control theory, physics, and environmental science
• scientific article; zbMATH DE number 1901995 (Why is no real title available?)
• scientific article; zbMATH DE number 6168901 (Why is no real title available?)
• The role of axioms in mathematics
• Conformal orbifold theories and braided crossed \(G\)-categories
• Logic in category theory
• Formal Proof: Reconciling Correctness and Understanding

This page was built for publication: Despite physicists, proof is essential in mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1297034)