XPost: comp.theory, sci.logic, sci.math   
   From: 643-408-1753@kylheku.com   
      
   On 2025-10-15, Tristan Wibberley  wrote:   
   > On 15/10/2025 03:46, Kaz Kylheku wrote:   
   > ...   
   >> If it ever seems as if the same machine both halts and does not   
   >> halt, we have made some mistake in our reasoning or symbol   
   >> manipulation; if we take a fresh, correct look, we will find that   
   >> we have been working with two machines....   
   >   
   > or else that our ontology is incorrect.   
      
   Which points to our mistake, because in this context we are handed   
   the ontology.   
      
   --   
   TXR Programming Language: http://nongnu.org/txr   
   Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal   
   Mastodon: @Kazinator@mstdn.ca   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)