Busy Beaver for lambda calculus: Revision history

29 March 2025

• curprev 11:3611:36, 29 March 2025 Racheline talk contribs 9,533 bytes +795 added some more values, fixed bounds, and removed my name because i dont feel comfortable being credited for trivial things like that. also since the 37 row is empty, i don't understand what it would mean to credit someone for it, so maybe we should remove that too?

28 March 2025

• curprev 20:5120:51, 28 March 2025 Tromp talk contribs 8,738 bytes +1 →Champions
• curprev 20:5020:50, 28 March 2025 Tromp talk contribs 8,737 bytes +198 add Loader's number
• curprev 20:4320:43, 28 March 2025 Tromp talk contribs 8,539 bytes −7 →Champions
• curprev 20:4220:42, 28 March 2025 Tromp talk contribs 8,546 bytes +5 Melo's 49 program exceeding Graham's Tag: Visual edit: Switched
• curprev 20:3020:30, 28 March 2025 Sligocki talk contribs 8,541 bytes +470 →Champions: Proper credit for discovery Tag: Visual edit
• curprev 20:2820:28, 28 March 2025 Sligocki talk contribs 8,071 bytes +296 →Champions: Add 63-bit Graham champ Tag: Visual edit
• curprev 20:1820:18, 28 March 2025 Sligocki talk contribs 7,775 bytes +94 →Champions: Add some extended base 10 bounds Tag: Visual edit
• curprev 15:5815:58, 28 March 2025 Sligocki talk contribs 7,681 bytes +315 →Champions: Add middle champions Tag: Visual edit
• curprev 15:4915:49, 28 March 2025 Sligocki talk contribs m 7,366 bytes +289 →Champions Tag: Visual edit
• curprev 15:4615:46, 28 March 2025 Sligocki talk contribs 7,077 bytes −25 →Champions: Fix math in table
• curprev 15:4015:40, 28 March 2025 Sligocki talk contribs 7,102 bytes +7,102 Created page with "'''Busy Beaver for lambda calculus''' ('''BBλ''') is a variation of the Busy Beaver problem for [https://en.wikipedia.org/wiki/Lambda_calculus lambda calculus] invented by John Tromp. BBλ(n) = the maximum normal form size of any closed lambda term of size n. If you are not familiar with lambda calculus and beta-reduction, I recommend starting with that article. Size is measured in bits using [https://tromp.github.io/cl/Binary_lambda_calculus.html Binary Lambda Cal..."