Despite physicists, proof is essential in mathematics

DOI10.1023/A:1004918402670zbMATH Open1052.00512MaRDI QIDQ1297034FDOQ1297034

Authors: Saunders Mac Lane 

Publication date: 23 September 1999

Published in: Synthese (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cited In (7)

• The role of axioms in mathematics
• Formal Proof: Reconciling Correctness and Understanding
• Adequacy of mathematical models in control theory, physics, and environmental science
• Logic in category theory
• Conformal orbifold theories and braided crossed \(G\)-categories
• Title not available (Why is that?)
• Title not available (Why is that?)

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)