Re: Halting Problem is wrong two different ways

On 5/06/24 19:09, olcott wrote:

On 6/5/2024 12:03 PM, John Smith wrote:

On 5/06/24 04:16, olcott wrote:

On 6/4/2024 9:12 PM, John Smith wrote:

On 5/06/24 04:05, olcott wrote:

On 6/4/2024 8:48 PM, Richard Damon wrote:

 
It's not "Can Carol" - it's "Does Carol"
 
Let's ask Carol. She says "no". She's wrong. If I ask John, and John
says "yes", he is right. Carol is deterministic, so she always says "no"
and never says "yes". There's no reason to talk about "if Carol says
yes" because she doesn't say yes.
 
Now let's ask David: "Does David answer "no" to this question?" David
says "yes". He's wrong. If I ask Alice, and Alice says "no", she is
right.
 
Now let's ask Carol: "Does David answer "no" to this question?". Carol
says "no". She's right.
 
Anyway, what was the point of all this? Oh, right.  Carol said she can
answer ALL QUESTIONS correctly. I just proved that she's a massive liar,
because she can't answer my question correctly.
 
I can ask Carol "what is the square root of a wombat?" and she can't
answer, but it's not a real question so it doesn't count. But "Does
Carol answer "no" to this question?" is a real question.

Did you notice that you started talking to me as soon as I changed my
name?