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.

Brent Meeker
"El sueño de la razón produce monstruos." 
      --Francisco de Goya

Reply via email to