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