ビジービーバー関数の5の値
以下
ビジービーバー関数
を
$ \mathrm{BB}(x)
とする.
Statement
$ \mathrm{BB}(5) = 47176870
Coq
で検証されている
参照
https://discuss.bbchallenge.org/t/july-2nd-2024-we-have-proved-bb-5-47-176-870/237/1
https://github.com/ccz181078/Coq-BB5
https://www.quantamagazine.org/amateur-mathematicians-find-fifth-busy-beaver-turing-machine-20240702/