Conceptions of Proof from Aristotle to Gentzen’s Calculi

DOI10.1142/9789811236488_0002OpenAlexW3191924338MaRDI QIDQ5081867FDOQ5081867

Authors: Stefania Centrone 

Publication date: 17 June 2022

Published in: Proof and Computation II (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811236488_0002

Recommendations

• Identity of Proofs Based on Normalization and Generality
• The concepts of proof and ground
• scientific article; zbMATH DE number 874672
• Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
• scientific article; zbMATH DE number 1867332

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx) General logic (03Bxx) Mathematical logic and foundations (03-XX)

Cited In (2)

• \textit{Aletheia} in Greek thought until Aristotle
• Plato: Parmenides 149a7-c3. A proof by complete induction?

This page was built for publication: Conceptions of Proof from Aristotle to Gentzen’s Calculi

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