TMBR: August 2025: Difference between revisions
Jump to navigation
Jump to search
(Capitalized "News" (Heading)) |
m (Link to new section in wiki.) |
||
| Line 7: | Line 7: | ||
==BB Adjacent== | ==BB Adjacent== | ||
*John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus | *John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus#Oracle Busy Beaver|Busy Beaver for lambda calculus with an oracle]] and computed it up to <math>BB \lambda _1(22)</math>. | ||
[[Category:This Month in Beaver Research]] | [[Category:This Month in Beaver Research]] | ||
Revision as of 15:38, 14 August 2025
This Month in Beaver Research for August 2025.
Champions
Holdouts
BB Adjacent
- John Tromp introduced the function for Busy Beaver for lambda calculus with an oracle and computed it up to .
