On Reddit, u/spriteguard asks:
Do you have any diagrams of smaller numbers for comparison? I’d love to see a whole sequence of these.
I have work to put off, so I couldn’t resist the challenge. Like the previous post, these are Tromp diagrams showing lambda calculus expressions that evaluate to Church integers.
Code to generate these diagrams is on Github; I generated these with the command
./trylambda --outdir /tmp/out demofiles/smallernums.olc demofiles/graham.olc demofiles/fgh.olc demofiles/slow.olc
3 thoughts on “Some more numbers as lambda calculus”
how would TREE(3), SCG(13) and Loader’s Number look in a Tromp diagram?
I don’t understand these numbers well enough to implement them myself. I encourage you to download my software and implement them!