𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Gödel’s proof

✍ Scribed by S M Srivastava

Book ID
107589481
Publisher
Indian Academy of Sciences
Year
2007
Tongue
English
Weight
382 KB
Volume
12
Category
Article
ISSN
0971-8044

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

GöDEL'S PROOF
GöDEL'S PROOF
📂 Article 📅 1960 🏛 John Wiley and Sons ⚖ 146 KB
Gödel’s proof
Gödel’s proof
✍ S M Srivastava 📂 Article 📅 2007 🏛 Indian Academy of Sciences 🌐 English ⚖ 184 KB
Gödel’s proof
Gödel’s proof
✍ S M Srivastava 📂 Article 📅 2007 🏛 Indian Academy of Sciences 🌐 English ⚖ 216 KB
In Retrospect: Gödel's proof
In Retrospect: Gödel's proof
✍ Hodges, Andrew 📂 Article 📅 2008 🏛 Nature Publishing Group 🌐 English ⚖ 153 KB
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