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 ...21 KB (2,891 words) - 05:51, 14 April 2026
- * 28 Jan 2026. John Tromp. [https://tromp.github.io/blog/2026/01/28/largest-number-revised The largest number represe ...8 KB (875 words) - 21:01, 11 April 2026
- ...ng [https://en.wikipedia.org/wiki/Laver_table q(5)] was discovered by John Tromp, Bertram Felgenhauer, and 50_ft_lock. ...10 KB (1,061 words) - 01:56, 17 April 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,239 words) - 18:18, 11 April 2026
- * John Tromp introduced the <math>BB \lambda _1(n)</math> function for [[Busy Beaver for ...18 KB (2,390 words) - 15:04, 19 April 2026