Do You Believe in Γ0?
Some of the classic atheist criticisms of religion for allegedly using circular reasoning could be used against impredicative mathematics. Since impredicative mathematics is needed to prove that Γ0 is well ordered …
Speaking of religion
I have trouble reconciling 5 and 9 in the list of God's Top 10 Movie Messages to the World:
Could a refusal to condemn real sins lead to the abandonment of tradition? Could that, in turn, lead to a “God-shaped hole” that will be filled with some newfangled cult (e.g., deep ecology) instead of a religion old enough to be debugged?
9. On His unwillingness to condemn: "Frankly, my dear, I don't give a damn."
5. On what we are doing to the planet: "I'm as mad as hell, and I'm not going to take this anymore."
On the other hand, people who are willing to change their minds for no good reason on the side of lacking belief might be expect to also change their minds for no good reason in the direction of too much belief.