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), […]
Continue.. Skelet #17 and the fifth Busy Beaver number