Reliability of mathematical inference
From MaRDI portal
Publication:2695405
DOI10.1007/s11229-019-02524-yOpenAlexW2965089044WikidataQ126359710 ScholiaQ126359710MaRDI QIDQ2695405
Publication date: 31 March 2023
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-019-02524-y
Related Items
Reliability: an introduction ⋮ Visual proofs as counterexamples to the \textit{standard view} of informal mathematical proofs?
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructive geometrical reasoning and diagrams
- How to think about informal proofs
- On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others
- Forms and roles of diagrams in knot theory
- Informal proofs and mathematical rigour
- Mathematical method and proof
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
- Why do informal proofs conform to formal norms?
- A Problem with the Dependence of Informal Proofs on Formal Proofs
- Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge
- Why Do We Believe Theorems?
- Mathematical Knowledge and the Interplay of Practices
- Galois' Theory of Algebraic Equations
- Why Do We Prove Theorems?
- Responses to ``Theoretical Mathematics: Toward\\ a cultural synthesis of mathematics and\\ theoretical physics, by A. Jaffe and F. Quinn
- Number theory and elementary arithmetic†
- Opinion: The Mechanization of Mathematics
- The Derivation-Indicator View of Mathematical Practice
- Axioms in Mathematical Practice
- PLANS AND PLANNING IN MATHEMATICAL PROOFS
- Rigor and Structure
- An Inquiry into the Practice of Proving in Low-Dimensional Topology
- MOTIVATED PROOFS: WHAT THEY ARE, WHY THEY MATTER AND HOW TO WRITE THEM
- MODULARITY IN MATHEMATICS
- Why Prove it Again?
- Mathematical Rigor, Proof Gap and the Validity of Mathematical Inference
- Humanizing Mathematics and its Philosophy
- A FORMAL PROOF OF THE KEPLER CONJECTURE
- A Machine-Checked Proof of the Odd Order Theorem
- A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices
- The Jordan Curve Theorem, Formally and Informally
- Proof Style and Understanding in Mathematics I: Visualization, Unification and Axiom Choice
- The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof
- CHARACTER AND OBJECT
- ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
This page was built for publication: Reliability of mathematical inference
