XPost: sci.physics.relativity, comp.theory   
   From: janburse@fastmail.fm   
      
   Hi,   
      
   503 Service Temporarily Unavailable   
   https://stackoverflow.com/users/855543/pointedears   
      
   LoL   
      
   Bye   
      
   Thomas 'PointedEars' Lahn schrieb:   
   > Mild Shock wrote:   
   > ^^^^^^^^^^   
   > Your real name should be there.   
   >   
   >> [...]   
   >> We prove that S(5) = 47, 176, 870 using the Coq proof   
   >> assistant. The Busy Beaver value S(n) is the maximum   
   >> number of steps that an n-state 2-symbol Turing machine   
   >> can perform from the all-zero tape before halting, [..]   
   >   
   > What is the relation of this to physics in general, and the theories of   
   > relativity in particular?   
   >   
   > If there is no relation, it does not belong there.  Please do not crosspost   
   > mindlessly.   
   >   
   > F'up2 sci.physics.relativity so that the possible reason lands in the right   
   > place.   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)