TY - RPRT TI - Busy beavers and Kolmogorov complexity AU - Mikhail Andreev PY - 2017 UR - https://arxiv.org/abs/1703.05170 ID - 1703.05170 ER -