User:Autumn-Pan/Busy-Beaver-Resource-Guide - Revision history

Autumn-Pan: /* Getting Oriented */ add some stuff

2026-02-27T21:46:21Z

Getting Oriented: add some stuff

← Older revision		Revision as of 21:46, 27 February 2026
Line 3:		Line 3:

	== Getting Oriented ==		== Getting Oriented ==
	This is a collection of general background knowledge on the Busy Beaver challenge and essential information for all niches.		This is a collection of general background knowledge on the Busy Beaver challenge and essential information for all niches. All resources linked here are considered beginner level and require minimal background knowledge to understand.

	To begin our work with the Busy Beaver function, we must first understand what it is about.		=== Background ===
			''' Prerequisites: Turing Machines '''

			To begin our work with the Busy Beaver function, we must first understand what it is about. The Busy Beaver Function BB(n) measures the maximum runtime of an n-state, 2-symbol Turing machine. It is a famous example of an uncomputable function, meaning no general algorithm can compute arbitrary values of BB(n). The general methodology for computing values of BB(n) requires us to decide whether or not all n-state 2-symbol Turing machines halt in search for the one with the longest runtime. We call unsolved machines ''Holdouts'', and we solve holdouts with a variety of methods. Automated computer programs called ''Deciders'', manually solving holdouts, and simulating holdouts, have all been critical to this project.

			'''Suggested Readings: '''
			* [https://bbchallenge.org/story#the-busy-beaver-function-bb Official Story page for BBChallenge]
			** This page was created while BB(5) was the main focus of BBChallenge, and is currently outdated. Nevertheless, it acts as a solid introduction to understanding this community.
			* [https://www.quantamagazine.org/busy-beaver-hunters-reach-numbers-that-overwhelm-ordinary-math-20250822/ Quanta Magazine Blog about BB(n)]
			** Writes about research efforts, and attempts to simplify some relevant concepts and explain them with analogies.

	~~What is the Busy Beaver problem? [https://bbchallenge.org/story#the-busy-beaver-function-bb]~~
	* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.

	In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]		In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]

Autumn-Pan: /* Getting Oriented */

2026-02-24T18:53:07Z

Getting Oriented

← Older revision		Revision as of 18:53, 24 February 2026
Line 10:		Line 10:
	* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.		* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.

			In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]

	We study the Busy Beaver function because it is uncomputable. That is, no algorithm can determine any given value of BB(n) in a finite number of steps. In fact, many formal systems that we use to study mathematics, like Peano arithmetic and Zermelo-Fraenkel set theory, fall short of being able to decide all values of BB(n).		We study the Busy Beaver function because it is uncomputable [https://www.comap.com/blog/blog-2/item/what-does-uncomputable-mean-busy-beaver-problem]. That is, no algorithm can determine any given value of BB(n) in a finite number of steps. In fact, many formal systems that we use to study mathematics, like Peano arithmetic and Zermelo-Fraenkel set theory[https://arxiv.org/abs/1605.04343], fall short of being able to decide all values of BB(n).
			* We're actually having ongoing discussions about its independence from Peano arithmetic, which is open to new contributors. [https://discord.com/channels/960643023006490684/1466652214247559198]

	~~In addition to the official story~~, a ~~number of YouTube videos have~~ also ~~been published on the Busy Beaver problem.~~[https://www.~~youtube~~.com/~~watch?v=CE8UhcyJS0I~~][https://~~www.youtube~~.com/~~watch?v=rmx3FBPzDuk~~]		=== First Steps ===
			The majority of our discussions happen on our discord server [https://discord.gg/nJRPHFQwFQ]. Furthermore, we now have a subreddit which is also open to everyone [https://www.reddit.com/r/BBChallenge/]. If you have any specific questions, feel free to ask them in our "beginners" channel [https://discord.com/channels/960643023006490684/1448375857046360094]
	<!-- The second video needs to be vetted]-->		<!-- The second video needs to be vetted]-->

Autumn-Pan: /* Getting Oriented */

2026-02-24T18:36:12Z

Getting Oriented

← Older revision		Revision as of 18:36, 24 February 2026
Line 1:		Line 1:
	<!-- This is the sequel and overhaul to Further-Reading -->		<!-- This is the sequel and overhaul to Further-Reading -->
	This page collects reading materials and learning resources, ranging from beginner-friendly texts to more cutting-edge research. It is highly recommended to look through this page as a beginner, since introductory texts are curated here. Commentary and original documentation will also be provided.		This page collects reading materials and learning resources, ranging from beginner-friendly texts to more cutting-edge research. It is highly recommended to look through this page as a beginner, since introductory texts are curated here. Commentary and original documentation will also be provided. Every outside link, including citations, is chosen carefully to not only cite sources, but serve as links to outside resources. The primary purpose for this article is to summarize parts of Busy Beaver research, and to generously append links to outside resources and readings to act as a starting point for learners.

	== Getting Oriented ==		== Getting Oriented ==
	This is a collection of general background knowledge on the Busy Beaver challenge and essential information for all niches.		This is a collection of general background knowledge on the Busy Beaver challenge and essential information for all niches.

			To begin our work with the Busy Beaver function, we must first understand what it is about.

	What is the Busy Beaver problem? [https://bbchallenge.org/story#the-busy-beaver-function-bb]		What is the Busy Beaver problem? [https://bbchallenge.org/story#the-busy-beaver-function-bb]
	* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.		* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.


			We study the Busy Beaver function because it is uncomputable. That is, no algorithm can determine any given value of BB(n) in a finite number of steps. In fact, many formal systems that we use to study mathematics, like Peano arithmetic and Zermelo-Fraenkel set theory, fall short of being able to decide all values of BB(n).

	In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]		In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]
	<!-- The second video needs to be vetted]		<!-- The second video needs to be vetted]-->

Autumn-Pan: Create page content

2026-02-24T15:18:02Z

Create page content

← Older revision		Revision as of 15:18, 24 February 2026
Line 1:		Line 1:
	<!-- This is the sequel and overhaul to Further-Reading -->		<!-- This is the sequel and overhaul to Further-Reading -->
			This page collects reading materials and learning resources, ranging from beginner-friendly texts to more cutting-edge research. It is highly recommended to look through this page as a beginner, since introductory texts are curated here. Commentary and original documentation will also be provided.

			== Getting Oriented ==
			This is a collection of general background knowledge on the Busy Beaver challenge and essential information for all niches.

			What is the Busy Beaver problem? [https://bbchallenge.org/story#the-busy-beaver-function-bb]
			* The first link is to the official story, which is outdated and deals with the fifth busy beaver value. However, it is still relevant for understanding the problem as a whole.
			In addition to the official story, a number of YouTube videos have also been published on the Busy Beaver problem.[https://www.youtube.com/watch?v=CE8UhcyJS0I][https://www.youtube.com/watch?v=rmx3FBPzDuk]
			<!-- The second video needs to be vetted]

Autumn-Pan: Created page with ""

2026-02-24T15:00:05Z

Created page with ""

New page