What is a proof?

DOI10.1098/rsta.2005.1651zbMath1152.00305OpenAlexW2063535080WikidataQ47248347 ScholiaQ47248347MaRDI QIDQ5301851

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

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

Related Items

Computing and the cultures of proving ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$

Cites Work

• Formalizing Hilbert’s Grundlagen in Isabelle/Isar
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item