Re: Penrose vs the Robot

Rupert says...

>> If you consider the "Godel sentence for Penrose"
>>
>> G <-> Penrose does not unassailably believe G
>>
>> then Penrose cannot consistently maintain his soundness
>> with respect to sentences such as G.

>This sentence leads to paradox.

No, it doesn't. There is nothing paradoxical about it.
If Penrose can't make sense of the sentence, then a
*consequence* of that failure is that the sentence is
*true*---he definitely doesn't unassailably believe
anything that he finds paradoxical or meaningless.

The fact that Penrose doesn't know what to think about G
does *not* imply that there is anything paradoxical about
it.

--
Daryl McCullough
Ithaca, NY

.

Quantcast