XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/28/2025 10:19 AM, wij wrote:   
   > On Tue, 2025-10-28 at 09:29 -0500, olcott wrote:   
   >> On 10/28/2025 8:03 AM, wij wrote:   
   >>> On Mon, 2025-10-27 at 23:29 -0700, Chris M. Thomasson wrote:   
   >>>> Humm...   
   >>>>   
   >>>> 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!"   
   >>>   
   >>> Yes, HP is just that simple. The not-so-simple part (just a little bit) is   
   >>> making it precise to become a theorem. olcott wants to save human (not   
   really)   
   >>> and AI industry. BASIC is too... well, kid stuff, not famous and big   
   enough to   
   >>> exhibit the 3% intelligence. Being Simple and clear is olcott's enermy.   
   >>>   
   >>   
   >> *D simulated by H cannot possibly reach past its own first line*   
   >>   
   >> int D()   
   >> {   
   >>     int Halt_Status = H(D);   
   >>     if (Halt_Status)   
   >>       HERE: goto HERE;   
   >>     return Halt_Status;   
   >> }   
   >>   
   >> H simulates D   
   >> that calls H(D) to simulate D   
   >> that calls H(D) to simulate D   
   >> that calls H(D) to simulate D   
   >> that calls H(D) to simulate D   
   >> that calls H(D) to simulate D   
   >> until H sees this repeating pattern.   
   >   
   > 'D' (or DDD, whatever, although they look similar) is not the example   
   mentioned   
   > in the HP proof. You are solving POO Problem.   
   >   
      
   The proof has no idea about simulating halt deciders.   
   I cannot begin to show the next step of my proof   
   until people utterly stop stonewalling me on the   
   above step. They have done this for three years.   
      
   --   
   Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius   
   hits a target no one else can see." Arthur Schopenhauer   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)