Re: existence of stars

2001-06-01 Thread Marchal
Saibal wrote: (complete message below for the FORers) Can't we prove that stars (and for that matter anything we observe) exist in at least some universes? But does some universes exists ? To tell you frankly I have a problem with the word universe. I guess you take it as meaning the set

G, G*, S4Grz, IL, Z and Z*.

2001-06-01 Thread Marchal
Hi George, Hi Everythingers, ... The answer to George exam are in the preceding post by Wei Dai, or in the archive at: http://www.escribe.com/science/theory/m2855.html I have put the illustrating programs (including the machine guardian angel) in my web page, following Wei Dai

Re: existence of stars

2001-06-01 Thread Brent Meeker
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

Re: Provable vs Computable

2001-06-01 Thread George Levy
John and Hal, Bruno and all everythingers, sorry for the delay guys, I was travelling and had lots of work. Bruno, I just scanned your post quickly. It seems to me we are going in the right direction but I shall need time to digest what you wrote. I shall reply to you later Let me first reply to