When non-mathematicians ask me to tell them something interesting about math, I show them the lambda calculus. It's straightforward and there's a kind of narra

When non-mathematicians ask me to tell them something interesting about math, I show them the lambda calculus. It's straightforward and there's a kind of narrative involved when talking about reduction. Then it's fun to blow their minds with how this simple rewriting process can be used to implement anything that a computer can do.