If you’d like to support me :
There is a limit to how much work algorithms can do.
SOCIAL MEDIA
Twitter :
Github:
THE BUSY BEAVER WORLD
In my opinion, the best place to start is Aaronson’s “The Busy Beaver Frontier“ paper (ref [1]). It’s accessible, well written and provides a comprehensive view of the BB-world. Also, Googology represents the community in their efforts/excitement well (e.g. see ref [8]).
NOTES
[1] When describing how Sigma(4) is computed, I say “whittle to a small group that halt and ran to produce the max count of 1’s“. It has been pointed out to me that this isn’t an accurate description. It’s more accurate to say we whittle down to a small group that *don’t halt*. What’s done is, many machines are run, some halt and some continue to run. The hard work is in proving that the machines still running will in fact run forever. Once that is proved, the busy beaver number is the max count of ones written by all machines that halted so far.
REFERENCE NOTES
As mentioned, I mainly read Scott Aaronson’s work for this (ref [1], [3]) and his blog: , where he posts BB related updates. Second to this was the wikipedia page (ref [6]). Also, [2] and [7] were useful for understanding how people pursue bounds and values for Sigma(n). The original paper (ref [4]) was useful to understand why Sigma(n) was invented in the first place (to provide a well defined non-computable function) and to understand the original format of the BB competition. The bounds related to Graham’s sequence were found in [6] and [8].
REFERENCES
[1] S. Aaronson, “The Busy Beaver Frontier“,
[2] A. H. Brady. “The determination of the value of Rado’s noncomputable function Σ(k) for
four-state Turing machines“. Mathematics of Computation, 1983.
[3] A. Yedidia and S. Aaronson. “A relatively small Turing machine whose behavior is independent
of set theory.“ Complex Systems, (25):4, 2016,
[4] T. Radó. “On non-computable functions“. Bell System Technical Journal. 41 (3): 877–884, 1962
[5] Copeland, B. Jack, “The Church-Turing Thesis“, The Stanford Encyclopedia of Philosophy (Summer 2020 Edition), Edward N. Zalta (ed.)
[6] Wikipedia contributors. “Busy beaver“ Wikipedia, 2023,
[7] P. Michel. “The Busy Beaver competition: a historical survey“. 2019.
3749
[8] Wythagoras (Username), “The nineteenth Busy Beaver number is greater than Graham’s Number!“, , 2016, :Wythagoras/The_nineteenth_Busy_Beaver_number_is_greater_than_Graham’s_Number!
[9] S. Ligocki, “BB(6, 2) is greater than 10^10...^10“, 2022,
TIME CODES
0:00 Introduction
1:21 A Binary Turing Machine
2:42 Two Things to Know about Turing Machines
3:54 What is the Busy Beaver Function?
5:40 Why is it hard to calculate?
6:28 Computability
7:41 A Shot at the King
10:36 The Busy Beavers reference open problems
11:39 Its values cannot be proven in some systems
12:08 The Busy Beaver World
1 view
7
2
2 hours ago 00:27:51 1
DJ Set do Padre Guilherme Peixoto na Jornada Mundial da Juventude ()
2 hours ago 00:00:29 1
Mitch Valize 🇳🇱 has kept on pushing boundaries in the Men H5 para-cycling #shorts
2 hours ago 00:04:49 1
David Bowie - Thursday’s Child (Official Music Video) [HD Upgrade]
3 hours ago 00:03:26 1
David Bowie - Fashion (Official Video)
3 hours ago 00:04:24 1
Ed Sheeran - Shape of You (Official Music Video)
3 hours ago 00:02:33 1
El Chombo, Dancing Green Alien - Dame Tu Cosita feat. Cutty Ranks (Official Video) [Ultra Records]
4 hours ago 00:04:04 1
David Bowie - Little Wonder (Official Video)
4 hours ago 00:37:18 1
HARE KRISHNA HARE RAMA || BEST BHAJAN 2024 || हरे कृष्णा HariBhakti Leo Dey ~ ISKCON Kirtan #mayapur
6 hours ago 01:18:16 1
Sofiane Pamart live under the Northern Lights, in Lapland, Finland for Cercle
7 hours ago 00:04:56 1
To chase the stars
9 hours ago 00:04:09 1
Bruno Mars, Anderson .Paak, Silk Sonic - Leave the Door Open [Official Video]
12 hours ago 00:08:50 1
Graziano Raffa - One More Star | Inside Techno
13 hours ago 00:04:01 1
David Bowie - Jump They Say (Official Music Video) [HD Upgrade]
13 hours ago 00:05:29 1
Madonna - Frozen (Official Video) [HD]
13 hours ago 00:04:21 1
Madonna - You’ll See (Official Video)
15 hours ago 00:06:20 1
Marcism - I Know What You Need | Inside Techno
15 hours ago 00:04:43 1
Hernan Cattaneo - Tranquilo | Inside Techno
16 hours ago 00:03:18 1
Masterpiece Art Runway: Famous Paintings Come Alive on the stage
17 hours ago 01:03:40 1
Atmospheric Sci-Fi Ambient Space Music - Cosmic Reflection
17 hours ago 00:00:45 9
S#4. Big Fish - , JIWOO | KARD(카드) ’Tell My Momma’ 설정 퍼포먼스 〈Muvie Theater〉
17 hours ago 00:03:59 1
THEIGNS & THRALLS - Now My Life Is Done (OFFICIAL LYRIC VIDEO)
17 hours ago 00:04:40 1
Ed Sheeran - Perfect (Official Music Video)
18 hours ago 00:04:01 1
Undermathic - Try Again #musicfrompoland #polishmusic #musicchannel