Re: I am claiming that these exact words are necessarily true

On 10/13/24 8:40 AM, olcott wrote:

I am not and never have been claiming anything
about incorrect paraphrases of these exact words:
 *HHH rejects DDD as non terminating*

Which judst makes HHH wrong, since DDD will terminate, since that term applies to the PROGRAM that the input represents., and if HHH rejects it, it returns to its caller, and thus DDD will halt.

 void DDD()
{
   HHH(DDD);
   return;
}
 When HHH is an x86 emulation based termination analyzer
then each DDD emulated by any HHH that it calls never returns.

The emulation of DDD by HHH never reaches a final state, but it HHH aborts its emulation and return 0, then the PROGRAM DDD will return.

 Each of the directly executed HHH emulator/analyzers that returns
0 correctly reports the above non-terminating behavior of its input.

No, since termination is a property of the PROGRAM, and not a partial emuation of it, you answer is proven wrong, and you are guilty of using unsound logic.

 *Fully operational code is here*
https://github.com/plolcott/x86utm/blob/master/Halt7.c https:// github.com/plolcott/x86utm
 

Which shows that all those DDD do terminate.
It also proves you have been lying that your decider is a pure function and thus nothing you say has any validity.