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

predicate calculuspracticalities of proofs

Mathematics Subject Classification ID

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

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?
• When Is a Test Not a Proof?
• scientific article; zbMATH DE number 2196613 (Why is no real title available?)
• What is 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)