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 methodformal proofinformal proofmathematical knowledgetruth

Mathematics Subject Classification ID

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

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

(42)

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

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)