User:MrSolis/Playground: Difference between revisions

Revision as of 19:01, 1 February 2025 (view source) MrSolis (talk \| contribs) No edit summary ← Older edit		Latest revision as of 00:57, 17 February 2025 (view source) MrSolis (talk \| contribs) (Blanked the page) Tags: Blanking Manual revert
(16 intermediate revisions by the same user not shown)
Line 1:		Line 1:
	The 5-state busy beaver ([[BB(5)]]) winner is {{TM\|1RB1LC_1RC1RB_1RD0LE_1LA1LD_1RZ0LA\|halt}}. Discovered by Heiner Marxen and Jürgen Buntrock in 1989<ref>H. Marxen and J. Buntrock. Attacking the Busy Beaver 5. Bulletin of the EATCS, 40, pages 247-251, February 1990. https://turbotm.de/~heiner/BB/mabu90.html</ref>, this machine proved that <math>\Sigma(5)\ge 4098</math> and <math>\Sigma(5)\ge 4098</math> at the time.

Latest revision as of 00:57, 17 February 2025