User:Azerty/Lambda Calculus Busy Beaver: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

7 February 2026

  • curprev 17:3417:34, 7 February 2026 Azerty talk contribs 2,406 bytes +2,406 Created page with "We can use De Bruijn index instead of binary to evaluate lambda calculus size. To get the size of an expression, convert it into De Bruijn index then count the number of lambdas / backslashes and numbers. By example, <code>(\1 1) (\\2 (1 2))</code> is size 8 because it has 3 backslashes and 5 numbers. For n ≤ 7, BBλ_db(n) = n is trivial and can be achieved via picking any size n term already in normal form, like BBλ(m) for m ≤ 20. {| class="wikitable" !BBλ_db(n)..." Tag: Visual edit
Retrieved from "https://wiki.bbchallenge.org/wiki/User:Azerty/Lambda_Calculus_Busy_Beaver"