Re: Olcott seems to be willfully ignorant

On 7/3/24 10:29 AM, olcott wrote:

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

Am Wed, 03 Jul 2024 08:27:40 -0500 schrieb olcott:

On 7/3/2024 6:44 AM, Richard Damon wrote:

On 7/2/24 11:43 PM, olcott wrote:

On 7/2/2024 10:23 PM, Richard Damon wrote:

On 7/2/24 11:07 PM, olcott wrote:

On 7/2/2024 9:35 PM, Richard Damon wrote:

On 7/2/24 10:03 PM, olcott wrote:

On 7/2/2024 8:51 PM, Richard Damon wrote:

On 7/2/24 9:32 PM, olcott wrote:

On 7/2/2024 8:25 PM, Richard Damon wrote:

On 7/2/24 9:18 PM, olcott wrote:

>

YOU are just a liar, as proved by the fact that you can not
give the Diagonalization proof you claimed you had.
>

But I am NOT disagreeing with the x86 language.
Can you point out what fact of it I am disagreing about it?
>

Nope, and x86n emulation is only fully correct if it continues to
the final end.

>
Why do you say such ridiculously stupid things that you are are
false?

And the only CORRECT EMULATION of that program is to infiniately loop
in the emulation.

Not for a freaking termination analyzer nitwit.

Why do they get to lie?

Open question.
>

Nothing says that you can't make a halt decider work with partial
emulation for SOME inputs. But the halt Decider just isn't itself a
fully correct emulator.

You keep stupidly saying that less than an infinite emulation is an
incorrect emulation. Why do you keep stupidly doing that?

Because it is. Partial emulations only show partial truth, and truth is
the whole truth and nothing but the truth.
BEHAVIOR needs the FULL description of what happens.
>

Why do you keep lying about this?
As soon as HHH has seen a repeating state it has seen enough.

If the state is actually the same. But the simulated HHH sets a flag
or something to keep track if it is itself simulating a repetition. <-
Which it therefore isn’t.
>

 _DDD()
[00002172] 55         push ebp      ; housekeeping
[00002173] 8bec       mov ebp,esp   ; housekeeping
[00002175] 6872210000 push 00002172 ; push DDD
[0000217a] e853f4ffff call 000015d2 ; call HHH(DDD)
[0000217f] 83c404     add esp,+04
[00002182] 5d         pop ebp
[00002183] c3         ret
Size in bytes:(0018) [00002183]
 *This is the repeating state*
Begin Local Halt Decider Simulation   Execution Trace Stored at:1138cc
[00002172][001138bc][001138c0] 55         push ebp      ; housekeeping
[00002173][001138bc][001138c0] 8bec       mov ebp,esp   ; housekeeping
[00002175][001138b8][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][001138b4][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)

And this is an incorrect emulation (especially by youyr definiton of being by the semantics of the x86 language that doesn't recognize a call to HHH as a call to an emulator (of any type) but just the call to a function that has x86 instructions.
And the state isn't repeating, as it is at a different level of simulation.
And if you remove your requirement that HHH be an x86 based emulator, but is just a generic functional emulation, then since HHH is a CONDITIONAL emulator (as proven by its decision to abort at the bottom) then when it trying to show the emulation that it is emulating, to be correct, it needs to not that conditionality at every instruction,l and that shows that the emulation is NOT provable to be infinite, as there are excape points in the emulation where the machine it is emulating might choose to stop, so it could at a later stage,

New slave_stack at:14e2ec
[00002172][0015e2e4][0015e2e8] 55         push ebp      ; housekeeping
[00002173][0015e2e4][0015e2e8] 8bec       mov ebp,esp   ; housekeeping
[00002175][0015e2e0][00002172] 6872210000 push 00002172 ; push DDD
[0000217a][0015e2dc][0000217f] e853f4ffff call 000015d2 ; call HHH(DDD)
Local Halt Decider: Infinite Recursion Detected Simulation Stopped
 

So, you are just proven to be a ignorant liar.