News and Events: Upcoming Events

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.