Automated search for Gödel's proofs
From MaRDI portal
Publication:1772785
DOI10.1016/j.apal.2004.10.014zbMath1064.03010OpenAlexW4205398787MaRDI QIDQ1772785
Publication date: 21 April 2005
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2004.10.014
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Proofs as Objects ⋮ On mind \& Turing's machines ⋮ Distilling the requirements of Gödel's incompleteness theorems with a proof assistant ⋮ A formally verified abstract account of Gödel's incompleteness theorems ⋮ Human-centered automated proof search ⋮ NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
Cites Work
- Automated proofs of Löb's theorem and Gödel's two incompleteness theorems
- Abstract proof checking: An example motivated by an incompleteness theorem
- Normal natural deduction proofs (in classical logic)
- Solution of a problem of Leon Henkin
- Metamathematics, Machines and Gödel's Proof
- Rippling: Meta-Level Guidance for Mathematical Reasoning
- Mechanizing Mathematical Reasoning
- An automatic proof of Gödel's incompleteness theorem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Automated search for Gödel's proofs
