El castor afanoso (busy beaver) es la máquina de Turing con n estados que escribe el máximo número de palotes (unos) antes de parar a partir de una cinta vacía; la función castor afanoso BB(n) es dicho número máximo de palotes. Se sabe que BB(1)=1, BB(2)=6, BB(3)=21, BB(4)=107; se conjeturó en 1990 que BB(5) ≥ 47.176.870. El Busy Beaver Challenge anunció el 2 de julio que logró demostrar que BB(5)=47.176.870. Prueba que todas las máquinas de Turing con 5 estados que ejecutan más de 47.176.870 pasos nunca paran; ninguna es un castor afanoso.

Sus teoremas de incompletitud destruyeron la búsqueda de una teoría matemática completa y consistente que lo pudiera explicar todo. Casi un siglo después, aún estamos aceptando las consecuencias.