Jade on The Busy Beaver Problem

See On Non-Computable Functions by T. Rado (1961). Also his 1962 paper which is hard to find, but the JSL "reviewed" it:

See this outdated survey: The Busy Beaver Competition: a historical survey and https://bbchallenge.org/.

Subscribe to Up And Atom.

Comments

Popular posts from this blog

Live Science - Leonardo da Vinci's Ancestry

Steven Johnson - So You Think You Know How to Take Derivatives?