home bbs files messages ]

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,345 of 262,912   
   olcott to Kaz Kylheku   
   Re: The halting problem is incorrect two   
   26 Nov 25 22:31:19   
   
   XPost: sci.math, comp.theory   
   From: polcott333@gmail.com   
      
   On 11/26/2025 10:15 PM, Kaz Kylheku wrote:   
   > 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.   
   >   
      
   Unless it is the total machine state it is cheating.   
      
   > 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.   
   >   
      
   Here is the dumbed down version   
      
   void DDD()   
   {   
      HHH(DDD);   
      return;   
   }   
      
   HHH simulates DDD that calls HHH(DDD)   
   that simulates DDD that calls HHH(DDD)...   
      
   How is this DDD going to reach its "return" statement???   
      
   >>> 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.   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   This required establishing a new foundation   
   for correct reasoning.   
      
   --- 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