Recommendations
- Hilbert vindicated?
- scientific article; zbMATH DE number 2211754
- Formalism and Hilbert's understanding of consistency problems
- Les bases de la logique Hilbertienne.
- Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edi
- Bemerkungen zu den Ausführungen von Herrn S. Leśniewski über meine Arbeit ``Zur Hilbertschen Beweistheorie.
- Methodological frames: Paul Bernays, mathematical structuralism, and proof theory
- Why proof? What is a proof?
- Relative consistency and accessible domains
- Grundlagen der Mathematik. I.
Cites work
- scientific article; zbMATH DE number 51351 (Why is no real title available?)
- scientific article; zbMATH DE number 1232462 (Why is no real title available?)
- scientific article; zbMATH DE number 1281125 (Why is no real title available?)
- scientific article; zbMATH DE number 1868661 (Why is no real title available?)
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- A formalist philosophy of mathematics. I: Arithmetic
- Confronting ideals of proof with the ways of proving of the research mathematician
- Informal proofs and mathematical rigour
- The Derivation-Indicator View of Mathematical Practice
- The mathematical significance of proof theory
- The relative efficiency of propositional proof systems
- Tracking reason. Proof, consequence, and truth
- Truth through proof. A formalist foundation for mathematics
- Why Do We Prove Theorems?
- Why do informal proofs conform to formal norms?
Cited in
(18)- From Euclidean geometry to knots and nets
- RIGOUR AND PROOF
- Proving Things About the Informal
- Is there a ``Hilbert thesis?
- Types for Proofs and Programs
- MATHEMATICAL RIGOR AND PROOF
- Mathematical inference and logical inference
- Informal versus formal mathematics
- Rigor and formalization
- Structuralism and informal provability
- Psychological nature of verification of informal mathematical proofs
- Why Do We Believe Theorems?
- A problem with the dependence of informal proofs on formal proofs
- Proof versus formalization
- Rigour and intuition
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Truth through proof. A formalist foundation for mathematics
- Formal and Natural Proof: A Phenomenological Approach
This page was built for publication: Informal proof, formal proof, formalism
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804472)
