Re: Hypothetical possibilities

On 7/20/2024 5:11 PM, Richard Damon wrote:

On 7/20/24 5:21 PM, olcott wrote:

On 7/20/2024 4:06 PM, joes wrote:

Am Sat, 20 Jul 2024 15:05:53 -0500 schrieb olcott:

On 7/20/2024 2:50 PM, Richard Damon wrote:

On 7/20/24 3:09 PM, olcott wrote:

On 7/20/2024 2:00 PM, Fred. Zwarts wrote:

Op 20.jul.2024 om 17:28 schreef olcott:

>

(a) Termination Analyzers / Partial Halt Deciders must halt this is
a design requirement.
(b) Every simulating termination analyzer HHH either aborts the
simulation of its input or not.
(c) Within the hypothetical case where HHH does not abort the
simulation of its input {HHH, emulated DDD and executed DDD}
never stop running.
This violates the design requirement of (a) therefore HHH must abort
the simulation of its input.

You missed a couple details:
A terminating input shouldn't be aborted, or at least not classified
as not terminating. Terminating inputs needn't be aborted; they and the
simulator halt on their own.
>

And when it aborts, the simulation is incorrect. When HHH aborts and
halts, it is not needed to abort its simulation, because it will halt
of its own.

So you are trying to get away with saying that no HHH ever needs to
abort the simulation of its input and HHH will stop running?

Pretty much.

It is the fact that HHH DOES abort its simulation that makes it not
need to.

No stupid it is not a fact that every HHH that can possibly exist aborts
its simulation.

I thought they all halt after a finite number of steps?
>

>
void DDD()
{
    HHH(DDD);
    return;
}
>
DDD correctly simulated by pure function HHH cannot
possibly reach its own return instruction.
>

 Wrong.
 

You know that you are lying about this as you admit below:

It may be that the simulation by HHH never reaches that point,

but if HHH aborts its simuliaton and returns (as required for it to be a decider) then the behavior of DDD

Simulated by HHH is to Die, stop running, no longer function.

call HHH(DDD), for that HHH to

Why condemn yourself to Hell over this?

partially emulate DDD, and (after the point in that DDD that it emulated) abort that emulation and return and thus DDD will return.

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer