On: Gödel's ontological proof

[jrp]

What is the meaning of this?

"although he did not go to church, was religious and read the Bible in church every Sunday morning"

[gjm11 → jrp]

Yeah, I was baffled by that too. Maybe "in church" should be "in bed"? Maybe he didn't go to the church services, but found some time every Sunday morning when the church wasn't in use to sit there and read the Bible?

... Ahaha, bingo. Hao Wang's "Reflections on Kurt Goedel":

http://books.google.co.uk/books?id=wLLePwhDOMYC&pg=PA70&...

"In January 1978, G's wife told me that G read his Bible in bed on Sundays."

Time to go fix the Wikipedia article.

[gjm11 → gjm11]

(The WP article actually references another of Wang's books for this. That's googleable too, and also says "bed" not "church".)