Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,936 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 260,943 of 262,936    |
|    olcott to joes    |
|    DD simulated by HHH cannot possibly term    |
|    16 Nov 25 11:20:14    |
   
   XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: polcott333@gmail.com   
      
   On 11/16/2025 11:11 AM, joes wrote:   
   > Am Sun, 16 Nov 2025 16:46:24 +0000 schrieb HAL 9000:   
   >   
   >> DD halts.   
   >   
   > You seem to be new. I recommend you don’t go down this road,   
   > but read Mike Terry’s posts.   
   >   
      
   Mike whom is otherwise brilliant and seems to have   
   proved that he is honest by his reference and application   
   of the steelman argument.   
   https://en.wikipedia.org/wiki/Straw_man#Steelmanning   
      
   Seems to have a complete blind spot when is comes to   
      
   typedef int (*ptr)();   
   int HHH(ptr P);   
      
   int DD()   
   {   
    int Halt_Status = HHH(DD);   
    if (Halt_Status)   
    HERE: goto HERE;   
    return Halt_Status;   
   }   
      
   int main()   
   {   
    HHH(DD);   
   }   
      
   N statements of DD simulated by HHH according to the   
   semantics of the C programming language reaching the   
   simulated "return" statement of DD for any value of N.   
      
   --   
   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)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca