Informal proof, formal proof, formalism
From MaRDI portal
Publication:2804472
DOI10.1017/S1755020315000234zbMATH Open1381.03014OpenAlexW1947756087MaRDI QIDQ2804472FDOQ2804472
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
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.
Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30)
Cites Work
- The relative efficiency of propositional proof systems
- Why Do We Prove Theorems?
- The Derivation-Indicator View of Mathematical Practice
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A formalist philosophy of mathematics. I: Arithmetic
- Title not available (Why is that?)
- Tracking reason. Proof, consequence, and truth
- Informal proofs and mathematical rigour
- Truth through proof. A formalist foundation for mathematics
- Why do informal proofs conform to formal norms?
- The mathematical significance of proof theory
Cited In (15)
- 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
- Rigour and intuition
- Proof versus formalization
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- Truth through proof. A formalist foundation for mathematics
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)
