Gödel's and Church's theorems are psychological laws
Gödel’s theorem shows that human creativity will always exceed human capacity to anticipate that creativity. Furthermore, the theorems also show humans are able to entertain and clearly conceive of ideas that are neither constructible nor effective.
John Myhill (1952).

Note: Myhill’s claim is supported by other authors outside of his immediate debate, for instance, by Paul Weiss (1947) and H. Gelanter in personal communication with Myhill.
Λεπτομέρειες πλοηγού
(Βοήθεια)
-
Artificial Intelligence »Artificial Intelligence
Are thinking computers mathematically possible? [7] »Are thinking computers mathematically possible? [7]
No: computers are limited by Gödel's theorems »No: computers are limited by Gödel's theorems
Theorems show limitations of machine thought »Theorems show limitations of machine thought
Gödel's and Church's theorems are psychological laws
+Σχόλια (0)
+Αναφορές (0)
+About