Lambda Calculus - Revision history

Tromp: /* Oracle Busy Beaver */

2026-09-25T12:50:30Z

Oracle Busy Beaver

2026-09-24T11:55:03Z

Oracle Busy Beaver: fixed bug

2026-09-24T10:41:55Z

Champions: Updated laver note based on new information

← Older revision		Revision as of 10:41, 24 September 2026
Line 361:		Line 361:
	\|- \|\|\|\|\|\|-		\|- \|\|\|\|\|\|-
	\|201		\|201
	\| > q(5~~) (not known to exist or how it relates to other lower bounds~~)		\| > q(5)
	\|too large to show		\|too large to show
	\|		\|q is only proven to exceed all functions provably recursive in PA; the true value is likely much larger based on informal analysis
	\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/laver.lam JT & BF & 50_ft_lock]		\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/laver.lam JT & BF & 50_ft_lock]
	\|- \|\|\|\|\|\|-		\|- \|\|\|\|\|\|-

2026-09-23T20:44:22Z

Champions

← Older revision		Revision as of 20:44, 23 September 2026
Line 376:		Line 376:
	\|too large to show		\|too large to show
	\|		\|
	\|[https://codegolf.stackexchange.com/questions/176966/golf-a-number-bigger-than-loaders-number/274634#274634 JT & DropperAUGL]		\|[https://codegolf.stackexchange.com/questions/176966/golf-a-number-bigger-than-loaders-number/274634#274634 JT & BF & DropperAUGL]
	\|}		\|}

2026-09-23T20:41:01Z

Champions

← Older revision		Revision as of 20:41, 23 September 2026
Line 370:		Line 370:
	\|too large to show		\|too large to show
	\|		\|
	\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam Patcail & JT & 50_ft_lock ~~& DropperAUGL~~]		\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam Patcail & JT & 50_ft_lock]
	\|- \|\|\|\|\|\|-		\|- \|\|\|\|\|\|-
	\|1797		\|1797
Line 376:		Line 376:
	\|too large to show		\|too large to show
	\|		\|
	\|[https://codegolf.stackexchange.com/questions/176966/golf-a-number-bigger-than-loaders-number/274634#274634 JT]		\|[https://codegolf.stackexchange.com/questions/176966/golf-a-number-bigger-than-loaders-number/274634#274634 JT & DropperAUGL]
	\|}		\|}

2026-09-23T20:40:05Z

Champions

← Older revision		Revision as of 20:40, 23 September 2026
Line 370:		Line 370:
	\|too large to show		\|too large to show
	\|		\|
	\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam Patcail & JT & 50_ft_lock]		\|[https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam Patcail & JT & 50_ft_lock & DropperAUGL]
	\|- \|\|\|\|\|\|-		\|- \|\|\|\|\|\|-
	\|~~1850~~		\|1797
	\|> D⁵(99) = Loader's number		\|> D⁵(99) = Loader's number
	\|too large to show		\|too large to show

2026-09-20T04:21:25Z

Reverted, 2^2^2^2 shows the structure of the term better than 65536

← Older revision		Revision as of 04:21, 20 September 2026
Line 217:		Line 217:
	\|34 \|\| = 327686		\|34 \|\| = 327686
	\| <math>(\lambda 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(~~65536~~)</math>\|\| JT & BF		\| <math>C(2^{2^{2^2}})</math>\|\| JT & BF
	\|-		\|-
	\|35 \|\| <math>= 5 \cdot 3^{3^3} + 6</math>		\|35 \|\| <math>= 5 \cdot 3^{3^3} + 6</math>

2026-09-17T20:05:07Z

Made 2^2^2^2 to 65536

← Older revision		Revision as of 20:05, 17 September 2026
Line 217:		Line 217:
	\|34 \|\| = 327686		\|34 \|\| = 327686
	\| <math>(\lambda 1 1 1 1) (\lambda\lambda 2 (2 1))</math>		\| <math>(\lambda 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\| <math>C(~~2^{2^{2^2}}~~)</math>\|\| JT & BF		\| <math>C(65536)</math>\|\| JT & BF
	\|-		\|-
	\|35 \|\| <math>= 5 \cdot 3^{3^3} + 6</math>		\|35 \|\| <math>= 5 \cdot 3^{3^3} + 6</math>

2026-09-05T03:04:35Z

Champions

← Older revision		Revision as of 03:04, 5 September 2026
Line 313:		Line 313:
	\|-		\|-
	\|86		\|86
	\|<math>> f_{\omega^{\~~omega^{2}~~}}\left(2\right)</math>		\|<math>> f_{\omega^{\omega65536}}\left(2\right)</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>		\|<math>(\lambda 1 (\lambda\lambda\lambda\lambda 1 4 4 4 3 2 1) 1 1 1 1) (\lambda\lambda 2 (2 1))</math>
	\|		\|

2026-08-19T19:49:12Z

all-capitals Tree

← Older revision		Revision as of 19:49, 19 August 2026
Line 337:		Line 337:
	\|-		\|-
	\|94		\|94
	\|<math>> f_{\psi(\Omega_\omega)}\left(12\right)</math> > ~~Tree~~(G64)		\|<math>> f_{\psi(\Omega_\omega)}\left(12\right)</math> > TREE(G64)
	\|<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>
	\|		\|