TY - RPRT TI - Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest AU - Michael Vielhaber AU - Mónica del Pilar Canales Chacón AU - Sergio Jara Ceballos PY - 2023 UR - https://arxiv.org/abs/2303.02855 ID - 2303.02855 ER -