What is a proof?

DOI10.1098/RSTA.2005.1651zbMATH Open1152.00305OpenAlexW2063535080WikidataQ47248347 ScholiaQ47248347MaRDI QIDQ5301851FDOQ5301851

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)

Cites Work

• The automation of proof by mathematical induction
• Formalizing Hilbert’s Grundlagen in Isabelle/Isar
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• A Deflationary Account of the Truth of the Gödel Sentence $$\mathcal{G}$$
• Title not available (Why is that?)
• Computing and the cultures of proving
• What Is a Proof?
• When Is a Test Not a Proof?
• Title not available (Why is that?)
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE

Recommendations

• Why Proof? What is a Proof? 👍 👎
• What Is a Proof? 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)