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).

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
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
+Kommentare (0)
+Verweise (0)
+About