What Is a Proof?

DOI10.1007/978-94-007-0080-2_3MaRDI QIDQ5246107zbMATH OpenOpenAlexFDO

Authors John N. Crossley

Publication date 17 April 2015

Published in Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0080-2_3

zbMATH Keywords

practicalities of proofspredicate calculus

Mathematics Subject Classification ID

History of Greek and Roman mathematics (01A20) History of mathematics in the 17th century (01A45) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Proof theory in general (including proof-theoretic semantics) (03F03)

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

Cited in

(6)

• Why proof? What is a proof?
• scientific article; zbMATH DE number 2113550 (Why is no real title available?)
• Is there a general notion of proof?
• What is a proof?
• scientific article; zbMATH DE number 2196613 (Why is no real title available?)
• When Is a Test Not a Proof?

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 Q5246107)