Students of math and science among our readers will probably have heard of Kurt G�del, one of the premier mathematicians and logicians of the 20th century. G�del was brilliant. It also turns out that he was a committed theist. Hector Rosario has an interesting article on G�del's theism at Metanexus. Here's a part of it:
Kurt G�del, the preeminent mathematical logician of the twentieth century, is best known for his celebrated Incompleteness Theorems; yet he also had a profound rational theology worthy of serious consideration. "The world is rational," asserted G�del, evoking philosophical theism, "according to which the order of the world reflects the order of the supreme mind governing it."
G�del was a self-confessed theist, going as far as developing an ontological argument in an attempt to prove the existence of God. He chose the framework of modal logic, a useful formal language for proof theory, which also has important applications in computer science. This logic is the study of the deductive behavior of the expressions 'it is necessary that' and 'it is possible that,' which arise frequently in ordinary (philosophical) language. However, according to his biographer John Dawson, he never published his ontological argument for fear of ridicule by his peers.
An important aspect of G�del's theology - one that has been greatly overlooked by those studying his works - is that not only was he a theist but a personalist; not a pantheist as some apologetic thinkers may portray him. To be precise, he rejected the notion that God was impersonal, as God was for Einstein.
"Spinoza's god is less than a person; mine is more than a person; because God can play the role of a person." This is significant since a god who lacks the ability to "play the role of a person" would obviously lack the property of omnipotence and thus violate a defining property universally accepted as pertaining to God. Therefore if God existed, reasoned G�del, then He must at least be able to play the role of a person. The question for G�del was how to determine the truth value of the antecedent in the previous statement.
Atheists and agnostics usually portray their philosophy as rational, discarding the theist conclusion as a mere psychological refuge of the ignorant or self-deceiving. Nevertheless, ultra-rational thinkers like G�del, Leibniz, and Descartes have reached the theist conclusion. Is there an apparent disconnect between rational thinkers and rational thought, or is it that the theists' view is the rational conclusion, even if often embraced by fanatics in unimaginably irrational ways?
Many scientists would argue that even though they cannot completely (or partially) explain the origin of the universe - or the origin of life, or the nature of consciousness, or the nature of time - the answers would certainly not involve God. They have placed their faith in their cognitive processes and in their colleagues. They submit to those authorities; but faith they have, nonetheless.
Rosario concludes the article with a discussion of G�del's version of the ontological argument.
HT: Telic Thoughts
RLC