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