| Gödel sentences sufficiently self-referential Einwand1 #1130 Gödel sentences by themselves aren't self-referential, but recognising their truth requires us to see them as self-referential. Machines lack this ability to see Gödel sentences as self-referential—so can't recognise the truth of Gödel sentences. |
John Lucas (1971). |