On the Big Ideas Blog there is a post about the different types of reasoning, Analytic vs. Synthetic, and their relevance to the existence or non-existence of God. But, my favorite passage was one concerning we mathematicians:
The requirement of reasonableness might be illustrated as follows. Imagine Tom, John and Jane live in a country run entirely by mathematicians. Their whole culture is built on analytic thinking — only water-tight logical proofs are considered to have any real force. Well, then it would hardly matter how careless Tom had been in disguising the murder, since any number of outlandish explanations for his innocence might be put forward. If you require that Tom is innocent until analytically proven guilty then he’ll get off scot-free, as will every other criminal. This is why mathematicians are rarely given anything important to do.
(Emphasis mine). Yep, we'll just stick to proofs and blogging!












Similarly, the idea of a supernatural being is a bit tough to deal with because the traditional definitions of omniscience and power create logical contradictions that can never be true (such as can god create a rock so large he can't lift it). In most cases, people only assume that a divine being isn't subject to his own rules).
What really seems interesting, is that all the explanations seem to focus on human-oriented values and objectives, so the most compelling argument against a divine being is that he couldn't be that petty and trivial. Therefore if the descriptions are wrong, then there's little point in postulating something for which even the basics are erroneous.