XPost: comp.theory, sci.logic   
   From: rjh@cpax.org.uk   
      
   On 14/08/2025 03:29, olcott wrote:   
      
      
      
   > When the halting problem shows that there is an   
   > input that does the opposite of whatever the halt   
   > decider decides then "IF" this *INPUT* actually exists   
   > it would prove by contradiction that no universal   
   > halt decider exists.   
   >   
   > When no such *INPUT* actually exists then the   
   > whole proof totally falls completely apart.   
      
   Nonsense. If no such input exists, it is a fault easily remedied.   
   All you have to do is write it. Then it exists.   
      
   --   
   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)