INFORMAL PROOF, FORMAL PROOF, FORMALISM

DOI10.1017/S1755020315000234zbMath1381.03014OpenAlexW1947756087MaRDI QIDQ2804472

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

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

Related Items (5)

Is there a ``Hilbert thesis? ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ MATHEMATICAL RIGOR AND PROOF ⋮ RIGOUR AND PROOF ⋮ From Euclidean geometry to knots and nets

Cites Work

• Informal proofs and mathematical rigour
• A formalist philosophy of mathematics. I: Arithmetic
• Confronting ideals of proof with the ways of proving of the research mathematician
• Why do informal proofs conform to formal norms?
• The relative efficiency of propositional proof systems
• Why Do We Prove Theorems?
• The Derivation-Indicator View of Mathematical Practice
• The mathematical significance of proof theory
• A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: INFORMAL PROOF, FORMAL PROOF, FORMALISM