Ontological purity for formal proofs
From MaRDI portal
Publication:6552264
DOI10.1017/S1755020323000333MaRDI QIDQ6552264FDOQ6552264
Authors: Robin Martinot 
Publication date: 8 June 2024
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)
Cites Work
- Title not available (Why is that?)
- Discussing Hilbert's 24th problem
- Handbook of proof theory
- Title not available (Why is that?)
- On interpretations of arithmetic and set theory
- Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i
- On the Infinitude of Primes
- Why Do Mathematicians Re-prove Theorems?
- On the relationship between plane and solid geometry
- Arithmetic on semigroups
- Title not available (Why is that?)
- Formalization, primitive concepts, and purity
- Quantification and ontology
- Impurity in contemporary mathematics
- Induction, constructivity, and grounding
- On Formally Measuring and Eliminating Extraneous Notions in Proofs
- On the Alleged Simplicity of Impure Proof
- Towards an operational view of purity
- What Do We Want a Foundation to Do?
- A Connection between Furstenberg’s and Euclid’s Proofs of the Infinitude of Primes
- Reliability of mathematical inference
- Remarks on simple proofs
- SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
This page was built for publication: Ontological purity for formal proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6552264)
