Informal proof, formal proof, formalism

DOI10.1017/S1755020315000234MaRDI QIDQ2804472zbMATH OpenOpenAlexFDO

Authors Alan Weir

Publication date 29 April 2016

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020315000234

zbMATH Keywords

formal prooffromalism

Mathematics Subject Classification ID

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

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

(16)

• 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
• 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)