Busy Beaver for lambda calculus - Revision history

Cppdsucker: formatting

2026-04-14T05:51:01Z

formatting

← Older revision		Revision as of 05:51, 14 April 2026
Line 196:		Line 196:
	\|38 \|\| <math>= 5\cdot{2^{2^{2^{2^2}}}} + 6</math>		\|38 \|\| <math>= 5\cdot{2^{2^{2^{2^2}}}} + 6</math>
	\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF		\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF & CppDS & mxdys & sligocki & dyuan & charles
	CppDS &
	mxdys &
	sligocki & dyuan & charles
	\|-		\|-
	\|39 \|\| <math>\ge 10^{10^{12}}</math>		\|39 \|\| <math>\ge 10^{10^{12}}</math>

Cppdsucker: People who helped prove the value

2026-04-14T05:50:05Z

People who helped prove the value

← Older revision		Revision as of 05:50, 14 April 2026
Line 197:		Line 197:
	\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF		\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF
			CppDS &
			mxdys &
			sligocki & dyuan & charles
	\|-		\|-
	\|39 \|\| <math>\ge 10^{10^{12}}</math>		\|39 \|\| <math>\ge 10^{10^{12}}</math>

Cppdsucker: dot

2026-04-12T21:58:19Z

dot

← Older revision		Revision as of 21:58, 12 April 2026
Line 194:		Line 194:
	\| <math>\lambda x. C(3^{3^3})</math>\|\|mxdys & JT & dyuan & sligocki		\| <math>\lambda x. C(3^{3^3})</math>\|\|mxdys & JT & dyuan & sligocki
	\|-		\|-
	\|38 \|\| <math>= 5*{2^{2^{2^{2^2}}}} + 6</math>		\|38 \|\| <math>= 5\cdot{2^{2^{2^{2^2}}}} + 6</math>
	\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF		\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF

Cppdsucker: BB(38) new results!!!!!

2026-04-12T21:53:57Z

BB(38) new results!!!!!

← Older revision		Revision as of 21:53, 12 April 2026
Line 194:		Line 194:
	\| <math>\lambda x. C(3^{3^3})</math>\|\|mxdys & JT & dyuan & sligocki		\| <math>\lambda x. C(3^{3^3})</math>\|\|mxdys & JT & dyuan & sligocki
	\|-		\|-
	\|38 \|\| <math>~~\ge 10~~^{10^4}</math>		\|38 \|\| <math>= 5*{2^{2^{2^{2^2}}}} + 6</math>
	\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF		\| <math>C(2^{2^{2^{2^2}}})</math>\|\| JT & BF
Line 556:		Line 556:
	* [https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 Binary Lambda Calculus]. John Tromp.		* [https://gist.github.com/tromp/86b3184f852f65bfb814e3ab0987d861 Binary Lambda Calculus]. John Tromp.
	* https://github.com/tromp/AIT/tree/master/BB		* https://github.com/tromp/AIT/tree/master/BB
			* https://docs.google.com/spreadsheets/d/1jZ6TK9m3xmXUlC69727T-8WwvhALcsp8FrK6DzgThtw
	[[category:Functions]]		[[category:Functions]]

Azerty: /* De Bruijn */

2026-04-11T16:35:57Z

De Bruijn

← Older revision		Revision as of 16:35, 11 April 2026
Line 468:		Line 468:

	For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.		For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.
	{\| class="wikitable" ~~mw-collapsible~~		{\| class="wikitable"
	!BBλ_db(n)		!BBλ_db(n)
	!Value		!Value

Azerty: /* De Bruijn */

2026-04-11T16:35:15Z

De Bruijn

← Older revision		Revision as of 16:35, 11 April 2026
Line 468:		Line 468:

	For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.		For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.
	{\| class="wikitable" mw="collapsible"		{\| class="wikitable" mw-collapsible
	!BBλ_db(n)		!BBλ_db(n)
	!Value		!Value

Azerty: /* De Bruijn */

2026-04-11T16:34:16Z

De Bruijn

← Older revision		Revision as of 16:34, 11 April 2026
Line 468:		Line 468:

	For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.		For n < 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20.
	{\| class="wikitable"		{\| class="wikitable" mw="collapsible"
	!BBλ_db(n)		!BBλ_db(n)
	!Value		!Value

Azerty: /* De Bruijn */ Updated length 14 champion.

2026-03-23T21:22:11Z

De Bruijn: Updated length 14 champion.

← Older revision		Revision as of 21:22, 23 March 2026
Line 510:		Line 510:
	\|-		\|-
	\|14		\|14
	\|<math>> 10 {\~~uparrow~~}^{3} ~~10 {~~\~~uparrow}^{3} 10 {~~\~~uparrow}^{3} 16~~</math>		\|<math>> f_{\omega}\left(f_{5}\left(2\right)\right)</math>
	\|<code>(\~~1 1~~ 1 1 1) (\1 (\\2 (2 1)) 1)</code>		\|<code>(\1 1 1) (\\1 (1 2) (\\2 (2 1)))</code>
	\|		\|50_ft_lock
	\|-		\|-
	\|15		\|15

Tromp: /* Champions */

2026-02-28T11:26:18Z

Champions

← Older revision		Revision as of 11:26, 28 February 2026
Line 277:		Line 277:
	\|<math>(\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-		\|-
	\|...		\|...
Line 289:		Line 289:
	\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-		\|-
	\|...		\|...
Line 301:		Line 301:
	\|<math>(\lambda 1 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-		\|-
	\|95		\|95
Line 307:		Line 307:
	\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 (2 1)))</math>		\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 (2 1)))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-		\|-
	\|96		\|96
Line 313:		Line 313:
	\|<math>(\lambda 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-\|\|\|\|\|\|-		\|-\|\|\|\|\|\|-
	\|100		\|100
Line 319:		Line 319:
	\|<math>(\lambda 1 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|[https://~~discord~~.com/~~channels~~/~~206932820206157824~~/~~211220899179921408~~/~~1477192507917078548~~ Patcail]		\|[https://docs.google.com/document/d/1xlzaEQGarqnCocf4R2UWfqE3ck8YF_P32CmYxGXLhAI/edit?tab=t.0 Patcail]
	\|-\|\|\|\|\|\|-		\|-\|\|\|\|\|\|-
	\|201		\|201

Tromp: /* Champions */

2026-02-28T11:24:38Z

Champions

← Older revision		Revision as of 11:24, 28 February 2026
Line 277:		Line 277:
	\|<math>(\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-		\|-
	\|...		\|...
Line 289:		Line 289:
	\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-		\|-
	\|...		\|...
Line 301:		Line 301:
	\|<math>(\lambda 1 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-		\|-
	\|95		\|95
Line 307:		Line 307:
	\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 (2 1)))</math>		\|<math>(\lambda 1 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 (2 1)))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-		\|-
	\|96		\|96
Line 313:		Line 313:
	\|<math>(\lambda 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-\|\|\|\|\|\|-		\|-\|\|\|\|\|\|-
	\|100		\|100
Line 319:		Line 319:
	\|<math>(\lambda 1 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>		\|<math>(\lambda 1 1 (\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|
	\|Patcail		\|[https://discord.com/channels/206932820206157824/211220899179921408/1477192507917078548 Patcail]
	\|-\|\|\|\|\|\|-		\|-\|\|\|\|\|\|-
	\|201		\|201