Re: DDD correctly emulated by HHH is Correctly rejected as non-halting V2

On 7/21/2024 4:34 AM, Mikko wrote:

On 2024-07-20 13:11:03 +0000, olcott said:
 

On 7/20/2024 3:21 AM, Mikko wrote:

On 2024-07-19 14:08:24 +0000, olcott said:
 

When we use your incorrect reasoning we would conclude
that Infinite_Loop() is not an infinite loop because it
only repeats until aborted and is aborted.

 You and your HHH can reason or at least conclude correctly about
Infinite_Loop but not about DDD. Possibly because it prefers to
say "no", which is correct about Infinte_loop but not about DDD.
 

 *Because this is true I don't understand how you are not simply lying*
int main
{
   DDD();
}
 Calls HHH(DDD) that must abort the emulation of its input
or {HHH, emulated DDD and executed DDD} never stop running.

 You are the lying one.
 If HHH(DDD) abrots its simulation and returns true it is correct as a
halt decider for DDD really halts.
 

 (b) We know that a decider is not allowed to report on the behavior
computation that itself is contained within.