An automatic proof of Gödel's incompleteness theorem

DOI10.1016/0004-3702(93)90070-RzbMath0779.68073OpenAlexW2065554757MaRDI QIDQ5894725

Kurt Ammon

Publication date: 24 October 1993

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(93)90070-r

zbMATH Keywords

heuristicsSHUNYATA

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

KoMeT, An automatic proof of Gödel's incompleteness theorem, Automated search for Gödel's proofs, A formally verified abstract account of Gödel's incompleteness theorems

Uses Software

• NQTHM

Cites Work

• Non-resolution theorem proving
• Towards mechanical metamathematics
• Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item