On 01-Jun-01, Saibal Mitra wrote:
> BTW, do you know that Godel wrote a formalisation in the modal logic
> system S5 of St. Anselm proof of the existence of God? (I'm not sure
> there is any evidence that Godel takes his proof seriously, but it is
> a nice little piece of exact and very modest theology. See Vol 3 of
> the complete work of Godel edited by Feferman & Al.).
> My opinion? Well I don't believe in S5 :-)´´
Could you expand on "I don't believe in S5"? Just curious.
"El sueño de la razón produce monstruos."
--Francisco de Goya