Kurt Gödel
Kurt Gödel (19061978) was an Austrianborn mathematician who is considered perhaps the greatest logician since Aristotle. His Incompleteness Theorem was a stunning proof of limitations on logic, at a time when leading mathematicians were working diligently to establish its completeness. He immigrated to the United States and worked at the Institute for Advanced Study at Princeton, New Jersey, and is buried in that town with his wife. Gödel was a devout Christian who believed in an afterlife and read the Bible regularly.^{[1]} He completely rejected the atheism of the Vienna Circle to which he was introduced.
Gödel was ostracized from academia despite his immense intellectual achievements, and was never offered a tenuretrack position of professor.^{[2]} He worked on developing a logical proof of God that build on the ontological proof by Saint Anselm. Politically, he supported Republican President Dwight Eisenhower and was critical of the Democrat Harry Truman.^{[3]}
Gödel published his remarkable proof of the Incompleteness Theorem in 1931. He showed that in any consistent (firstorder) axiomatic mathematical system there are always propositions that cannot be proved or disproved using the axioms of the system. He additionally showed that it is impossible to prove the consistency of the axioms from those same axioms. This was the famous incompleteness theorem: any axiomatic system powerful enough to describe arithmetic on natural numbers cannot be both consistent and complete. Moreover, the consistency of the axioms cannot be proven within the system.
Gödel's work abruptly ended a halfcentury of attempts, beginning with the work of Frege and culminating in Principia Mathematica and Hilbert's formalism, to find a set of firstorder axioms for all of mathematics that is both provably consistent as well as complete. Bertrand Russell had already published, in Principia Mathematica (1910–13), a massive attempt to axiomatize mathematics in a consistent way. Gödel's proof also showed that the formalist approach of David Hilbert was bound to fail to prove consistency.
Gödel took set theory, as originally developed by Georg Cantor, to new heights, as explained by Boston University Professors Juliet Floyd and Akihiro Kanamori in "How Gödel Transformed Set Theory":
“  How Gödel transformed set theory can be broadly cast as follows: On the larger stage, from the time of Cantor, sets began making their way into topology, algebra, and analysis so that by the time of Gödel, they were fairly entrenched in the structure and language of mathematics. But how were sets viewed among set theorists, those investigating sets as such? Before Gödel, the main concerns were what sets are and how sets and their axioms can serve as a reductive basis for mathematics. Even today, those preoccupied with ontology, questions of mathematical existence, focus mostly upon the set theory of the early period. After Gödel, the main concerns became what sets do and how set theory is to advance as an autonomous field of mathematics.^{[4]}  ” 
The incompleteness theorems also imply that there is no mechanical procedure which would determine, for all sentences of mathematics S, whether or not S was a theorem of the axioms for mathematics.
Gödel's proof was a landmark for mathematics, and demonstrated that it can never be a finished project.
Among Gödel's other remarkable achievements: the first to discover a solution to the equation for general relativity in which there are closed, timelike curves. This means it is mathematically possible for there to be universes in which one can go back in time (provided one has enough fuel and time—something probably not physically possible). Gödel was also the first to recognize the significance of the P=NP problem, in a letter he wrote to John von Neumann in 1956.^{[5]}
A profoundly religious man who reportedly read the Bible every morning, Gödel is also noted for giving Gödel's Ontological Proof,^{[6]} an attempt to make Anselm's ontological argument into a completely logically rigorous argument. This had the useful property of making very explicit and precise the assumptions necessary for one to accept the ontological argument. In this proof, Gödel demonstrated that if one accepts only five modest and seemingly obvious axioms, it is necessary to conclude that God exists.
Sources
References
 ↑ https://www.quora.com/WhatledKurtG%C3%B6deltobecomeaChristian
 ↑ Gödel was offered only an unpaid lecturer position after he published his breakthrough papers.
 ↑ https://www.usna.edu/Users/math/meh/godel.html
 ↑ www.ams.org/notices/200604/feakanamori.pdf
 ↑ http://rjlipton.wordpress.com/thegdelletter/
 ↑ A paper about Godel's ontological proof of the existence of God. Godel did not publish his proof of the existence of God until 1971.
