Re: Position Paper: Why Simulating Halt Deciders (SHDs) Require a Reframing of the Halting Problem

On 2025-05-24 18:42:44 +0000, olcott said:

*THIS IS AN INCOHERENT REQUIREMENT*
 int main()
{
   DD(); // the HHH that DD calls cannot report on
}       // the behavior of its caller
 When the rules require that HHH report on the behavior
of the direct execution of its input that requires
HHH to report on the behavior of its caller.

The requirement is coherent: if HHH says that DD does not halt
and a direct execution says that DD halts then HHH does not
meet the requirement. There is nothing ambiguous or incoherent
there.
--
Mikko