A problem with the dependence of informal proofs on formal proofs

DOI10.1093/PHILMAT/NKV008zbMATH Open1357.00027OpenAlexW1992411930WikidataQ113817972 ScholiaQ113817972MaRDI QIDQ2965627FDOQ2965627

Authors: Fenner Stanley Tanswell 

Publication date: 3 March 2017

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/nkv008

Recommendations

• Informal proof, formal proof, formalism
• How to think about informal proofs
• Informal proofs and mathematical rigour
• The informal logic of mathematical proof
• Why Do We Believe Theorems?

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Cited In (18)

• From Euclidean geometry to knots and nets
• RIGOUR AND PROOF
• MATHEMATICAL RIGOR AND PROOF
• Does Mathematics Need Foundations?
• Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
• Mathematical inference and logical inference
• Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
• The role of syntactic representations in set theory
• Why Do We Believe Theorems?
• How to Frame a Mathematician
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
• Acceptable gaps in mathematical proofs
• Reconciling \textit{Rigor and intuition}
• Audience role in mathematical proof development
• Many-valued logic of informal provability: a non-deterministic strategy
• Non-deterministic logic of informal provability has no finite characterization
• Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?
• Reliability of mathematical inference

This page was built for publication: A problem with the dependence of informal proofs on formal proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2965627)