Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

On 5/9/25 8:51 PM, olcott wrote:

On 5/9/2025 7:29 PM, Richard Heathfield wrote:

On 10/05/2025 00:02, olcott wrote:

Correctly emulating one or more instructions <is>
the correct emulation of 1 or more instructions
of DD. This is a truism.

>
No, it's not. Correct emulation would entail accurately simulating the whole of DDD's behaviour.
>

 It is stupidly wrong to require the complete
emulation of a non-terminating input.
 

Nope, as that *IS* the definition of a correct emulation of a non-halting input, as the definition of "correcdt emulation" is to exactly reproduce the behavior of that program, so if the program won't halt, neither can the emulation.
The key point is that the decider isn't required to do such a correct simulation (except in your brokne theory) but just answer about what such a emulation would do if done.
basicaly, one fundamental that you should have seen from your work that it is impossible for one program to be both a correct decider and a correct emulator, and thus the definition of the correct answer can not be based on the correct emulation by itself. That is just invoking a logical contradiction, and your system is basically built on the acceptance of the liar's paradox as a valid statement.