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,631 of 262,912   
   dart200 to olcott   
   Re: Busy Beaver and Theory Consistency (   
   02 Dec 25 15:13:10   
   
   XPost: alt.philosophy, comp.theory   
   From: user7160@newsgrouper.org.invalid   
      
   On 12/2/25 3:05 PM, olcott wrote:   
   > On 12/2/2025 4:44 PM, dart200 wrote:   
   >> bruh it's get even weirder when the likes of scott aaronson try to   
   >> construct weird ass proofs to demonstrate when BB exactly becomes "to   
   >> complex" and exceeds the bounds of "decidability" ...   
   >>   
   >> which is just fucking absurd tbh   
   >>   
   >   
   > Busy beaver quickly consumes more memory than atoms   
   > in the universe.   
      
   *known/observable* universe, not that fundamental math is concerned with   
   such considerations   
      
   --   
   hi, i'm nick! let's end war 🙃   
      
   --- 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