La función castor afanoso BB(n) es el número de pasos que ejecuta antes de parar una máquina de Turing con n estados que usa los símbolos {0, 1} a partir de una cinta rellena de 0. Esta función crece de forma muy rápida: BB(1) = 1, BB(2) = 6, BB(3) = 21, BB(4) = 107, y BB(5) = 47 176 870 (LCMF, 22 jul 2024). En 2010, Pavel Kropitz descubrió que BB(6) > ¹⁵10, es decir, diez tetrado a quince
|
etiquetas: matemáticas , grandes números , infinito
Javier...
Por curiosidad, nada más.