XPost: sci.logic, comp.theory   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   Pot Head Olcott, what are you smoking?   
   BB(5) is only S(5)=47,176,870 steps.   
      
   Why invoke Einstein who believe in a   
   10–100 million light-years wide universe?   
      
   Can you explain?   
      
   Bye   
      
   P.S.: Turing machines that don't terminate   
   AND extend the tape indefinitely are of   
   course other wordly, relative to Einstein,   
   if Einstein would have assumed that the   
      
   Universe does not expand. Einstein Universe   
   was indeed Static, non-expanding. And   
   expanding universe theory was formed after   
   Hubble (1929). And a turing machine could   
      
   expand in lockstep with an universe, right?   
      
   olcott schrieb:   
   > On 12/2/2025 5:13 PM, dart200 wrote:   
   >> 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   
   >>   
   >   
   > Einstein proposed the possibility of a finite   
   > yet unbounded universe. That would entail a   
   > finite number of total atoms in the universe   
   > and a bunch of empty space.   
   >   
   > I read his paper before I finished high school.   
   > The Busy Beaver cannot possibly make any   
   > difference and should be discarded on that basis.   
   >   
   > On the other hand the nature of truth itself   
   > could make a difference whether or not life   
   > on Earth continues to survive.   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)