Talk:Busy beaver function

Archive 1

It seems that overall the term "busy beaver function" is more popular. Should we consider moving this page? -- vel! 19:23, September 5, 2015 (UTC)