Seminario interdisciplinare per la classe Umanistica - Un' introduzione informale alla Logica Formale
a.a. 2018/19
Responsabile didattico: Giovanna D'Agostino
Durata: 14 ore
Programma: Breve introduzione alla Logica Matematica e ad alcuni dei suoi classici risultati. I Teoremi di Completezza e di Incompletezza di Goedel: cosa è vero, e come provarlo? Possiamo provare tutto quello che è vero?