Re: DDD simulated by HHH cannot possibly halt (Halting Problem) --- mindless robots

On 4/14/25 5:43 PM, olcott wrote:

On 4/14/2025 6:52 AM, dbush wrote:

On 4/14/2025 7:46 AM, olcott wrote:

>
Such an HHH works fine when the input DD is not attempting
to do the opposite of whatever this HHH reports. This is not
a problem though. DD merely changes its own behavior through
the pathological self-reference that it implements.

>
Category error. DD is an algorithm, i.e. a fixed immutable sequence of instructions, therefore "changing its behavior" is impossible.  It only does exactly what its instructions say.
>

 One version of DD is defined to screw with HHH.

And it is that version, and only that version, that HHH must get right.
The fact that DD CAN screw with HHH, means that HHH is just screwed, and so is your logic.
You are just too stupid to understand that your own logic has been screwed by the properties of real logic, that just overpower it.

 

>
Then HHH simply reports on this changed behavior. HHH need not
even know that DD is calling itself. It only need to know that
the behavior of DD would prevent its own termination.
>

>
In other words, HHH is changing the input and reporting on the changed input.
>
Changing the input is not allowed.
>