home bbs files messages ]

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

   comp.ai.philosophy      Perhaps we should ask SkyNet about this      59,235 messages   

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

   Message 58,521 of 59,235   
   Mikko to All   
   Re: Olcott is provably correct --- no on   
   01 Dec 25 11:39:12   
   
   XPost: comp.theory, sci.logic, sci.math   
   From: mikko.levanto@iki.fi   
      
   olcott kirjoitti 1.12.2025 klo 4.12:   
   > On 11/30/2025 7:44 PM, Kaz Kylheku wrote:   
   >> 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.   
   >>   
   >   
   > (1) It is a fact that this input to HHH(DD) does specify   
   >      non-halting behavior according to this definition   
   >      that you erased:   
   >   
   > An input DD that halts for a simulating termination   
   > analyzer HHH is defined as DD reaching its own simulated   
   > "return" statement while DD is being simulated by HHH.   
      
   Which means that HHH is not a halting decider or a partial halting   
   decider. And that HHH does not serve any useful purpose.   
      
   --   
   Mikko   
      
   --- 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