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