Re: existence of stars

From: Brent Meeker <>
Date: Fri, 01 Jun 2001 19:43:22 -0700

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
Received on Fri Jun 01 2001 - 20:49:23 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST