All public logs

Combined display of all available logs of BusyBeaverWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 15:40, 28 March 2025 Sligocki talk contribs created page Busy Beaver for lambda calculus (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...")