The Busy Beaver Challenge

Here, we collaboratively attempt at creating a zoology of the machines of the busy beaver challenge in order to classify their behavior.

Here, we list and discuss the deciders of the busy beaver challenge, come to present yours!

Here we discuss heuristics that allow to informally decide or categorize machines.

Here, we discuss the construction of the seed database of the busy beaver challenge. Technical help is given for interacting with the database.

Here is the place to ask for general help about the busy beaver challenge.

Here, we discuss individual machines of the busy beaver challenge. It is the place to share proofs of non-termination or termination of specific machines.

Here, we share any efforts to independently reproduce results of the busy beaver challenge. For instance, re-constructing the seed database or re-writing deciders.

Here is the place to share outreach or teaching experiences in relation to the busy beaver problem. You are invited to share outreach & teaching material.

Here is the place for meta talk and feedback about the busy beaver challenge.