TMBR: August 2025: Difference between revisions

Revision as of 17:00, 13 August 2025

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

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

@@ Line 12: / Line 12: @@
 ==Blog Posts==
-==In the news==
+==In the News==
 ==Interesting TMs==
 [[Category:This Month in Beaver Research]]