Seminario interdisciplinare per la classe Umanistica - An informal introduction to formal logic

Responsabile didattico: Giovanna D'Agostino

Durata: 14 ore

Periodo didattico: secondo semestre

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.