See, this is why I love this place so much. I'd never heard of Church Numerals before. From the wikipedia entry:
>Many students of mathematics are familiar with Gödel numbering members of a set; Church encoding is an equivalent operation defined on lambda abstractions instead of natural numbers.
Utter clarity. Or, at least as clear as the python code the original post points to :-)
I had a buddy of mine in highschool who used to bring that book with him every time we took LSD. Of course, he's now got his Ph.D. in physics from Purdue.
