XPost: comp.theory   
   From: polcott333@gmail.com   
      
   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.   
      
   >> Even Olcott asks what should HHH(DD) return? Humm...   
   >>   
   >> His shit HHH crap aside for a moment. Why does he even ask what HHH(DD)   
   >> should return to begin with? Shit man. Sounds of toilets flushing in the   
   >> background...   
   >>   
   >> Say Olcott got HHH(DD) right for his DD, he would have to say it   
   >> sometimes halts, other times it does not. HHH(DD) is Olcotts dictator?   
   >> Humm... ;^o   
   >>   
   >> Change DD's logic and Olcott needs to try to make a brand new HHH?   
   >>   
   >> Why did Olcott ever even ask what should HHH(DD) return anyway? Humm...   
   >   
   > The fungi? in the brain seems allergy to 'undecidable'. E.g.   
   >   
   > Q1: What is the value of proposition "asdf!!#@#@"? Yes or No (or Undecidable   
   >      if none fits).   
   > Q2: What time is it? Yes or No (or Undecidable if none fits)   
   >   
   > olcott cannot answer!   
   >   
      
      
   --   
   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)