Se ha aumentado progresivamente el límite inferior de BB(6): primero a 10 tetrado de 10 repetido 15 veces, luego a 10 tetrado de 10 repetido 10 000 000 de veces y finalmente a 2 pentado a 5.
BB(n) es la función Busy Beaver que mide el máximo número de pasos de una máquina de Turing de n estados antes de detenerse.
Para dar una idea de la magnitud, 10 tetrado a 10 repetido 10 000 000 de veces es suficiente para llenar esa cantidad de universos observables con granos de arena.
Estos nuevos resultados se han verificado formalmente mediante una prueba en Coq.
El crecimiento extremo de BB(6) sugiere que la independencia de la función Busy Beaver respecto a los axiomas de ZFC podría ocurrir para n mucho menores, quizás n=7 u 8.].
languageCode
es
Get notified when new stories are published for "🇪🇸 Hacker News Espanyol"