An automatic proof of Gödel's incompleteness theorem

DOI10.1016/S0004-3702(97)00544-4zbMath0900.68388OpenAlexW2913938395MaRDI QIDQ5906916

Kurt Ammon

Publication date: 30 June 1998

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00544-4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) First-order arithmetic and fragments (03F30)

Uses Software

• SETHEO

Cites Work

• SETHEO: A high-performance theorem prover
• A learning procedure for mathematics.
• 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: An automatic proof of Gödel's incompleteness theorem