𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Priest, the Liar, and Gödel

✍ Scribed by Charles S. Chihara

Publisher
Springer Netherlands
Year
1984
Tongue
English
Weight
474 KB
Volume
13
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mental machinery and Gödel
Mental machinery and Gödel
✍ Robert Kirk 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 900 KB
Gödel, Penrose and the possibility of AI
Gödel, Penrose and the possibility of AI
✍ T. Dodd 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 866 KB

It is argued that Penrose's use of G6del's theorem to show that no machine can reproduce the achievements of a human mathematician depends on extra assumptions that would also show that no machine could ever check the validity of mathematical proofs: and it is claimed that the latter result contradi