Essay2020
The Busy Beaver Frontier
Scott Aaronson
Surveys sixty years of the busy beaver function, arguing that pinning down each new value amounts to resolving a real open mathematical conjecture, since the function inherits its uncomputability directly from the halting problem.
23 pageslink checked 17 Sept 2026FreeIntermediate