Advertise on podcast: Il podcast di Piergiorgio Odifreddi: Lezioni e Conferenze.

CoffeeTech - La 7 (18/04/26)

Servizio Pubblico (16/04/26)

Presentazione del libro di Piergiorgio Odifreddi con Franco Cardini e Marco Pondrelli tenutasi al Centro Sociale Cost'Arena - Bologna (8/04/25)

L'Aria che Tira - La 7 (2/04/26)

L'Aria che Tira - La 7 (3/04/26)

Di Intelligenza Artificiale si sente parlare dal 1950, quando Alan Turing la propose nell'articolo "Macchine calcolatrici e intelligenza". Da allora molti si sono posti il problema se sia tutto oro ciò che luccica nell'impresa. O se invece, dietro all'Intelligenza Artificiale non si nasconda qualcosa di pericoloso, da cui ci mettono in guardia persino Bill Gates e Elon Musk. Ripercorreremo dunque brevemente la storia dell'IA, discutendo le sue reali potenzialità e valutando i suoi possibili rischi. ************************* Festa di Scienza e Filosofia - Foligno (12/04/25)

In questa puntata di Pulp Podcast, Fedez e Mr. Marra dibattono con il matematico e logico Piergiorgio Odifreddi sulla figura di Gustavo Rol, discutendo sulle controversie, i miti e le testimonianze a lui connesse. Altro ospite della puntata è Davide Baresi, appassionato della figura di Rol ed esponente di spicco della community appassionata al personaggio storico. 14 apr 2025

Ottolina Tv (18/03/26)

L'Aria che Tira - La 7 (17/03726)

L'Aria che Tira - La 7 (17/03/26)

Grand Hotel Chiambretti - Canale 5 (5/04/16)

Tag24 (1/03/26)

Ibex (15/03/25)

Tag24 (21/02/26)

Gödel’s ontological proof of God’s existence, finalized in 1970, constitutes one of the most ambitious attempts to formalize metaphysical theology using modern logic. Rooted in a tradition stretching from Anselm through Descartes and Leibniz, Gödel’s argument reformulates the classical ontological proof in higher-order modal logic. Yet its significance extends far beyond theology. When stripped of modalities, Gödel’s axioms define an ultrafilter, thereby connecting metaphysical reasoning with foundational set theory and strong axioms of infinity. This talk reconstructs the historical development of ontological arguments, analyzes Gödel’s formal system, examines the phenomenon of modal collapse, and explores the unexpected implications for mathematical foundations, showing that consistency of arithmetic and ZFC is a consequence of the ontological proof. It is argued that Gödel’s proof should be understood not primarily as a theological demonstration but as a profound structural experiment revealing deep connections between logic, metaphysics, and infinity. ********************************** Logica Universalis Webinars 2026, February 25