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).
Immediately related elementsHow this works
-
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
■
A human can't simultaneously beat all machines
◄
Alan Turing »Alan Turing
+Commentaires (0)
+Citations (0)
+About