Zany Zoo

These functions, values, and concepts arise in the discussion of halting Turing machines. The busy beaver is the archetypical member of the zany zoo. James Harland has coined the alliterative terms besides Rado's busy beaver.

This category includes one of the fastest-growing sequences in all of mathematics, namely that of the uncomputable functions.