comments

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.
RELATED ARTICLESExplain
⌅
Artificial Intelligence
⌃
Are thinking computers mathematically possible? [7]
⌃
No: computers are limited by Gödel's theorems
⌃
Theorems show limitations of machine thought
■
Gödel's and Church's theorems are psychological laws
□
Gödel's first theorem
□
Gödel's second theorem
□
Machines can't understand language like humans
□
Mathematical thought can't be fully formalised
□
Mathematics is an essentially creative activity
□
The argument from Church's theorem
□
A human can't simultaneously beat all machines
□
Machines may eventually have mathematical intuition
□
Graph of this discussion
Enter the title of your article


Enter a short (max 500 characters) summation of your article
Enter the main body of your article
Lock
+Comments (0)
+Citations (0)
+About
Enter comment

Select article text to quote
welcome text

First name   Last name 

Email

Skip