Skelet #17与第五巨无动力数
组合数学
2024-07-04 v2 逻辑
摘要
我们证明了名为"Skelet #17"的图灵机不停机，该机器被公认为最容易分析的5状态2符号图灵机之一。结合《巨无动力挑战》的努力，我们因此能够显示BB(5)，即第五巨无动力数，等于47,176,870。
关键词
引用
@article{arxiv.2407.02426,
title = {Skelet #17 and the fifth Busy Beaver number},
author = {Chris Xu},
journal= {arXiv preprint arXiv:2407.02426},
year = {2024}
}
备注
added more references, fixed a broken link, and streamlined Proposition 3.4