User contributions for Azerty

A user with 238 edits. Account created on 15 August 2024.
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽
(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)

11 February 2026

7 February 2026

  • 17:3417:34, 7 February 2026 diff hist +2,406 N User:Azerty/Lambda Calculus Busy Beaver 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)..." current Tag: Visual edit

6 February 2026

5 February 2026

26 January 2026

23 January 2026

18 January 2026

16 January 2026

15 January 2026

11 January 2026

5 January 2026

4 January 2026

2 January 2026

1 January 2026

31 December 2025

30 December 2025

29 December 2025

28 December 2025

(newest | oldest) View (newer 50 | ) (20 | 50 | 100 | 250 | 500)