Novos Limites de BB(6)

O limite inferior de BB(6) foi elevado para ^{10 000 000}10 por um membro da BBchallenge, com prova em Coq.

Posteriormente, o limite foi melhorado para 2 tetrado a 2 tetrado a 2 tetrado a 9, equivalente a 2 pentado a 5.

BB(5) tem valor conhecido de 47 176 870, pelo que o crescimento de n=5 para n=6 é explosivo.

As descobertas reforçam que BB(6) ultrapassa largamente limites observáveis, ilustrado ao imaginar ^{10 000 000}10 universos cheios de grãos de areia.

Sugere-se conjecturar que BB(n) possa tornar-se independente dos axiomas ZFC já para n entre 7 e 9, em vez de n≈643.

As melhorias resultam da análise de máquinas de Turing de 6 estados e de seus comportamentos iterativos muito rápidos.