A problem with the dependence of informal proofs on formal proofs
From MaRDI portal
(Redirected from Publication:2965627)
Recommendations
Cited in
(24)- From Euclidean geometry to knots and nets
- Acceptable gaps in mathematical proofs
- Non-deterministic logic of informal provability has no finite characterization
- Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
- Reliability of mathematical inference
- Why Do We Believe Theorems?
- Mathematical inference and logical inference
- Many-valued logic of informal provability: a non-deterministic strategy
- MATHEMATICAL RIGOR AND PROOF
- The relationship of derivations in artificial languages to ordinary rigorous mathematical proof
- RIGOUR AND PROOF
- Does Mathematics Need Foundations?
- How to Frame a Mathematician
- Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?
- Audience role in mathematical proof development
- The role of syntactic representations in set theory
- Mathematizing as a virtuous practice: different narratives and their consequences for mathematics education and society
- Reconciling \textit{Rigor and intuition}
- Rigor and formalization
- Instructions and constructions in set theory proofs
- On the unreasonable reliability of mathematical inference
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- Critical math kinds: a framework for the philosophy of alternative mathematics
- Nondeterministic first-order T-BAT logic
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)
