加载中…
2024-07-02
Skelet #17 and the fifth Busy Beaver number
Chris Xu
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本