It would be interesting to see an analysis where the most fundamental results in mathematics are looked at under the light of their discoverers' ideological beliefs and psychologies.
I wonder whether Gödel would have pursued the Proof if he did not believe in an omnipotent god.
I wonder whether Gödel would have pursued the Proof if he did not believe in an omnipotent god.