A human can't simultaneously beat all machines

Theorems like Church's, Gödel's, and Turing's, show only that a human can beat one machine on a given occasion. But there's no reason to believe that a human can out-think all machines.

Just because we can think of questions that one machine can't answer, it doesn't mean that there might not be other machines that will perform better.

Alan Turing (1950).
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
A human can't simultaneously beat all machines
Alan Turing
Gödel's first theorem
Gödel's second theorem
Gödel's and Church's theorems are psychological laws
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
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