𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An automatic proof of Gödel's incompleteness theorem

✍ Scribed by Kurt Ammon

Publisher
Elsevier Science
Year
1997
Tongue
English
Weight
372 KB
Volume
95
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An automatic proof of Gödel's incomplete
An automatic proof of Gödel's incompleteness theorem
✍ Kurt Ammon 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 885 KB

Ammon, K., An automatic proof of G~lel's incompleteness theorem (Research Note), Artificial Intelligence 61 (1993) 291-306. The SHUNYATA program contains heuristics which are related to reasoning processes of mathematicians and guide the search for a proof. For example, a heuristic applies the meth

A Note on Boolos' Proof of the Incomplet
A Note on Boolos' Proof of the Incompleteness Theorem
✍ Makoto Kikuchi 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 265 KB 👁 1 views

## Abstract We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model‐theoretically. Mathematics Subject Classification: 03F30.