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,026 of 262,912   
   olcott to Alan Mackenzie   
   Re: The halting problem is incorrect two   
   18 Nov 25 14:01:44   
   
   XPost: comp.theory   
   From: polcott333@gmail.com   
      
   On 11/18/2025 12:51 PM, Alan Mackenzie wrote:   
   > olcott  wrote:   
   >> On 11/18/2025 12:04 PM, joes wrote:   
   >>> Am Tue, 18 Nov 2025 10:43:32 -0600 schrieb olcott:   
   >>>> On 11/18/2025 4:23 AM, Mikko wrote:   
   >   
   >>>>> The information that HHH is given is the same as a C execution   
   >>>>> environment is given for a direct exectuion.   
   >   
   >>>> No it is not.   
   >   
   >>> What information are HHH, HHH1, a UTM and an x86 processor given or not?   
   >>> What is different, what is missing?   
   >   
   >   
   >> If you understood what ordinary recursion   
   >> is you would have known this a long time ago.   
   >   
   > You patronising little bastard.   
   >   
      
   I asked her time and time again whether   
   she had any actual programming experience.   
   That lack of any response would seem to   
   indicate negative.   
      
   >> Not having any understanding of ordinary   
   >> recursion makes it impossible for you to understand.   
   >   
   > Joes understands recursion full well, just like every other poster on   
   > this group.   
   >   
   >> When I say that DD calls HHH(DD) in recursive simulation   
   >> translates into DD blah, blah, blah blah blah   
   >> you will never be able to get it.   
   >   
   > That wasn't the question asked.  The question asked is still cited above,   
   > and you appear unable to answer it.  Or maybe you lack the manners to do   
   > so.   
   >   
      
   The implied base question which everyone here   
   (besides Ben) either dodged or expressed   
   counter-factual assessment was:   
      
   Do you understand that DD simulated by HHH cannot   
   possibly reach its own "return" statement final   
   halt state?   
      
   The alternative to assessing them as liars is   
   assessing them as trying to bluff their way   
   through lack of comprehension of this degree   
   of technical detail which is merely a different   
   kind of liar.   
      
   > [ .... ]   
   >   
   >> --   
   >> Copyright 2025 Olcott   
   >   
   >> My 28 year goal has been to make   
   >> "true on the basis of meaning" computable.   
   >   
      
      
   --   
   Copyright 2025 Olcott   
      
   My 28 year goal has been to make   
   "true on the basis of meaning" computable.   
      
   --- 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