Formal ontology and mathematics. A case study on the identity of proofs

DOI10.1007/S11245-022-09864-4MaRDI QIDQ6652800zbMATH OpenFDO

Authors Matteo Bianchetti, Giorgio Venturi

Publication date 13 December 2024

Published in Topoi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11245-022-09864-4

zbMATH Keywords

Euclidformal ontology of mathematicsidentity of proofproclusproof-assistantssemantic web

Mathematics Subject Classification ID

Philosophy of mathematics (00A30)

Recommendations

• Proofs as Objects
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• Contribution of the ontology engineering to mathematical knowledge management
• On Formal Proofs
• How to think about informal proofs

Cites work

• Duality, epistemic efficieny \& consistency
• Fondamenti di geometria a più dimensioni e a più spezie di unita rettilinee esposti in forma elementare.
• Hiproofs: a hierarchical notion of proof tree
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• Identity of Proofs Based on Normalization and Generality
• Intuitionism. An introduction. 3rd revised ed
• Leopold Kronecker.
• Projective Geometry. Vol. I.
• Proof-checking Euclid
• The axioms of projective geometry.
• The definitions of fundamental geometric entities contained in book I of Euclid's Elements
• Towards an institutional account of the objectivity, necessity, and atemporality of mathematics

This page was built for publication: Formal ontology and mathematics. A case study on the identity of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6652800)