home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   comp.lang.c      Meh, in C you gotta define EVERYTHING      243,242 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 241,316 of 243,242   
   Chris M. Thomasson to olcott   
   Re: The halting problem is self-contradi   
   15 Oct 25 13:35:42   
   
   XPost: comp.lang.c++   
   From: chris.m.thomasson.1@gmail.com   
      
   On 10/15/2025 8:10 AM, olcott wrote:   
   > On 10/15/2025 9:50 AM, tTh wrote:   
   >> On 10/15/25 14:32, olcott wrote:   
   >>   
   >>> Here is that full proof.   
   >>> https://chatgpt.com/share/68eef2df-0f10-8011-8e92-264651cc518c   
   >>   
   >>     Can you take those insanity out of comp.lang.c ?   
   >>   
   >   
   > I just needed a couple of cross posts.   
   > Here is how it is related to C/C++   
   >   
   >    
   >   
   > Please think this all the way through without making any guesses   
   >   
   > Simulating Termination Analyzer HHH correctly simulates its input until:   
   > (a) Detects a non-terminating behavior pattern:   
   >      abort simulation and return 0.   
      
   How does that apply to:   
      
   1 HOME   
   5 PRINT "The Olcott All-in-One Halt Decider!"   
   10 INPUT "Shall I halt or not? " ; A$   
   30 IF A$ = "YES" GOTO 666   
   40 GOTO 10   
   666 PRINT "OK!"   
      
   [...]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca