Perguntas com a marcação «busy-beaver»

13
Cálculo da função de castor ocupado

A função de turnos máximos do castor ocupado, , possui valores conhecidos para n ≤ 4 . Existe alguma razão estrutural básica por que é inconcebível encontrarmos S ( n ) para n > 4 ? O que há de tão diferente em n = 4 que n = 5 ? Ou n = 6 ? Em algum lugar ao longo do caminho, deve haver alguma...