Re: DDD INcorrectly emulated by HHH is INCorrectly rejected as non-halting V2

On 7/20/24 9:11 AM, olcott wrote:

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.
 

Becaue YOU are the one that is LYING.
The fact that DDD calls an HHH(DDD) That DOES ABORT its simulation of its copy of DDD and returns, means that DDD returns.
You don't get to play the shell game and try to change HHH to the OTHER program that creates ANOTHER input for DDD. Since you are claiming that the HHH(DDD) called by main correctly answers by returning 0, we need to look at THAT DDD, which calls THAT HHH and not any other.
You attemps at argument to bring in something that isn't just shows that your whole logic system is based on tryng to LIE, and thus isn't really a valid logic system. It also shows that you have no understanding about how programs (or logic) actually work.
Thus anyone with a bit of intelegence will see that you idea need to be avoided.