Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

DOI10.1515/9781501502620-015MaRDI QIDQ5221858zbMATH OpenOpenAlexFDO

Authors Roman Murawski

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/9781501502620-015

zbMATH Keywords

axiomatic methodtruthformal proofinformal proofmathematical knowledge

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3961568
• Remarks on the History and Philosophy of Mathematics
• scientific article; zbMATH DE number 3963778
• Rigor and Proof in Mathematics: A Historical Perspective
• The mathematical theorem. Reflections on the history and the nature of proof
• scientific article; zbMATH DE number 6123602
• Proof and the evolution of mathematics
• The surveyability of mathematical proof: A historical perspective
• On proof and progress in mathematics

Cited in

(39)

• Despite physicists, proof is essential in mathematics
• Why proof? What is a proof?
• Mathematical Rigour and Informal Proof
• Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997
• Remarks on the History and Philosophy of Mathematics
• scientific article; zbMATH DE number 1984275 (Why is no real title available?)
• Reshaping the metaphor of proof
• On Formal Proofs
• Is mathematics problem solving or theorem proving?
• Truth vs. provability – philosophical and historical remarks
• Remarks on the content and extension of the notion of provability
• Informal proofs and mathematical rigour
• Mathematical inference and logical inference
• Informal and absolute proofs: some remarks from a Gödelian perspective
• Proofs and guarantees
• On the concept of proof
• Psychological nature of verification of informal mathematical proofs
• The mathematical theorem. Reflections on the history and the nature of proof
• Looking from the inside and from the outside
• Automated Reasoning with Analytic Tableaux and Related Methods
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
• Acceptable gaps in mathematical proofs
• Preface to the project ``Idealis of proof
• The surveyability of mathematical proof: A historical perspective
• Why do informal proofs conform to formal norms?
• Proof in mathematics and in logic
• The mathematical significance of proof theory
• Formal ontology and mathematics. A case study on the identity of proofs
• Checking proofs
• scientific article; zbMATH DE number 2168558 (Why is no real title available?)
• On formal and informal provability
• Proofs as spatio-temporal processes
• How to think about informal proofs
• scientific article; zbMATH DE number 3961568 (Why is no real title available?)
• scientific article; zbMATH DE number 4059318 (Why is no real title available?)
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Confronting ideals of proof with the ways of proving of the research mathematician
• Some methodological aspects of Getaldić's mathematical works
• Why proof? A historian's perspective

This page was built for publication: Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

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