Pierdaniele Giaretta (University of Padova)

• 

December 2 MON— 14.30-16.30

Sala Riunioni — Direzione del Dipartimento (Via Festa del Perdono 7, Milano)

Una strana Equivalenza

Abstract: Sulla base di una idea di Raymond Smullyan si applica la procedura di diagonalizzazione ad enunciati che riguardano il credere. Alcuni principi che si usano nella dimostrazione del teorema di Löb permettono di dimostrare una strana equivalenza che assomiglia al teorema di Löb. L’equivalenza non è di per sé paradossale ma risulta avere un contenuto difficilmente afferrabile o almeno implausibile. Perché è difficile afferrarne il contenuto e accettarla? C’è qualcosa di interessante nelle risposte che si possono dare a questa domanda?