Only a finite number of busy beaver values can be proven from the axioms of set theory because of Gödel's incompleteness theorem; currently only four values are known (BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107), with BB(5) known only to be at least about 47 million.
factualpending
Speaker
Scott AaronsonEvidence Quote
“busy beaver of five it is only known that it's at least 47 million”
Created: 6/13/2026, 7:00:25 PM
My Notes
Loading notes...