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...
¿Ves donde pone La función ...? Pues desde ahí, nada.
3x = xxx
210 = 1E10 = 10 000 000 000
310 = 1E(1E10) = 1 seguido de 10 000 000 000 ceros
Solo calcular 410 ya me dan mareos.
Para comparar, se estima que el número de átomos en el universo es de 1E80.
De Shakespeare me sé ésta y la del Romeo.
Por curiosidad, nada más.
Congratulémonos por ello.
La formalización en Coq no es un lujo, sino una exigencia epistemológica:… » ver todo el comentario
Hay una especie de "juego mental" que hacen algunos matemáticos llamado el problema del castor afanoso (en inglés Busy Beaver). La idea es imaginar una máquina muy simple (como un robot tonto) que puede hacer solo unas pocas cosas: leer y escribir unos y ceros (como si escribiera en una cinta de papel), moverse a la izquierda o a la derecha, y seguir unas reglas básicas.
Ahora bien, si le damos a esa… » ver todo el comentario
(3↓↓↓...↓↓↓3) Con 64 flechas ↓
(3↓3) = (3³)³ = 3²⁷ = k
(3↓↓3) = (3^k) = r
(3↓↓↓3) = (3^r) = ...
m.youtube.com/watch?v=CE8UhcyJS0I