Busy Beaver for lambda calculus: Revision history

15 August 2025

• curprev 11:2911:29, 15 August 2025‎ Polygon talk contribs‎ 15,142 bytes −30‎ Removed the link as it is already given above
• curprev 09:5009:50, 15 August 2025‎ Polygon talk contribs‎ 15,172 bytes +36‎ Removed I and provided link to the wikipedia page for lambda calculus

14 August 2025

• curprev 18:2218:22, 14 August 2025‎ Polygon talk contribs‎ m 15,136 bytes −2‎ →‎Oracle Busy Beaver: Removed excess space in format
• curprev 18:0718:07, 14 August 2025‎ Sligocki talk contribs‎ m 15,138 bytes +2‎ →‎Oracle Busy Beaver: Consistent text format Tag: Visual edit
• curprev 18:0618:06, 14 August 2025‎ Sligocki talk contribs‎ m 15,136 bytes +2‎ →‎Oracle Busy Beaver: fix tex format Tag: Visual edit
• curprev 18:0318:03, 14 August 2025‎ Polygon talk contribs‎ 15,134 bytes +190‎ →‎Oracle Busy Beaver: Formatting of f(n)
• curprev 17:3917:39, 14 August 2025‎ Polygon talk contribs‎ 14,944 bytes +59‎ →‎Oracle Busy Beaver: Added conversion of f(41) to a number and lower bound
• curprev 17:3117:31, 14 August 2025‎ Polygon talk contribs‎ 14,885 bytes +66‎ →‎Oracle Busy Beaver: Added conversion of f(36) to a number and lower bound
• curprev 15:3715:37, 14 August 2025‎ Sligocki talk contribs‎ m 14,819 bytes +295‎ →‎Oracle Busy Beaver: Format Tag: Visual edit
• curprev 14:1614:16, 14 August 2025‎ Tromp talk contribs‎ 14,524 bytes +2,325‎ add oracle busy beaver Tag: Visual edit

26 July 2025

• curprev 19:2319:23, 26 July 2025‎ Qwerpiw talk contribs‎ 12,199 bytes +23‎ No edit summary

24 April 2025

• curprev 16:4616:46, 24 April 2025‎ Sligocki talk contribs‎ 12,176 bytes +132‎ →‎Champions: BBl(37) = BBl(35) + 2 Tag: Visual edit
• curprev 16:1316:13, 24 April 2025‎ Sligocki talk contribs‎ 12,044 bytes +1,285‎ Add Proof of Uncomputability Tag: Visual edit

17 April 2025

• curprev 15:1015:10, 17 April 2025‎ Sligocki talk contribs‎ m 10,759 bytes 0‎ →‎Champions

16 April 2025

• curprev 21:1421:14, 16 April 2025‎ Sligocki talk contribs‎ 10,759 bytes +9‎ →‎Champions: Merge rows for same bit count and add a few more co-champtions. Tag: Visual edit

15 April 2025

• curprev 20:2620:26, 15 April 2025‎ Sligocki talk contribs‎ 10,750 bytes −4‎ →‎Champions: Size 35,36 confirmed solved. Tag: Visual edit

12 April 2025

• curprev 19:2219:22, 12 April 2025‎ Mxdys talk contribs‎ m 10,754 bytes +76‎ update BBλ(46) champion (trivial) Tag: Visual edit

11 April 2025

• curprev 17:5517:55, 11 April 2025‎ Mxdys talk contribs‎ m 10,678 bytes −235‎ update BBλ(45) champion (trivial) Tag: Visual edit
• curprev 13:4613:46, 11 April 2025‎ Mxdys talk contribs‎ 10,913 bytes +328‎ update BBλ(43) champion Tag: Visual edit
• curprev 10:5410:54, 11 April 2025‎ Mxdys talk contribs‎ m 10,585 bytes +74‎ update BBλ(42) champion (trivial) Tag: Visual edit
• curprev 10:1710:17, 11 April 2025‎ Mxdys talk contribs‎ m 10,511 bytes +134‎ add champion of size 41 Tag: Visual edit
• curprev 09:1509:15, 11 April 2025‎ Racheline talk contribs‎ 10,377 bytes +375‎ updated champions from 40 to 48

10 April 2025

• curprev 20:3420:34, 10 April 2025‎ Sligocki talk contribs‎ 10,002 bytes −299‎ →‎Champions: Remove surpassed entries and split up long math block. Tag: Visual edit
• curprev 20:0420:04, 10 April 2025‎ Mxdys talk contribs‎ m 10,301 bytes +66‎ update BBλ(40) champion Tag: Visual edit
• curprev 18:2618:26, 10 April 2025‎ Mxdys talk contribs‎ m 10,235 bytes +4‎ fix typo in BBλ(36) Tag: Visual edit
• curprev 00:0000:00, 10 April 2025‎ Jacobzheng talk contribs‎ 10,231 bytes +1‎ No edit summary

8 April 2025

• curprev 21:3521:35, 8 April 2025‎ Sligocki talk contribs‎ 10,230 bytes −1‎ →‎Champions: BBl(34) confirmed Tag: Visual edit

30 March 2025

• curprev 03:2303:23, 30 March 2025‎ Sligocki talk contribs‎ 10,231 bytes +90‎ →‎Champions: Add second BBλ(30) champion Tag: Visual edit
• curprev 02:5202:52, 30 March 2025‎ Sligocki talk contribs‎ m 10,141 bytes +5‎ →‎Champions: Fix several Champions missing leading `\` Tag: Visual edit
• curprev 02:4802:48, 30 March 2025‎ Sligocki talk contribs‎ m 10,136 bytes −7‎ →‎Champions Tag: Visual edit
• curprev 02:4102:41, 30 March 2025‎ Sligocki talk contribs‎ 10,143 bytes +120‎ →‎Champions: normal form for BBλ(33) (surprisingly simple) Tag: Visual edit
• curprev 01:5301:53, 30 March 2025‎ Sligocki talk contribs‎ 10,023 bytes +219‎ →‎Champions: Add a few more normal forms Tag: Visual edit
• curprev 01:2101:21, 30 March 2025‎ Sligocki talk contribs‎ 9,804 bytes +242‎ →‎Champions: Add column for # beta reductions (meant for small values) and 2 new normal forms. Tag: Visual edit

29 March 2025

• curprev 20:2420:24, 29 March 2025‎ Sligocki talk contribs‎ 9,562 bytes +96‎ →‎Champions: Note that Graham term produces a Church numeral Tag: Visual edit
• curprev 20:0220:02, 29 March 2025‎ Sligocki talk contribs‎ 9,466 bytes +78‎ →‎Champions: Clarify Melo bound Tag: Visual edit
• curprev 18:4418:44, 29 March 2025‎ Sligocki talk contribs‎ 9,388 bytes −145‎ →‎Champions: Fix Graham attribution Tag: Visual edit
• 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..."