On Formal Proofs

DOI10.1007/978-88-470-0784-0_2MaRDI QIDQ3654812zbMATH OpenOpenAlexFDO

Authors Andrea Cantini

Publication date 11 January 2010

Published in Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-88-470-0784-0_2

zbMATH Keywords

extraction of informationformal proofsproof-mining

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 1849875
• On formal and informal provability
• Proofs as Objects
• Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics
• Why proof? What is a proof?
• Why Do We Believe Theorems?
• Reliability of mathematical inference
• Mixing computations and proofs
• The relationship of derivations in artificial languages to ordinary rigorous mathematical proof

Cited in

(9)

• Proof versus formalization
• Looking from the inside and from the outside
• Why Do We Believe Theorems?
• Proofs as Objects
• Remarks on the use of formal methods
• scientific article; zbMATH DE number 3311729 (Why is no real title available?)
• Types for Proofs and Programs
• A Dynamic Poincaré Principle
• Formal ontology and mathematics. A case study on the identity of proofs

This page was built for publication: On Formal Proofs

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