Re: I have just proven the error of all of the halting problem proofs --- Mackenzie

On 7/27/2025 6:11 AM, Richard Damon wrote:

On 7/26/25 10:43 PM, olcott wrote:>>

When HHH(DDD) simulates DDD it also simulates itself
simulating DDD because DDD calls HHH(DDD).

 But can only do that if HHH is part of its input, or it is not simulating its input.
 And, it FAILS at simulating itself, as it concludes that HHH(DDD) will never return, when it does.
 

This ChatGPT analysis of its input below
correctly derives both of our views. I did
not bias this analysis by telling ChatGPT
what I expect to see.
typedef void (*ptr)();
int HHH(ptr P);
void DDD()
{
   HHH(DDD);
   return;
}
int main()
{
   HHH(DDD);
   DDD();
}
Simulating Termination Analyzer HHH correctly simulates its input until:
(a) It detects a non-terminating behavior pattern then it aborts its simulation and returns 0,
(b) Its simulated input reaches its simulated "return" statement then it returns 1.
https://chatgpt.com/share/688521d8-e5fc-8011-9d7c-0d77ac83706c
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer