Math Nerdery

Well, perhaps the title is not quite accurate. More precisely, I'll be revealing my logic and philosophy nerdery, though this is one of those subjects where the three fields blend together (as they so often do).

I've been reading (really just looking through it before giving it a good read) Types, Tableaus, and Gödel's God. It requires at least a familiarity with symbolic logic, though it provides a number of introductory chapters to cover symbolic logic and modal logic, knowledge of which is necessary to understand the argument. The subject of the book is Kurt Gödel's version of the hoary ontological argument for the existence of God. Good stuff.