SEMINARIO INTERDISCIPLINARE PER CL. UMANISTICA - Un' introduzione informale alla Logica Formale
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?
Prof.ssa D'Agostino, 14 ore.
