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.

--
Mikko

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)