Re: Why do people here insist on denying these verified facts?

On 6/27/2024 2:06 AM, Mikko wrote:

On 2024-06-26 12:45:56 +0000, olcott said:
 

On 6/26/2024 2:46 AM, Mikko wrote:

On 2024-06-25 21:24:34 +0000, olcott said:
>

On 6/25/2024 3:41 PM, joes wrote:

Am Sat, 22 Jun 2024 11:18:07 -0500 schrieb olcott:

On 6/22/2024 11:03 AM, joes wrote:

Am Sat, 22 Jun 2024 10:16:18 -0500 schrieb olcott:

On 6/22/2024 9:42 AM, Richard Damon wrote:

On 6/22/24 10:31 AM, olcott wrote:

>

The input to HHH0(DDD) includes itself.
The input to HHH1(DDD) DOES NOT include itself.

Yes, both include HHH0. The second case is boring.

Suppose DDD1 only called HHH1. How would HHH1 simulate it?
>

The fact that DDD calls HHH0(DDD) and does not call HHH1(DDD) changes
the behavior of DDD correctly emulated by HHH0 relative to DDD correctly
emulated by HHH1.

DDD does not change behaviour depending on its simulator, that is an
error on the part of the simulator.
>

>
No dumbo that is not it.
The input that calls its own simulator defines different
behavior than when it is simulated by a different simulator.

>
The only correct interpretation of the input is the interpretation
specified by the problem statement.

>
In other words you believe that the you have the power to
overrule the semantics of the x86 language.

 That is just your lie. The supreme authority on a problem is the problem
statement.
 

The supreme authority on whether DDD correctly simulated
by H0 can halt is the x86 programming language.
_DDD()
[00002172] 55               push ebp      ; housekeeping
[00002173] 8bec             mov ebp,esp   ; housekeeping
[00002175] 6872210000       push 00002172 ; push DDD
[0000217a] e853f4ffff       call 000015d2 ; call H0(DDD)
[0000217f] 83c404           add esp,+04
[00002182] 5d               pop ebp
[00002183] c3               ret
Size in bytes:(0018) [00002183]
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer