Dawkins, Gödel, Anselm ...

... Levi Asher on Why Logic Certainly Exists, and God Probably Does Too . (Hat tip, Dave Lull.)

A much more up-to-date version of the Ontological Proof is Kurt Gödel's Ontological Argument.