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