User:Polygon/Collection of BB Champions - Revision history

Polygon: /* Pebble Automation (peBBle(n)) */ value for 7 exact

2026-10-19T13:27:53Z

Pebble Automation (peBBle(n)): value for 7 exact

2026-10-18T09:13:26Z

Regular Busy Beaver for Lambda Calculus (BBλ(n)): Added BBλ(82) champion

← Older revision		Revision as of 09:13, 18 October 2026
Line 1,249:		Line 1,249:
	\|<math>>f_{\omega^{\omega^{14}}}(2)</math>		\|<math>>f_{\omega^{\omega^{14}}}(2)</math>
	\|<math>(\lambda111(\lambda\lambda\lambda\lambda14321)1111)(\lambda\lambda2(21))</math>		\|<math>(\lambda111(\lambda\lambda\lambda\lambda14321)1111)(\lambda\lambda2(21))</math>
			\|-
			\|BBλ(82)
			\|<math>> f_{\omega^{\omega^{\omega}}}(2\uparrow\uparrow\uparrow\uparrow18)</math>
			\|<math>(\lambda1(\lambda1(\lambda\lambda\lambda\lambda14321)1111)1)(\lambda\lambda2(21))</math>
	\|-		\|-
	\|BBλ(86)		\|BBλ(86)

2026-10-18T09:02:29Z

Busy Beaver for SKI calculus: Updated bounds

2026-10-17T12:07:57Z

Blanking Busy Beaver (BLB(n,m)): consistency

← Older revision		Revision as of 12:07, 17 October 2026
Line 598:		Line 598:
	\|-		\|-
	\|BLB(2)		\|BLB(2)
	\|8<ref name=":3">Nick Drozd. "[https://nickdrozd.github.io/2021/02/14/blanking-beavers.html Blanking Beavers]". Accessed 15 August 2025.</ref>		\|8<ref name=":3">Nick Drozd, "[https://nickdrozd.github.io/2021/02/14/blanking-beavers.html Blanking Beavers]". Accessed 15 August 2025.</ref>
	\|{{TM\|1RB0RA_1LB1LA}}		\|{{TM\|1RB0RA_1LB1LA}}
	\|-		\|-
	\|BLB(3)		\|BLB(3)
	\|34<ref name=":4">Nick Drozd. "[https://nickdrozd.github.io/2022/02/11/latest-beeping-busy-beaver-results.html Latest Beeping Busy Beaver Results]". Accessed 15 August 2025.</ref>		\|34<ref name=":4">Nick Drozd, "[https://nickdrozd.github.io/2022/02/11/latest-beeping-busy-beaver-results.html Latest Beeping Busy Beaver Results]". Accessed 15 August 2025.</ref>
	\|{{TM\|1RB1LB_1LA1LC_1RC0LC}}		\|{{TM\|1RB1LB_1LA1LC_1RC0LC}}
	\|-		\|-

2026-10-17T12:07:18Z

Blanking Busy Beaver (BLB(n,m)): fixed typo #2

← Older revision		Revision as of 12:07, 17 October 2026
Line 636:		Line 636:
	\|-		\|-
	\|BLB(3,3)		\|BLB(3,3)
	\|> 10 ↑↑ 6.54<ref name=":Nick ~~Drozed~~ Tetrational Blank26">Nick Drozd. "[https://nickdrozd.github.io/2026/09/01/tetrational-self-cleaning-turing-machine.html A Tetrational Self-Cleaning Turing Machine]". Blog post. Accessed 17 October 2026.</ref>		\|> 10 ↑↑ 6.54<ref name=":Nick Drozd Tetrational Blank26">Nick Drozd. "[https://nickdrozd.github.io/2026/09/01/tetrational-self-cleaning-turing-machine.html A Tetrational Self-Cleaning Turing Machine]". Blog post. Accessed 17 October 2026.</ref>
	\|{{TM\|1RB1RC2RA_0RC2RA0RB_2LC2LB0LA}}		\|{{TM\|1RB1RC2RA_0RC2RA0RB_2LC2LB0LA}}
	\|}		\|}

2026-10-17T12:06:53Z

Beeping Busy Beaver (BBB(n,m)): fixed typo #1

← Older revision		Revision as of 12:06, 17 October 2026
Line 390:		Line 390:
	\|-		\|-
	\|BBB(3,3)		\|BBB(3,3)
	\|≥ 10 ↑↑ 6.74<ref name=":Nick ~~Drozed~~ Tetrational Blank26" />		\|≥ 10 ↑↑ 6.74<ref name=":Nick Drozd Tetrational Blank26" />
	\|{{TM\|1RB0LB2LA_1LA0RC0LB_2RC2RB0LC}}		\|{{TM\|1RB0LB2LA_1LA0RC0LB_2RC2RB0LC}}
	\|}		\|}

2026-10-17T12:03:30Z

Beeping Busy Beaver (BBB(n,m)): More precise BBB(3,3) value

← Older revision		Revision as of 12:03, 17 October 2026
Line 390:		Line 390:
	\|-		\|-
	\|BBB(3,3)		\|BBB(3,3)
	\|≥ 10 ↑↑ 6		\|≥ 10 ↑↑ 6.74<ref name=":Nick Drozed Tetrational Blank26" />
	\|{{TM\|1RB0LB2LA_1LA0RC0LB_2RC2RB0LC}}		\|{{TM\|1RB0LB2LA_1LA0RC0LB_2RC2RB0LC}}
	\|}		\|}

2026-10-17T12:02:55Z

Blanking Busy Beaver (BLB(n,m)): more precise BLB(3,3) value

← Older revision		Revision as of 12:02, 17 October 2026
Line 636:		Line 636:
	\|-		\|-
	\|BLB(3,3)		\|BLB(3,3)
	\|> 10 ↑↑ 6		\|> 10 ↑↑ 6.54<ref name=":Nick Drozed Tetrational Blank26">Nick Drozd. "[https://nickdrozd.github.io/2026/09/01/tetrational-self-cleaning-turing-machine.html A Tetrational Self-Cleaning Turing Machine]". Blog post. Accessed 17 October 2026.</ref>
	\|{{TM\|1RB1RC2RA_0RC2RA0RB_2LC2LB0LA}}		\|{{TM\|1RB1RC2RA_0RC2RA0RB_2LC2LB0LA}}
	\|}		\|}

2026-10-17T09:57:20Z

Maximum Space Function (BrBspace(n)): sup --> sub

← Older revision		Revision as of 09:57, 17 October 2026
Line 2,493:		Line 2,493:
	\|}		\|}

	=== Maximum Space Function (BrB<~~sup~~>space</sub>(n)) ===		=== Maximum Space Function (BrB<sub>space</sub>(n)) ===
	{\| class="wikitable"		{\| class="wikitable"
	\|+		\|+

2026-10-17T09:56:54Z

Wang Tiles (BBWT(n)): Added Branching Beaver

@@ Line 2,458: / Line 2,458: @@
+|
+|
 |}