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,975 of 59,235   
   olcott to Kaz Kylheku   
   Re: Conventional notion of the HP diagon   
   02 Oct 25 18:40:16   
   
   XPost: comp.theory, comp.lang.c++, comp.lang.c   
   From: polcott333@gmail.com   
      
   On 10/2/2025 6:31 PM, Kaz Kylheku wrote:   
   > On 2025-10-02, olcott  wrote:   
   >> void P()   
   >> {   
   >>     if H(P)  // returns 1 for halts 0 for loops   
   >>       HERE: goto HERE;   
   >> }   
   >>   
   >> For *any* decider H and input P   
   >> If H says halts then P loops   
   >> If H says loops then P halts   
   >> Making this HP diagonal case unsatisfiable.   
   >   
   > You stil don't get it: there isn't one diagonal case.   
      
   You still didn't pay close enough attention.   
   For *any* decider H and input P   
      
   More clearly stated as the infinite set of H/P pairs   
      
      
   --   
   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