Re: Peter Olcott seems to continue to blatantly lie

On 7/10/24 9:35 AM, olcott wrote:

On 7/10/2024 2:06 AM, Mikko wrote:

On 2024-07-09 14:31:17 +0000, olcott said:

>
The x86utm operating system is a proxy for a UTM and uses C
functions as proxies for Turing Machines and the x86 language
as a proxy for the Turing Machine description language.

>
The C language and all versions of x86 instruction set are so complcated
that it is harder to prove anything about them.
>

 *C is about the simplest full programming language that exists*
Once you understands sequence, selection, iteration and
function calls you know the essence of the whole language.
 

This provides the means to make every single detail of the
halting problem 100% concrete thus totally eliminating any
false assumptions.

>
That provides the means to introduce false assumptions without making them
too obvious.
>

 It is impossible to have any meaningful conversation about
programming with someone that knows nothing about this.
 All that you need to understand is that the first
four instructions of DDD correctly emulated by HHH
do some housekeeping and then call HHH(DDD) with
no conditional branch escape from endless repetition.
 

Except that the call means the emulation goes into HHH where there ARE condition instructions.
You just LIE about what "x86 emulation" means, likely because you just don't understand how computers actually work.
You can't replace the call HHH with an unconditional emulation like you are trying, first because that isn't a correct x86 emulation as that isn't what the call instruction would do. And, even if you are doing just a "functional" simulation, you can't because HHH is NOT defined as an unconditional emulator, but a decider that does CONDITIONAL emulation, and the interjects the conditions that you said were not there.

_DDD()
[00002163] 55         push ebp      ; housekeeping
[00002164] 8bec       mov ebp,esp   ; housekeeping
[00002166] 6863210000 push 00002163 ; push DDD
[0000216b] e853f4ffff call 000015c3 ; call HHH(DDD)
[00002170] 83c404     add esp,+04
[00002173] 5d         pop ebp
[00002174] c3         ret
Size in bytes:(0018) [00002174]
 *The C code says this even more simply*
void DDD()
{
   HHH(DDD);
}
 

Right, so if HHH(DDD) Returns, that function will return.