Informal proof, formal proof, formalism

DOI10.1017/S1755020315000234zbMATH Open1381.03014OpenAlexW1947756087MaRDI QIDQ2804472FDOQ2804472

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)

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?)
• Title not available (Why is that?)
• Informal proofs and mathematical rigour
• Title not available (Why is that?)
• Why do informal proofs conform to formal norms?
• The mathematical significance of proof theory

Cited In (9)

• 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
• Rigour and intuition
• Proof versus formalization
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

   Recommendations

• Hilbert vindicated? 👍 👎
• Title not available (Why is that?) 👍 👎
• Formalism and Hilbert's understanding of consistency problems 👍 👎
• Les bases de la logique Hilbertienne. 👍 👎
• Title not available (Why is that?) 👍 👎
• 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. 👍 👎

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)