Skelet #17 and the fifth Busy Beaver number
Chris Xu
TL;DR
This paper proves the nonhalting of Skelet #17, a complex 5-state, 2-symbol Turing machine, leading to the exact value of the fifth Busy Beaver number, 47,176,870.
Contribution
It establishes the nonhalting of Skelet #17 and precisely determines BB(5), advancing understanding of Busy Beaver numbers.
Findings
Skelet #17 does not halt.
BB(5) equals 47,176,870.
Progress in analyzing complex Turing machines.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsOrthopaedic implants and arthroplasty · Forest Biomass Utilization and Management · Ecology and biodiversity studies