TMBR: August 2025: Difference between revisions
Jump to navigation
Jump to search
(Add Tromp's BBl_1. Remove BBi TNF function for now, I think that is relatively unnotable at the moment.) |
m (Improved sentence) |
||
| Line 7: | Line 7: | ||
==BB Adjacent== | ==BB Adjacent== | ||
*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 | *John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for lambda calculus]] with an oracle and computed it up to <math>BB \lambda _1(22)</math>. https://oeis.org/A385712 | ||
[[Category:This Month in Beaver Research]] | [[Category:This Month in Beaver Research]] | ||
Revision as of 14:36, 13 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 . https://oeis.org/A385712
