@drq I was just reading I Am a Strange Loop by Douglas R. Hofstadter recently, and there's a big discussion of Principia Mathematica in there. :)