Re: DDD specifies recursive emulation to HHH and halting to HHH1

On 4/13/2025 3:54 PM, olcott wrote:

On 4/13/2025 9:46 AM, joes wrote:

Am Thu, 03 Apr 2025 16:57:43 -0500 schrieb olcott:

On 4/3/2025 1:32 AM, Mikko wrote:

On 2025-04-03 02:08:22 +0000, olcott said:

It is a truism that a correct x86 emulator would emulate itself
emulating DDD whenever DDD calls this emulator with itself.

>
Which does not agree or disagree with my comment nor say anything about
it,
and it doesn't clarify any aspect of your statement that i commented.
If there is any indirect connection to anything relevant that
connection is not presented, leaving your response unconnected and
therefore irrelevant.
So you did not reply to the immediated context.
>

THE FACT THAT DDD EMULATED BY HHH DOES NOT HALT IS NOT RELEVANT TO A
CORRECT DECISION BY A HALT DECIDER?

Yes.
>

 THE ONLY RELEVANT THING IS

That it is required to map the halting function:
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly