arXiv Analytics

Sign in

arXiv:2407.02426 [math.CO]AbstractReferencesReviewsResources

Skelet #17 and the determination of BB(5)

Chris Xu

Published 2024-07-02Version 1

We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy Beaver Challenge, we are therefore able to show that BB(5), the fifth Busy Beaver number, equals 47,176,870.

Categories: math.CO, math.LO
Related articles: Most relevant | Search more
arXiv:2309.10866 [math.CO] (Published 2023-09-19)
Determination of hyperovals by lines through a few points
arXiv:math/0601409 [math.CO] (Published 2006-01-17, updated 2007-12-24)
Determination of the two-color Rado number for $a_1x_1+...+a_mx_m=x_0$
arXiv:math/0212278 [math.CO] (Published 2002-12-19, updated 2002-12-23)
Determination of the structure of algebraic curvature tensors by means of Young symmetrizers

Links

Toolbox