Preguntas etiquetadas con busy-beaver

13
Cálculo de la función de castor ocupado

La función de desplazamiento máximo del castor ocupado, , tiene valores conocidos para n ≤ 4 . ¿Hay alguna razón estructural básica por la que es inconcebible que alguna vez encontremos S ( n ) para n > 4 ? ¿Qué tiene de diferente n = 4 que n = 5 ? O n = 6 ? En algún punto del camino debe haber...