On the hardness of knowing busy beaver values BB(15) and BB(5,4)

From MaRDI portal
Publication:6373817

arXiv2107.12475MaRDI QIDQ6373817

Tristan Stérin, Damien Woods

Publication date: 26 July 2021








This page was built for publication: On the hardness of knowing busy beaver values BB(15) and BB(5,4)