Autoriferimento e logica della dimostrabilità

Da Gödel al teorema del punto fisso

A 50 anni dalla pubblicazione del suo paper “An effective fixed-point theorem in intuitionistic diagonalizable algebras”, Giovanni Sambin, logico matematico dialoga con Silvia Pittarello, comunicatrice scientifica, e ripercorre le tappe che lo hanno portato a individuare il teorema del punto fisso che esprime algebricamente l’autoriferimento usato da Gödel per i suoi teoremi di incompletezza.

L’evento sarà in diretta su YouTube.

14 Gennaio 2026 - Ore 21.00