home bbs files messages ]

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

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

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

   Message 261,575 of 262,912   
   Kaz Kylheku to olcott   
   Re: Olcott is provably correct   
   01 Dec 25 01:44:55   
   
   XPost: comp.theory, sci.math, comp.ai.philosophy   
   From: 046-301-5902@kylheku.com   
      
   On 2025-11-30, olcott  wrote:   
   > HHH does correctly report that DD simulated   
   > by HHH (according to the semantics of the C   
   > programming language) does not halt.   
      
   You have rigged this with a "Root" flag whch dynamically changes the   
   behavior of the second and subsequent calls to HHH, turning it into a   
   different procedure. That action also dynamically reconfgures DD into a   
   different function, which doesn't terminate, while the original DD does.   
      
   If what you were saying were true, you would not need to employ invalid   
   tricks; you could properly demonstrate it with pure functions.   
      
   You don't understand that dynamically changing HHH is invalid, because   
   you don't understand that DD is built out of HHH. You incorrectly   
   believe there is always a single DD, no matter how HHH is redefined.   
      
   This is all because you have a grotesquely crude, ape-like intellect,   
   in addition to being a consummate crank.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- 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