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,013 of 262,912   
   Mikko to olcott   
   Re: "true on the basis of meaning" AKA A   
   17 Nov 25 11:25:11   
   
   From: mikko.levanto@iki.fi   
      
   On 2025-11-16 16:01:19 +0000, olcott said:   
      
   > On 11/16/2025 2:49 AM, Alan Mackenzie wrote:   
   >> Tristan Wibberley    
   wrote:   
   >>> On 15/11/2025 11:59, Alan Mackenzie wrote:   
   >>   
   >>>> Very clever people have attempted to show   
   >>>> inconsistencies in the mathematical foundations, without success.  Less   
   >>>> clever people don't have a chance of doing so.   
   >>   
   >>> That's /much/ better politics but still sorely lacking. It leaves open   
   >>> the avenue that the clever people did indeed show the inconsistencies to   
   >>> themselves and to some others but they didn't show them to /you/.   
   >>   
   >>  That's not the way the world works.  Such results would have been   
   >> published in a mathematical journal, and immediately attracted scrutiny.   
   >   
   > That is not the way that the world works. A brilliant   
   > tenured PhD computer science professor could have been   
   > fired merely because he brought up the idea that the   
   > halting problem might be wrong.   
      
   If it's only "could have been fired" it's nothing. Only actually having   
   been fired would mean something, and more than just something if from a   
   respectable university.   
      
   --   
   Mikko   
      
   --- 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