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.
CONTEXT(Help)
-
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
+Comments (0)
+Citations (0)
+About