Recommendations
Cited in
(60)- Despite physicists, proof is essential in mathematics
- From Euclidean geometry to knots and nets
- Acceptable gaps in mathematical proofs
- Non-deterministic logic of informal provability has no finite characterization
- Unificatory understanding and explanatory proofs
- Why do informal proofs conform to formal norms?
- Towards a theory of mathematical argument
- Informal and absolute proofs: some remarks from a Gödelian perspective
- Euler's Königsberg: the explanatory power of mathematics
- Montague's paradox, informal provability, and explicit modal logic
- Who proved Haag's theorem?
- Epistemic injustice in mathematics
- Do mathematical explanations have instrumental value?
- Reliability of mathematical inference
- Mathematical engineering and mathematical change1
- Informal proof, formal proof, formalism
- Cognitive development of proof
- Conceptions of Proof – In Research and Teaching
- The need for proof and proving: mathematical and pedagogical perspectives
- Contemporary proofs for mathematics education
- Arguing Around Mathematical Proofs
- Towards a theory of mathematical argument
- Mathematical arguments and distributed knowledge
- Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
- Proofs as bearers of mathematical knowledge
- And so on \dots : reasoning with infinite diagrams
- How to think about informal proofs
- Objects and processes in mathematical practice
- Mathematical inference and logical inference
- scientific article; zbMATH DE number 2113550 (Why is no real title available?)
- The significance of relativistic computation for the philosophy of mathematics
- Plans and planning in mathematical proofs
- MATHEMATICAL RIGOR AND PROOF
- Saving Proof from Paradox: Gödel’s Paradox and the Inconsistency of Informal Mathematics
- Paraconsistent computation and dialetheic machines
- Theory of quantum computation and philosophy of mathematics. II
- Motivated proofs: what they are, why they matter and how to write them
- Informal proofs and mathematical rigour
- RIGOUR AND PROOF
- Does Mathematics Need Foundations?
- Abstraction by Embedding and Constraint-Based Design
- The role of testimony in mathematics
- Mathematicians writing for mathematicians
- The role of syntactic representations in set theory
- Rigour and intuition
- Reconciling \textit{Rigor and intuition}
- Rigor and formalization
- How to make (mathematical) assertions with directives
- What is PA \(+\) (PA) about, and where?
- Structuralism and informal provability
- Instructions and constructions in set theory proofs
- On the unreasonable reliability of mathematical inference
- Artificial intelligence and inherent mathematical difficulty
- Gödel's absolute proofs and Girard's ludics: mutual insights
- Proofs, pictures, and Euclid
- Language, models, and reality: weak existence and a threefold correspondence
- Nondeterministic first-order T-BAT logic
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
- Pi on earth, or mathematics in the real world
This page was built for publication: Why Do We Prove Theorems?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237642)
