On 28 Jan 2014, at 10:13, LizR wrote:
On 28 January 2014 21:48, Bruno Marchal <[email protected]> wrote:
On 27 Jan 2014, at 22:05, LizR wrote:
I hope those are real quotes. There are quite a few fake Einstein
quotes floating around the web.
They were real, but taken out of the context.
But they made my point. Einstein is a believer, but out of
confessional religion. Like Gödel.
Didn't Godel update the "ontological argument for the existence of
God" ? I suppose that doesn't say anything about what God is (guy
with a long beard, or chthulhu, or white light...)
Gödel has formalized St-Anselmus notion of God in ... The Leinizian
modal logic. Then he proved his existence.
He did this just to illustrate that rigor can exist in Theology.
I am not sure he really believed in St-Anselmus notion of God, and I
doubt he really took Leibniz modal logic as the only correct
metaphysical account of the alethic (Leibnizian) modal logic.
Open problem: does the inner god of the machine believes in St-
Anselmus-Gödel God? (= can we translate the proof of God existence
into S4Grz?).
More on Leibniz modal logic soon.
Bruno
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/groups/opt_out.
