Search results
Jump to navigation
Jump to search
- ...://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 Size is measured in bits using [https://tromp.github.io/cl/Binary_lambda_calculus.html Binary Lambda Calculus] which is a ...20 KB (2,751 words) - 23:26, 16 February 2026
- ...ng [https://en.wikipedia.org/wiki/Laver_table q(5)] was discovered by John Tromp, Bertram Felgenhauer, and 50_ft_lock. ...5 KB (602 words) - 02:24, 25 February 2026
- * 28 Jan 2026. John Tromp. [https://tromp.github.io/blog/2026/01/28/largest-number-revised The largest number represe ...8 KB (855 words) - 13:41, 20 February 2026
- *John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for ...9 KB (1,210 words) - 19:50, 28 September 2025
- ...24283678/1413637783045542038 announcement on Discord], [https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/bms.lam Code]). This is an imp ...10 KB (1,224 words) - 07:59, 4 October 2025
- * John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for ...18 KB (2,386 words) - 13:45, 20 February 2026