Re: Turing machine HHH is not allowed to report on the behavior of the directly executed DDD()

On 2025-06-30 17:18:49 +0000, olcott said:
 

On 6/30/2025 3:05 AM, Mikko wrote:

On 2025-06-29 13:17:19 +0000, olcott said:

>
When it is required that a Turing Machine halt decider is to
report on the behavior of another directly executing Turing
machine this requirement is incorrect.

>
No, it is not.

 

When we know that no directly executing Turing machine
D can possibly be an input to another Turing Machine H
this means that H cannot possibly compute the mapping
from D to the behavior of D.

 Not true. In order to compute the required mapping from D to
some feature of the behavour of D only sufficient information
about D is needed. For example, an universal Turing machine
cannot observe a direct execution of D but can reproduce the
result of a direct execution of D.