TMBR: August 2025: Difference between revisions

Revision as of 18:14, 12 August 2025

This article is a stub. You can help the BusyBeaverWiki by expanding it.

John Tromp introduced $BB\lambda _{1}(n)$ function for Busy Beaver for lambda calculus with an oracle and computed up to $BB\lambda _{1}(22)$ . https://oeis.org/A385712

@@ Line 1: / Line 1: @@
 {{Stub}}
-This month in busy beaver for August 2025.
+[[:Category:This Month in Beaver Research|This Month in Beaver Research]] for August 2025.
 ==Champions==
@@ Line 7: / Line 7: @@
 ==BB Adjacent==
-*The function Tree Normal Form (TNF) for [[Instruction-Limited Busy Beaver|BBi]] was introduced.
+*John Tromp introduced <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus]] with an oracle and computed up to <math>BB \lambda _1(22)</math>. https://oeis.org/A385712
 [[Category:This Month in Beaver Research]]