Re: Any honest person that knows the x86 language can see... predict correctly

Op 01.aug.2024 om 14:32 schreef olcott:

On 8/1/2024 6:36 AM, Fred. Zwarts wrote:

Op 01.aug.2024 om 13:20 schreef olcott:

On 8/1/2024 2:18 AM, joes wrote:

Am Wed, 31 Jul 2024 16:27:58 -0500 schrieb olcott:

On 7/31/2024 3:09 PM, Fred. Zwarts wrote:

Op 31.jul.2024 om 18:32 schreef olcott:

On 7/31/2024 11:17 AM, joes wrote:

Am Wed, 31 Jul 2024 10:02:26 -0500 schrieb olcott:

On 7/31/2024 9:16 AM, joes wrote:

Am Wed, 31 Jul 2024 05:52:54 -0500 schrieb olcott:

On 7/31/2024 3:54 AM, joes wrote:

Am Tue, 30 Jul 2024 16:13:55 -0500 schrieb olcott:

On 7/30/2024 4:07 PM, joes wrote:

Am Tue, 30 Jul 2024 15:05:54 -0500 schrieb olcott:

On 7/30/2024 1:48 PM, Fred. Zwarts wrote:

Op 30.jul.2024 om 17:14 schreef olcott:

On 7/30/2024 9:51 AM, Fred. Zwarts wrote:

Op 30.jul.2024 om 16:21 schreef olcott:

On 7/30/2024 1:52 AM, Mikko wrote:

On 2024-07-29 14:07:53 +0000, olcott said:

>

I proved otherwise. When the abort code is commented out then
it keeps repeating again and again, thus conclusively proving
that is must be aborted or HHH never halts.

But the abort is not commented out in the running code!

>

I modified the original code by commenting out the abort and it
does endlessly repeat just like HHH correctly predicted.

>

Yes, and that modification makes HHH not call itself

Not at all. It makes HHH stop aborting DDD.
So that HHH and DDD endlessly repeat.

>

Commenting out a section changes the program.

This conclusively proving that this section was required.

When you put in the abort, it also appears in the simulated HHH.
>

Yet this is unreachable in the same way that in a single file foot
race with everyone going the same speed and everyone 15 feet ahead of
the next person that the first person must win.

>
Yet that is no reason for the person in front to kill all other people,
because otherwise they would not stop running.
The first person will stop at the finish, the second person will stop
at the finish, the third .... etc.
>
There is no reason to assume that there are persons that will keep
running indefinitely.

They will run unto the finish.
>

The outermost HHH sees that it must abort one whole execution trace
sooner than the next inner HHH.

But it is wrong to assume that the simulated HHH would not have halted
when not aborted.

It has never been an assumption is has always been a tautology that has
always been over your head. Joes may be catching up with the Linz proof.

If one of them aborts, all of them do.
>

>
If the outer one waits for the next inner one then they all
wait for their own next inner one and none of them ever abort.

>
Indeed! It seems you now almost understand it.
The outer one doesn't wait for the inner one, because it is programmed to abort.
Therefore, the outer one is incorrect, because it does not wait.

 The emulation is correct if and only if it is according
to the semantics of the x86 language. At this point it
seems that you have been a Troll all along.
 

No, you are a slow learner. It has been pointed out to you already many times that HHH deviates from the semantics of the x86 language when it skips instructions of a halting program.
So according to the criterion you mention, it is incorrect.
If HHH waits it is incorrect, if it does not wait it aborts too soon, which is incorrect as well.