Re: Anyone that disagrees with this is not telling the truth --- V5 --- Professor Sipser

Op 28.aug.2024 om 18:28 schreef olcott:

On 8/28/2024 11:23 AM, Fred. Zwarts wrote:

Op 28.aug.2024 om 17:18 schreef olcott:

On 8/28/2024 10:14 AM, Fred. Zwarts wrote:

Op 28.aug.2024 om 16:53 schreef olcott:

On 8/28/2024 9:38 AM, Fred. Zwarts wrote:

Op 28.aug.2024 om 14:46 schreef olcott:

On 8/28/2024 7:34 AM, Fred. Zwarts wrote:

Op 28.aug.2024 om 14:07 schreef olcott:

On 8/28/2024 4:00 AM, Fred. Zwarts wrote:

Op 27.aug.2024 om 15:32 schreef olcott:

>
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D *would never*
     *stop running unless aborted* then
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
>
HHH is only required to correctly predict whether or not DDD
*would never stop running unless aborted*

And since DDD is calling an HHH that is programmed to detect the 'special condition', so that it aborts and halts, DDD halts as well and

>
*THIS IS YOUR REASONING*
If you are hungry and never eat you will remain hungry.
You are hungry and eat becoming no longer hungry.
*This proves that you never needed to eat*

>
No, apparently, your understanding of logic English is very poor.

>
HHH simulates DDD until it has inductive evidence that
in the purely hypothetical case where a different HHH
would never abort its emulation of DDD that DDD would
never terminate normally.

>
Apparently you still do not understand that HHH should process its input, not your dreams of a pure hypothetical non-input.
>

>
void Infinite_Loop()
{
   HERE: goto HERE;
   return;
}
>
In other words you are saying that HHH must report that
infinite loops halt even though halting is reaching a
final halt state and infinite loops cannot possibly reach
a final halt state.
>
Your replies have stepped over the line of an honest dialogue.
>

>
No, you are dishonest by putting words in my mouth that I did not say.
>
I said HHH should report that a *halting* program halt.
You make it that I said that HHH must report that *infinite loops* halt.

>
HHH must report on what the behavior of its input
WOULD BE if it never aborted it emulation.

>
No, that is your error.

 Read the specs a few more hundred times until
you notice exactly what the words actually say.
 <MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its input D
     until H correctly determines that its simulated D

Yes. But the simulation is not correct and the decider is incorrect, so Sipser agreement does not apply.
HHH is coded to see a 'special condition' after which it aborts and halts. When HHH halts, it returns to DDD and DDD halts as well.
So, no matter how many times you repeat the sentence below, it does not become true. DDD halts if not aborted, but this halting behaviour is obscured by a premature abort.
The advantage of the decision to abort is that the simulating HHH halts.
The disadvantage is that simulated HHH also halts and does not need to be aborted.
Since the fact that HHH is coded to abort when it sees this 'special condition' we get the fact:
*would halt if not aborted*
which is the opposite of the repeated requirement below.
No matter how much olcott wants it to be correct, or how many times olcott repeats that it is correct (see below), that does not change the fact that the input would halt *if not aborted*.

     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*
     *would never stop running unless aborted*