Category | Topics |
---|---|
8
|
|
9
|
|
12
|
|
HeuristicsHere we discuss heuristics that allow to informally decide or categorize machines.
|
3
|
Seed databaseHere, we discuss the construction of the seed database of the busy beaver challenge. Technical help is given for interacting with the database.
|
3
|
HelpHere is the place to ask for general help about the busy beaver challenge.
|
0
|
Individual machinesHere, we discuss individual machines of the busy beaver challenge. It is the place to share proofs of non-termination or termination of specific machines.
|
15
|
Results reproductionHere, we share any efforts to independently reproduce results of the busy beaver challenge. For instance, re-constructing the seed database or re-writing deciders.
|
8
|
Outreach & teachingHere is the place to share outreach or teaching experiences in relation to the busy beaver problem. You are invited to share outreach & teaching material.
|
0
|
Meta & feedbackHere is the place for meta talk and feedback about the busy beaver challenge.
|
6
|
2
|