Sujet : Re: Halting Problem is wrong two different ways
De : news2 (at) *nospam* immibis.com (John Smith)
Groupes : comp.theory sci.logicDate : 05. Jun 2024, 18:29:59
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3q7an$q84q$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Mozilla Thunderbird
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:
But the question it asks is an OBJECTIVE question that doesn't depend on who it is asked of.
>
>
When H is asked about the behavior of a Machine that is programmed
to do the opposite of whatever it says then the context that it is H
that is being asked is an inherent aspect of the meaning of this
question and cannot be correctly ignored.
>
Every machine does something. It either halts, or it doesn't. If a machine halts, then it halts even if you ask someone different. If the machine halts when I ask Bob whether it halts and he says it halts, then it still halts when I ask Alice whether it halts and she says it doesn't halt. Alice is wrong. The linguistic context doesn't change the fact that it halts.
>
Professor Hehner proves my same point with Carol's question.
https://www.cs.toronto.edu/~hehner/OSS.pdf
>
Richard found a loophole that I fixed and told professor Hehner about:
Can Carol correctly answer “no” to this (yes/no) question?
>
>
It's not "Can Carol" - it's "Does Carol"
*Disagreeing with verified facts does not count as any rebuttal*
I inserted "(yes/no)" to close the loophole that Richard found.
(6) Can Carol correctly answer “no” to this question?
Let's ask Carol. If she says “yes”, she's saying that “no” is the
correct answer for her, so “yes” is incorrect. If she says “no”, she's
saying that she cannot correctly answer “no”, which is her answer. We
are assuming for this and all subsequent questions that the only
acceptable answers are “yes” and “no”, and in this case, both answers
are incorrect. Carol cannot answer the question correctly. Now let's ask
Dave. He says “no”, and he is correct because Carol cannot correctly
answer “no”. So (6) is subjective because it is a consistent,
satisfiable specification for some agent (anyone other than Carol), and
an inconsistent, unsatisfiable specification for some agent (Carol).
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?
Date | Sujet | # | | Auteur |
3 Jun 24 | Why does Olcott care about simulation, anyway? | 332 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 309 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 29 | | olcott |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 26 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 25 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 23 | | Mike Terry |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 22 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 21 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 20 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 13 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 12 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 10 | | Mikko |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 9 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | wij |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | olcott |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | Mikko |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 4 | | olcott |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Mikko |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
7 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
6 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 6 | | Mike Terry |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 5 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 3 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 2 | | olcott |
5 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Mikes Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 279 | | Ben Bacarisse |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 277 | | olcott |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 73 | | Mikko |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 72 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 2 | | joes |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | olcott |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 67 | | Mikko |
4 Jun 24 | Halting Problem is wrong two different ways | 66 | | olcott |
4 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 41 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 40 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 21 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 20 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | John Smith |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | joes |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 5 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 3 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 2 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways --very stupid | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 2 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | Fred. Zwarts |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Fred. Zwarts |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 4 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 23 | | Mikko |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 22 | | olcott |
5 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | joes |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 18 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 17 | | olcott |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 16 | | Mikko |
6 Jun 24 | Re: Halting Problem is wrong two different ways | 15 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 14 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 13 | | olcott |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 8 | | joes |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 7 | | olcott |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 6 | | Mikko |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 5 | | olcott |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | Richard Damon |
9 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
8 Jun 24 | Re: Halting Problem is wrong two different ways | 3 | | Mikko |
7 Jun 24 | Re: Halting Problem is wrong two different ways | 1 | | immibis |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | immibis |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 201 | | Fred. Zwarts |
4 Jun 24 | Re: Why does Olcott care about simulation, anyway? --- Ben's Review | 1 | | Richard Damon |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mike Terry |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 20 | | Fred. Zwarts |
3 Jun 24 | Re: Why does Olcott care about simulation, anyway? | 1 | | Mikko |