Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics

DOI10.1515/9781501502620-015zbMATH Open1433.00031OpenAlexW2484325984MaRDI QIDQ5221858FDOQ5221858

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

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

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)

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
• Reshaping the metaphor of proof
• Title not available (Why is that?)
• On Formal Proofs
• Truth vs. provability – philosophical and historical remarks
• Is mathematics problem solving or theorem proving?
• Remarks on the content and extension of the notion of provability
• Mathematical inference and logical inference
• Informal proofs and mathematical rigour
• Informal and absolute proofs: some remarks from a Gödelian perspective
• On the concept of proof
• Proofs and guarantees
• Psychological nature of verification of informal mathematical proofs
• The mathematical theorem. Reflections on the history and the nature of proof
• Automated Reasoning with Analytic Tableaux and Related Methods
• Looking from the inside and from the outside
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
• Preface to the project ``Idealis of proof
• Acceptable gaps in mathematical proofs
• 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
• Title not available (Why is that?)
• Proofs as spatio-temporal processes
• On formal and informal provability
• Title not available (Why is that?)
• Title not available (Why is that?)
• How to think about informal proofs
• 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
• Why proof? A historian's perspective
• 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)