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 ...17 KB (2,206 words) - 14:58, 1 January 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 * Patcail and [https://github.com/tromp/AIT/blob/master/fast_growing_and_conjectures/melo.lam Gustavo Melo] discove ...24 KB (3,237 words) - 16:36, 7 January 2026