TMBR: August 2025: Difference between revisions
Jump to navigation
Jump to search
m (Link to new section in wiki.) |
No edit summary |
||
| Line 8: | Line 8: | ||
==BB Adjacent== | ==BB Adjacent== | ||
*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>. | *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>. | ||
* Greedy Busy Beaver gBBi(n) was made. | |||
[[Category:This Month in Beaver Research]] | [[Category:This Month in Beaver Research]] | ||
Revision as of 16:23, 16 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 .
- Greedy Busy Beaver gBBi(n) was made.
