Re: Who here understands that the last paragraph is Necessarily true?

Op 15.jul.2024 om 21:40 schreef olcott:

On 7/15/2024 2:30 PM, Fred. Zwarts wrote:

Op 15.jul.2024 om 04:33 schreef olcott:

On 7/14/2024 9:04 PM, Richard Damon wrote:

On 7/14/24 9:27 PM, olcott wrote:

>
Any input that must be aborted to prevent the non termination
of simulating termination analyzer HHH necessarily specifies
non-halting behavior or it would never need to be aborted.

>
Excpet, as I have shown, it doesn't.
>
Your problem is you keep on ILEGALLY changing the input in your argument because you have misdefined what the input is.
>

>
_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 input *is* the machine address of this finite
string of bytes: 558bec6863210000e853f4ffff83c4045dc3
>

>
It seems that you do not understand x86 language. The input is not a string of bytes, but an address (00002163). This points to the starting of the code of DDD. But a simulation needs a program, not a function calling undefined other functions. Therefore, all functions called by DDD (such as HHH) are included in the code to simulate.

 *The input is the machine address of this finite*
*string of bytes: 558bec6863210000e853f4ffff83c4045dc3*

It seems that olcott does not understand the x86 language.
The input for HHH is an address, not a finite string. Nowhere does this address specify that it is meant to be interpreted as a finite string.
There is no length specification, it is only the address of DDD in the middle of an address space. So, HHH has access to the whole address space.
The parameter, therefore, must be interpreted only as a starting point of the program and does nowhere exclude other addresses in this address space. In particular, the functions called by DDD are included in the address space given to HHH. Including address 000015c3.
Unbelievable that someone who blames other people for not knowing x86 makes such an error when reading x86.