Lucas tricks machines into contradicting themselves
Lucas can't assert "This formula can't be consistently asserted by Lucas" without contradicting himself yet the statement is true. The argument tricks Lucas into contradiction—in the same way that Gödel’s theorem tricks machines into contradiction.
C..H.Whiteley (1962).

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
■
Lucas tricks machines into contradicting themselves
●
Lucas uses a faulty way of identifying differences »Lucas uses a faulty way of identifying differences
●
Lucas can believe his Whiteley sentence »Lucas can believe his Whiteley sentence
+Comments (0)
+Citations (0)
+About