You'll have to ask Bruno, because that's what he wrote.
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,
Bruno wrote:
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
(following indeed St. Anselm) that if God exists
and if stars exists, then God sees stars.
Charles Goodwin comments:
Who says there's no evidence for the existence of stars? I for one am a
convinced stellist and firmly believe that stars exist. (Including the
Sun -
it's bigger than me so I don't
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
4 matches
Mail list logo
