سخنرانی اودیفردی در انجمن منطق ایران
سخنرانی ماهانة انجمن منطق ایران
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.