Neue Rekordwerte der Busy-Beaver-Zahl BB(6)

Die untere Schranke von BB(6) wurde 2022 von knapp über 10^36 534 auf eine Tetration von 15 Ebenen über 10 angehoben.

Ein Team im internationalen BBchallenge verifizierte mithilfe von Coq, dass BB(6) größer ist als 10 Millionenfach tetratiert 10.

Die jüngste Verbesserung zeigt, dass BB(6) mindestens 2 tetratiert zu 2 tetratiert zu 2 tetratiert zu 9 ist, was einer Pentation auf Stufe 5 entspricht.

Die extremen Sprünge in den unteren Schranken veranschaulichen das rasante Wachstum der Busy-Beaver-Funktion und haben zu Vermutungen geführt, dass BB(n) bereits für n=7–9 unabhängig von den ZFC-Axiomen sein könnte.

Zur Veranschaulichung verwendete der Autor die Analogie, man habe so viele Sandkörner, dass sie eine ebenso enorme Anzahl beobachtbarer Universen füllen könnten.