| Lucas tricks machines into contradicting themselves Einwand1 #1157 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). 
|