edición general
81 meneos
1462 clics
Espeluznante nueva cota inferior para la función castor afanoso BB(6)

Espeluznante nueva cota inferior para la función castor afanoso BB(6)

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
Y yo con éstos pelos.
Espeluznante, sin duda.
¿Que parte no habéis entendido? Yo os la explico...
Javier...
#3

¿Ves donde pone La función ...? Pues desde ahí, nada.xD
#3 La tetración no es muy conocida.

3x = xxx
#23 Entonces 1510 = 1010E14?
#37 Ostras, no. Es una salvajada aún más grande ...

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.
#37 ¿Obvio? :troll:
#37 es 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10 elevado a 10
#3 Empieza, empieza... soy todo oídos.
#3 Para mi, toda. :troll:
Yo soy más de la función caracol holgazán, pero he de admitir que tras menear esta noticia me siento más inteligente. Ya tengo conversación para el club de calceta.
#4 Creeping like a snail unwillingly to school

De Shakespeare me sé ésta y la del Romeo.
Hay que poner entre corchetes el idioma en el titular. Así se avisa de que no vamos a entender nada.
#6 Un triangulo amarillo.{0x1f6a6} {0x1f4d0} {0x1f53b}
#6 algo así como: [MAT]
Una buena cota inferior te protege de los espadazos del rival.
Yo pensé que iba de presas
¿qué te convalidan si entiendes el artículo?
Por curiosidad, nada más.
#9 Creo que el camino de Santiago.
#14 me temo que me va a tocar caminar...
#9 Te dan el título de manipulador de alimentos.
esto seguro es culpa de China
#11 Yo lo veo más del Perro.
... o de los gases de efecto invernadero
Lo mas acojonante de todo es que si no te has enterado de nada en la entradilla, te lees la noticia entera.... y es todavía peor!!!
Hola k ase, castor afanoso k ase
joder joder joder
No es obligatorio poner el idioma de la noticia entre corchetes? :hug:
A mí me espeluzna ya el concepto de tetración. o_o
Bóbr kurwa
En otro artículo anterior explica en qué consiste lo del castor afanoso.
Le falta la etiqueta de humor por algún lado
Lo de "afanoso" con las noticias recientes de corrupción puede tener una segunda lectura... :troll:
error...
Lo de la tetración me recuerda a lo del número de Graham.
Acabo de poner la función esa en una hoja Excel y me salió el limitador...
Jodido Perro Sanxe
Nuestro bienamado Francis ha tenido a bien sacarse la chorra.
Congratulémonos por ello.
Pero sabían que era una trampa de asuntos internos?
#34 Los agentes de asuntos internos le tendieron una trampa al detective Maccloskey y asesinaron a su compañero, a quien le quedaban días para jubilarse.
El vertiginoso crecimiento de BB(n) ilustra de forma casi obscena los límites de la computabilidad y el poder destructivo de una definición tan ingenua como "máquina de Turing con n estados". La reciente cota BB(6) > {^{^{{^9}2}2}2} no solo trasciende la tetración, sino que se instala cómodamente en regiones de la jerarquía fast-growing donde incluso notaciones ordinales como ε₀ empiezan a quedarse cortas.

La formalización en Coq no es un lujo, sino una exigencia epistemológica:…   » ver todo el comentario
#35 ¿Puedes explicaárselo a un profano en la materia como yo?
#43 ¡Claro! Aquí tienes una explicación fácil para un profano en la materia:

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
#46 Ostias gracias, asi, si. :-D
#35 estoy de acuerdo
Me encanta que me recuerden que soy un ignorante.
La cota es superior al número de graham

(3↓↓↓...↓↓↓3) Con 64 flechas ↓

(3↓3) = (3³)³ = 3²⁷ = k
(3↓↓3) = (3^k) = r
(3↓↓↓3) = (3^r) = ...
Para interesados, computerphile saco un video del tema hace tiempo, en ingles eso si:

m.youtube.com/watch?v=CE8UhcyJS0I

menéame