Re: DDD simulated by HHH cannot possibly halt (Halting Problem)

On 4/9/25 1:29 PM, olcott wrote:

 On 4/8/2025 10:31 AM, Fred. Zwarts wrote:

Op 08.apr.2025 om 17:13 schreef olcott:

On 4/8/2025 2:45 AM, Fred. Zwarts wrote:

Op 08.apr.2025 om 06:33 schreef olcott:

>
typedef void (*ptr)();
int HHH(ptr P);
>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
int main()
{
   HHH(DD);
}
>
*Simulating termination analyzer Principle*
It is always correct for any simulating termination
analyzer to stop simulating and reject any input that
would otherwise prevent its own termination.

>
>
In this case there is nothing to prevent, because the finite string specifies a program that halts.

>
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
     HERE: goto HERE;
   return Halt_Status;
}
>
This stuff is simply over-your-head.
HHH(DD) meets the above: *Simulating termination analyzer Principle*
Anyone with sufficient competence with the C programming language
will understand this.
>

Everyone with a little bit of C knowledge understands that if HHH returns with a value 0, then DDD halts.

 DDD CORRECTLY SIMULATED BY HHH
NOT ANY OTHER DAMN DDD IN THE UNIVERSE NITWIT.
 DDD CORRECTLY SIMULATED BY HHH
NOT ANY OTHER DAMN DDD IN THE UNIVERSE NITWIT.
 DDD CORRECTLY SIMULATED BY HHH
NOT ANY OTHER DAMN DDD IN THE UNIVERSE NITWIT.
 If I didn't have to tell you this hundreds of times and you didn't
persist in the straw-man deception I would not have called you a nitwit.
 

But all DDD are the same, or you don't really have a theory of computation.
And since HHH doesn't complete emulate it input. the fact it doesn't get to the end proves nothing, so again, you are admitting you don't have a theory of computation.
Sorry, you are just PROVING that you don't know what you are talking about, that you think Strawmen are valid forms of arguments, and that you think lying produces truth.
All you are doing is proving that you are just an stupid ignorant pathological liar that doesn't care about what is true or correct, just that you think you must be right with absolutely no valid justification.