منطق در ايران

سخنرانی ماهانة انجمن منطق ایران

Gödel and God

Piergiorgio Odifreddi

دانشگاه تورین، ایتالیا

زمان :

شنبه، ۱۱ اسفند ۱۳۹۷، ساعت 15 ـ 17

مکان : مؤسسة پژوهشی حکمت و فلسفه ایران، تهران

چکیده :

In 1970, Kurt Gödel wrote in a manuscript a mathematical proof of the existence of God. He didn't publish it to avoid religious discussions: his main interest was, indeed, the correction of a logical mistake made by Leibniz in an attempt to improve Descartes' version of Anselm's original ontological proof. I will briefly trace the history of this almost millenary argument, ending with a simple sketch of Gödel's proof.