Kavli Affiliate: Chris Xu
| First 5 Authors: Chris Xu, , , ,
| Summary:
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.
| Search Query: ArXiv Query: search_query=au:”Chris Xu”&id_list=&start=0&max_results=3