Friedman's "Long Finite Sequences'': The End of the Busy Beaver Contest

Michael Vielhaber, Mónica del Pilar Canales Chacón, Sergio Jara Ceballos

Harvey Friedman gives a comparatively short description of an ``unimaginably large'' number $n(3)$ , beyond, e.g. the values $$A(7,184)<A(7198,158386)<n(3)$$ of Ackermann's f…