Publicado hace 1 mes por Hombre_de_Estado a francis.naukas.com

El castor afanoso (busy beaver) es la máquina de Turing con n estados que escribe el máximo número de palotes (unos) antes de parar a partir de una cinta vacía; la función castor afanoso BB(n) es dicho número máximo de palotes. Se sabe que BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107; se conjeturó en 1990 que BB(5) ≥ 47.176.870. El Busy Beaver Challenge anunció el 2 de julio que logró demostrar que BB(5)=47.176.870. Prueba que todas las máquinas de Turing con 5 estados que ejecutan más de 47.176.870 pasos nunca paran; ninguna es un castor afanoso.

Comentarios

t

#1 Si, es que se explica como un libro cerrado.

onainigo

#1 Leído varias veces con atención en 5 min. No entiendo nada de nada y lo meneo

Yo si que no lo entiendo

WarDog77

#3 El artículo es bien corto, da para leerlo 3 veces.
Y si, lo meneo porque intuyo de que habla y se que es relevante (algo así como el descubrimiento de una fórmula nueva para encontrar más números primos)

onainigo

#5 Pero no con atención. Y parece que algo si has entendido.

WarDog77

#6 Desconozco tu velocidad lectora, con la mia puedo leer perfectamente un texto de poco más de 500 palabras 3 veces en 5 minutos (300p/min)

Y entendido nada, intuido algo.

onainigo

#10 Venga majo. Que después de meter la gamba vas a acabar insultando. Adiós.

WarDog77

#11 Tú eres el que falta al reporto poniendo en duda mis palabras cuando no tienes base para hacerlo.

m

#1: Yo he intentado entenderlo, y lo único que he entendido es la razón por la que me prohibieron las matemáticas. lol

Ahora, que vayan a por la Conjetura de Collatz, fácil de entender, difícil de demostrar, no sigo más que vienen a por mí.

C

#1 Completa el pack con:

WarDog77

#13 Pues es un muy buen vídeo. Muy intuitivo. Evidentemente no para entender el concepto matemático pero si el físico, que ya es algo.

G

#1 Como tú no lo he entendido y he descubierto una nueva palabra: "indecidibilidad".
Que intuyo qué puede ser.....

WarDog77

#16 Que no se puede decidir (resolver o demostrar si es verdadero o falso)

Decidir:
3. tr. Resolver o hacer que se solucione completamente (algo dudoso). No han decidido cuándo será el examen. La última canasta decidió el encuentro

T

#1 Una máquina de turing es un dispositivo teórico conceptual que ejecuta algorítmos.
Cualquier ordenador covencional de hoy día, independientemente de su capacidad, puede reducirse a una máquina de turing.
Si algo no se puede ejecutar en una máquina de turing, no puede ejecutarse en un ordenador convencional, da igual el dinero que se gastes.
Es por lo que estar teorías tienen su imporntancia, marcan el límite de los problemas que pueden resolverse computacionalmente.

Cherenkov

Artículo muy interesante, recomiendo a todos su lectura.

Excepto a los que votan duplicada un hecho histórico que salió hace 34 años, esos mejor no lean nada lol

JohnSmith_

En esta conferencia, Sanez de Cabezon habla sobre los castores afanosos. A partir del minuto 42 empieza la explicacion de la Maquina de Turing (cuya comprension es necesaria para entender lo de los castores). Os recomiendo la charla entera, interesantisima!.

m

#0: Añade la etiqueta mates, así será más fácil encontrar la noticia.

Doisneau

Computerphile hizo un video hace tiempo del tema (en ingles)

C

No hay voto incomprensible?

A

No sé ni qué es “afanoso” así que no sé de qué me sorprendo al no haber entendido absolutamente nada de este artículo.

T

En informática, un problema es "Decidible" cuando existe un algoritmo que lo resuelve en un tiempo finito.
Teóricamente es cuando existe una una máquina de Turing que puede decidirlo.
Indecicible es cuando no existe.
No se habla de coste ni de tiempos, es un marco teórico que ayuda a identificar los problemas que son computacionalmente abordables.