Re: Flibble’s Leap: Why Behavioral Divergence Implies a Type Distinction in the Halting Problem

On 5/11/2025 11:04 AM, joes wrote:

Am Sun, 11 May 2025 10:56:02 -0500 schrieb olcott:
 

The directly executed DD() simply halts because HHH has stopped the
infinite recursion that it specifies on its second recursive call.

Interesting. The simulated DD shouldn't need to be aborted since
it does the same thing.
 

Only the Outermost HHH can abort its input because
it sees the abort criteria one whole recursive
emulation before any of the inner emulations.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer