Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.logic    |    Logic -- math, philosophy & computationa    |    262,912 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 261,343 of 262,912    |
|    Kaz Kylheku to olcott    |
|    Re: The halting problem is incorrect two    |
|    27 Nov 25 04:15:19    |
   
   XPost: sci.math, comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-27, olcott wrote:   
   > On 11/26/2025 8:00 PM, Python wrote:   
   >>> Kaz is saying that he can "resume" a simulation   
   >>> that has just proved that it will never stop   
   >>> running to a different machine state to "prove"   
   >>> that this simulation does stop running.   
   >>   
   >> He is right.   
   >>   
   >   
   > He is resuming a simulation that he already admitted   
   > that he conclusively proved is non-halting to contradict   
      
   What? I did not. You must be brandishing your second   
   grade level reading comprehension again.   
      
   > himself and prove that it is halting by "resuming" this   
   > simulation at a different machine state.   
      
   The simulation is resumed at exactly the simulation's   
   current state as it was left behind when the decider   
   stopped stepping it.   
      
   But don't take my word for it. You could check it in   
   the actual ... code!   
      
   You are just not good at following the semantics of   
   the C language and the x86 instruction set.   
      
   >> You are "estimating" wrong. This is called hubris and lies. Both are SINS.   
   >   
   > I have never said a single thing in this forum since   
   > 2020 that I did not wholeheartedly believe is true.   
      
   You would look smarter if you admitted it's all been   
   gaslighting and trolling.   
      
   --   
   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)   
|
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca