Re: The halting problem as defined is a category error --- Flibble is correct

On 7/20/2025 2:47 AM, Fred. Zwarts wrote:

Op 19.jul.2025 om 17:50 schreef olcott:

On 7/19/2025 2:50 AM, Fred. Zwarts wrote:

>
No, the error in your definition has been pointed out to you many times.
When the aborting HHH is simulated correctly, without disturbance, it reaches the final halt state.

I could equally "point out" that all cats are dogs.
Counter-factual statements carry no weight.

>
This trivial C function is the essence of my proof
(Entire input to the four chat bots)
>
<input>
typedef void (*ptr)();
int HHH(ptr P);
>
void DDD()
{
   HHH(DDD);
   return;
}
>
int main()
{
   HHH(DDD);
}
>
Termination Analyzer HHH simulates its input until
it detects a non-terminating behavior pattern. When
HHH detects such a pattern it aborts its simulation
and returns 0.
</input>

 No rebuttal, but repeated counter-factual claims.
 

>
All of the chat bots figure out on their own that the input
to HHH(DDD) is correctly rejected as non-halting.

 No, we see that the detection of non-termination is the input for the chat-box, not its conclusion.
 

>
https://chatgpt.com/c/687aa48e-6144-8011-a2be-c2840f15f285
*Below is quoted from the above link*
>
This creates a recursive simulation chain:
HHH(DDD)
   -> simulates DDD()
        -> calls HHH(DDD)
             -> simulates DDD()
                  -> calls HHH(DDD)
                       -> ...

 Wich is counter-factual, because we know that HHH aborts before this happens.

*Best selling author of theory of computation textbooks*
<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then
     H can abort its simulation of D and correctly report that D
     specifies a non-halting sequence of configurations.
</MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer