I've been messing around with code that creates symbolic definitions of the number one for quite a while: these blog posts show some of the results. All this messing around has culminated in a web app:
http://somerby.net/mack/definitions/. With it, you can expand Quine's definition of the number one interactively in various ways, and also many other of his definitions. What fun!