Ontological purity for formal proofs

DOI10.1017/s1755020323000333MaRDI QIDQ6552264

Robin Martinot

Publication date: 8 June 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

interpretationsstructuralismformalizationphilosophy of proof theorypurity of proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of proof theory
• Quantification and ontology
• Impurity in contemporary mathematics
• Induction, constructivity, and grounding
• On interpretations of arithmetic and set theory
• Reliability of mathematical inference
• ON THE RELATIONSHIP BETWEEN PLANE AND SOLID GEOMETRY
• A Connection between Furstenberg’s and Euclid’s Proofs of the Infinitude of Primes
• On the Infinitude of Primes
• Arithmetic on semigroups
• Identity, Indiscernibility, and ante rem Structuralism: The Tale of i and -i
• On Formally Measuring and Eliminating Extraneous Notions in Proofs
• Remarks on Simple Proofs
• On the Alleged Simplicity of Impure Proof
• FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY
• Discussing Hilbert's 24th problem
• Why Do Mathematicians Re-prove Theorems?
• SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
• What Do We Want a Foundation to Do?

This page was built for publication: Ontological purity for formal proofs