Granica dolna BB(6) została podniesiona do ponad ^15 10 iteracji wykładniczych.
Następnie poprawiono ją do wartości wynikającej z 10 000 000 iteracji potęg dziesięciu.
Kolejna poprawka ustaliła BB(6) na co najmniej 2 tetrowanego do (2 tetrowane do (2 tetrowane do 9)), czyli co najmniej 2 pendowanego do 5.
Skok z BB(5) (≈47 176 870) do BB(6) ilustruje dramatyczny wzrost funkcji Busy Beaver.
Wyniki zostały formalnie zweryfikowane dowodem w systemie Coq.
Autor rozważa, że niezależność wartości BB(n) od aksjomatów ZFC może wystąpić już dla n=7–9.
Get notified when new stories are published for "🇵🇱 Hacker News Polski"