Re: Pathological self-reference changes the semantics of the same finite string.

On 8/31/24 8:26 AM, olcott wrote:

On 8/30/2024 8:22 AM, Mikko wrote:

On 2024-08-30 12:57:49 +0000, olcott said:
>

On 8/30/2024 3:11 AM, Mikko wrote:

On 2024-08-29 17:53:44 +0000, olcott said:
>

I just proved that the basic notion of finite strings
having unique meanings independently of their context
is incorrect.

>
The context is the halting problem.

>
The behavior of
the directly executed DDD and executed HHH
is different from the behavior of
the emulated DDD and the emulated HHH

>
The correct behaviour is the computation that the user wants to
ask about. If the input string specifies a different behaviour
then the input string is worng, not the behaviour.
>

 int sum(int x, int y) { return x + y; }
And in the exact same way Bill wants to get the
sum of 5+6 from sum(3,2).

Which makes BILL wrong.

 HHH must use its actual input as its basis
and it not allowed to use anything else.

Right, and not be Bill by thinking the inpus is something it isn't

 DDD emulated by HHH according to the semantics of the x86
language cannot possibly stop running unless aborted and
cannot possibly reach its only final halt state no matter
what HHH does. Therefore DDD never halts even if everyone
in the universe including myself disagrees.

Which makes as much sense as Bills thought.
Your HHH does NOT correctly (and thus fully) emulate its input DDD according to those semantics, and thus is just being your Bill above.
HHH can't do "whatever" or it isn't the HHH that is being discusses, but it has fixed behavior. As such, you statement makes no sense.
Making HHH, post-hoc, a variable after defining your input DDD is just admitting that you are trying to setup a false system. You are just proving how stupid your logic system is, that seems to allow constants to vary and thus truth is no longer true.
Once HHH is changed to not be a fixed program, DDD is not longer a program with behavior to be determined, yes "DDD never halts" because "DDD" is no longer the sort of thing that can "halt".
You are just proving your utter STUPIDITY.