Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13 March 2015, Cool Logic, Richard Iniengo

Speaker: Richard Iniengo
Title: Great God in Boots: An Introduction to Goedel's Ontological Proof
Date: Friday 13 March 2015
Time: 17:30-18:30
Location: ILLC Seminar Room (F1.15), Science Park 107, Amsterdam
Target audience: MSc Logic and PhD students

In this talk, I will introduce you to the ontological argument for the existence of God: Its birth in the Middle Ages, its apparent death in the Age of Enlightenment and Gödel's (in)famous ontological proof as an example of its phoenix-like resurrection in our age. To him, the ontological argument posed a logical challenge, namely, "in showing that such a proof with classical assumptions (completeness, etc.) correspondingly axiomatized, is possible." I will walk you through his formal proof in detail.

For more information, see http://www.illc.uva.nl/coollogic/ or contact

Please note that this newsitem has been archived, and may contain outdated information or links.