Despite physicists, proof is essential in mathematics
From MaRDI portal
Publication:1297034
DOI10.1023/A:1004918402670zbMath1052.00512MaRDI QIDQ1297034
Publication date: 23 September 1999
Published in: Synthese (Search for Journal in Brave)
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)
Related Items
Logic in Category Theory, The role of axioms in mathematics, Conformal orbifold theories and braided crossed \(G\)-categories, Formal Proof: Reconciling Correctness and Understanding
