BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2015/newsitem/6780/13- March-2015-Cool-Logic-Richard-Iniengo DTSTAMP:20150305T000000 SUMMARY:Cool Logic, Richard Iniengo ATTENDEE;ROLE=Speaker:Richard Iniengo DTSTART;TZID=Europe/Amsterdam:20150313T173000 DTEND;TZID=Europe/Amsterdam:20150313T183000 LOCATION:ILLC Seminar Room (F1.15), Science Park 1 07, Amsterdam DESCRIPTION: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-li ke resurrection in our age. To him, the ontologica l argument posed a logical challenge, namely, "in showing that such a proof with classical assumptio ns (completeness, etc.) correspondingly axiomatize d, is possible." I will walk you through his forma l proof in detail. For more information, see http ://www.illc.uva.nl/coollogic/ or contact coollogic .uva at gmail.com X-ALT-DESC;FMTTYPE=text/html:\n
In this talk, I will introduce you to the ontological argu ment for the existence of God: Its birth in the Mi ddle Ages, its apparent death in the Age of Enligh tenment and Gödel's (in)famous ontological pr oof as an example of its phoenix-like resurrection in our age. To him, the ontological argument pose d a logical challenge, namely, "in showing t hat such a proof with classical assumptions (compl eteness, etc.) correspondingly axiomatized, is pos sible." I will walk you through his formal pr oof in detail.
\n \nFor more info rmation, see http://www.illc.uva.nl/cool logic/ or contact coollogic.u va at gmail.com
URL:/NewsandEvents/Archives/2015/newsitem/6780/13- March-2015-Cool-Logic-Richard-Iniengo END:VEVENT END:VCALENDAR