[0db532a0]

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.