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,275 of 262,912   
   Kaz Kylheku to Python   
   Re: New formal foundation for correct re   
   26 Nov 25 05:16:19   
   
   XPost: sci.math, comp.theory   
   From: 643-408-1753@kylheku.com   
      
   On 2025-11-26, Python  wrote:   
   > Le 26/11/2025 à 04:33, olcott a écrit :   
   >> On 11/25/2025 9:27 PM, Kaz Kylheku wrote:   
   >>> On 2025-11-26, olcott  wrote:   
   >>>> On 11/25/2025 8:46 PM, Python wrote:   
   >>>>> Le 26/11/2025 à 03:45, olcott a écrit :   
   >>>>>> On 11/25/2025 8:36 PM, Kaz Kylheku wrote:   
   >>>>>>> On 2025-11-26, olcott  wrote:   
   >>>>>>>> None of them ever had the slightest clue about Montague   
   >>>>>>>> Grammar. Except for one they all had very severe math   
   >>>>>>>> phobia.   
   >>>>>>>   
   >>>>>>> So do you; you are terribly afraid of the mathematical idea that   
   >>>>>>> simulations that are paused still exist and have future   
   >>>>>>> states.   
   >>>>>>>   
   >>>>>>   
   >>>>>> Because you have proven to be a despicable lying bass turd   
   >>>>>> I will no longer discuss the halting problem with you.   
   >>>>>   
   >>>>> Peter, declaring victory by calling people names is not a mathematical   
   >>>>> argument.   
   >>>>>   
   >>>>   
   >>>> He agreed with me right here and tried to get away   
   >>>> with lying about it ever since.   
   >>>   
   >>> Every time you've brought that up, I've reaffirmed my   
   >>> agreement in those points. That's what you call "lying".   
   >>>   
   >>   
   >> When you agree with both mutually exclusive statements   
   >> that is lying.   
   >   
   > Like that deciding that a non terminating program is terminating :-) ?   
      
   But you do nothing but insist that terminating programs   
   is nonterminating.   
      
      
   --   
   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