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 ...15 KB (2,015 words) - 21:24, 5 September 2025
- *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