Monthly Archives: February 2020

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”

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”