XPost: sci.physics.relativity, comp.theory   
   From: PointedEars@web.de   
      
   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.   
      
   --   
   PointedEars   
      
   Twitter: @PointedEars2   
   Please do not cc me. / Bitte keine Kopien per E-Mail.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)