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,351 of 262,912   
   Chris M. Thomasson to All   
   Re: New formal foundation for correct re   
   26 Nov 25 22:01:30   
   
   XPost: sci.math, comp.theory   
   From: chris.m.thomasson.1@gmail.com   
      
   On 11/25/2025 8:56 PM, dart200 wrote:   
   > On 11/25/25 8:24 PM, Python wrote:   
   >> Le 26/11/2025 à 05:23, dart200 a écrit :   
   >>> On 11/25/25 8:11 PM, Python wrote:   
   >>>> Le 26/11/2025 à 05:06, olcott a écrit :   
   >>>>> After you understand what the conventional view   
   >>>>> really is we might make some progress on this.   
   >>>>   
   >>>> The Halting Problem is what it is. It makes perfect senses. You have   
   >>>> no choice about it.   
   >>>   
   >>> and yet it really doesn't cause semantic paradoxes have nothing to do   
   >>> with the underlying algos u assert aren't possible, as they can be   
   >>> constructed with total disregard to the semantic property being computed   
   >>   
   >> This didn't parse.   
   >   
   > the undecidability has nothing to do with any particular aglorithm   
   >   
      
   When does a server stop responding to you, Olcotts cut of line is   
   approaching before new years this year. Also, how long is a piece of string?   
      
   --- 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