All public logs

Jump to navigation Jump to search

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs
  • 22:00, 17 August 2024 C7X talk contribs created page Talk:Champions (Created page with "==Larger champions== What are the known two-symbol champions beyond \(BB(16)\)? Vielhaber, Chacón, and Ceballos's paper "Friedman's 'Long Finite Sequences': The End of the Busy Beaver Contest" gives a \(2450\)-state two-symbol busy beaver halting after at least \(n(4)\) steps, where \(n\) is Friedman's block subsequence function, but this is a very large jump up in state count from \(14\) states for \(f_{\omega+1}(65536)\). (This paper has some mistakes with their (symb...")