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 57,997 of 59,235   
   Richard Heathfield to olcott   
   Re: Conventional notion of the HP diagon   
   04 Oct 25 16:01:55   
   
   XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: rjh@cpax.org.uk   
      
   On 04/10/2025 13:56, olcott wrote:   
   > On 10/4/2025 12:02 AM, Kaz Kylheku wrote:   
   >> On 2025-10-03, olcott  wrote:   
      
      
      
   >>> For the set of H/P pairs of   
   >>> decider H and input P:   
   >>> If H says halts then P loops   
   >>> If H says loops then P halts   
   >>> making H(P) always incorrect.   
   >>   
   >> Nope, it's like (from my Lisp session):   
   >>   
   >   
   > How is it that you can disagree with verified facts?   
      
   The incomputability of the Halting Problem is a verified fact,   
   and yet here you are.   
      
      
      
      
   --   
   Richard Heathfield   
   Email: rjh at cpax dot org dot uk   
   "Usenet is a strange place" - dmr 29 July 1999   
   Sig line 4 vacant - apply within   
      
   --- 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