Re: Hypothetical possibilities -- I reread this again more carefully

Op 21.jul.2024 om 17:08 schreef olcott:

On 7/21/2024 9:54 AM, joes wrote:

Am Sun, 21 Jul 2024 09:34:57 -0500 schrieb olcott:

On 7/21/2024 9:24 AM, joes wrote:

Am Sun, 21 Jul 2024 08:08:53 -0500 schrieb olcott:

On 7/21/2024 6:37 AM, Richard Damon wrote:

On 7/21/24 12:15 AM, olcott wrote:

>

(b) We know that a decider is not allowed to report on the behavior
computation that itself is contained within. Deciders only take finite
string inputs. They do not take executing processes as inputs. Thus
HHH is not allowed to report on the behavior of this int main() {
DDD(); }.

That IS exactly the input.

The behavior of emulated DDD after it has been aborted changes the
behavior of the directly existed DDD.

A deterministic program can't change. It was always going to be aborted.
>

 None-the-less we can examine the exhaustively complete set
of every HHH/DDD pair that can possibly exist and find that
all of the HHH instances that never abort their simulation
of DDD never stop running.
 

And we find that all HHH that do abort, abort one cycle too soon, which makes the simulation incomplete and, therefore, incorrect.
We find that the set of HHH that simulate correctly is empty.