What is a proof?

DOI10.1098/RSTA.2005.1651MaRDI QIDQ5301851zbMATH OpenOpenAlexWikidataFDO

Authors Alan Bundy, Mateja Jamnik, Andrew Fugard

Publication date 20 January 2009

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/409137/What_is_a_proof_.pdf

zbMATH Keywords

automated theorem provingmathematical proofconstructive omega ruleschematic proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03)

Recommendations

• What Is a Proof?
• Why proof? What is a proof?
• scientific article; zbMATH DE number 2113550
• Is there a general notion of proof?
• What is a logic, and what is a proof?
• scientific article; zbMATH DE number 2196613

Cites work

• scientific article; zbMATH DE number 1646230 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 1550516 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 1405440 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• Formalizing Hilbert's Grundlagen in Isabelle/Isar
• The automation of proof by mathematical induction

Cited in

(9)

• scientific article; zbMATH DE number 2113550 (Why is no real title available?)
• Computing and the cultures of proving
• What Is a Proof?
• Mathematical inference and logical inference
• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• When Is a Test Not a Proof?
• Mechanizing Mathematical Reasoning
• scientific article; zbMATH DE number 2196613 (Why is no real title available?)
• Considerations on approaches and metrics in automated theorem generation/finding in geometry

This page was built for publication: What is a proof?

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