𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Informal Exposition of Proofs of Gödel's Theorems and Church's Theorem

✍ Scribed by Barkley Rosser


Book ID
111947405
Publisher
Association for Symbolic Logic
Year
1939
Tongue
English
Weight
771 KB
Volume
4
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


An automatic proof of Gödel's incomplete
✍ 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