If anybody has access to Jstor and some basic ability to read logic or mathematics, I strongly recommend this paper by Robert K Meyer. It is a satirical (and yet rigorous) proof that the statement "God exists" is formally equivalent to the Axiom of Choice, and a demonstration that this provides some support for the traditional cosmological argument. He thoughtfully suggests that perhaps Aquinas has been done a historical injustice when the AoC was credited to Zermelo rather than him.
For the record, I came across the paper while reading David Chalmers' touching tribute to Meyer on his blog.
Hello world!
6 months ago
