Some more numbers as lambda calculus

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 generateContinue reading “Some more numbers as lambda calculus”

A picture of Graham’s Number

One of the first posts I made on this blog was Lambda calculus and Graham’s number, which set out how to express the insanely large number known as Graham’s Number precisely and concisely using lambda calculus. A week ago, Reddit user u/KtoProd asked: if I wanted to get a Graham’s Number tattoo, how should IContinue reading “A picture of Graham’s Number”