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,194 of 59,235   
   olcott to Richard Heathfield   
   Re: Never any actual rebuttal to HHH(DD)   
   28 Oct 25 22:26:43   
   
   XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 10/28/2025 10:16 PM, Richard Heathfield wrote:   
   > On 28/10/2025 21:58, dbush wrote:   
   >> On 10/28/2025 4:51 PM, olcott wrote:   
   >   
   >    
   >   
   >>>    
   >>   
   >> So again you admit that Kaz's code proves that D is halting.   
   >   
   > Credit where credit is due. By returning 0*, /olcott's/ code proves that   
   > D is halting.   
   >   
   > *i.e. non-halting.   
      
   Yet (as I have said hundreds of times) Turing machines   
   can only compute the mapping from *INPUT* finite string   
   machine descriptions to the behavior that these *INPUT*   
   finite string machine descriptions *ACTUALLY SPECIFY*   
      
   D simulated by H SPECIFIES NOT-HALTING BEHAVIOR.   
   The halting problem itself makes a category error   
   when it requires deciders to report on behavior   
   other than the behavior that *THEIR INPUT SPECIFIES*   
      
   --   
   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