Laurea triennale - Intensivo II semestre - I ciclo
Inizio del corso : lunedi' 14 febbraio 2004
Durata : 5 settimane

Orario
LUN 15 -17 aula B via Centotrecento
MAR 15-17 aula B
GIO 11-13 aula B

Crediti : 5 cfu

Solo per gli studenti che hanno gia' 10 cfu in discipline "epistemologiche"

Programma:

Introduzione alla teoria della dimostrazione

Introduzione storico-critica.
Il problema dei fondamenti della matematica all'inizio del '900.
Le scuole logicista, formalista e intuizionista.
Il programma hilbertiano.
Il problema della dimostrazione della consistenza dell'aritmetica
Calcoli di sequenti per la logica classica predicativa.
Teoremi di validita' e completezza
Calcoli di sequenti per la logica intuizionista.
Teorema di eliminazione delle cesure

Bibliografia

Dispense



Le lezioni saranno accompagnate da costante "supervisione".

L'esame consiste essenzialmente nelle esercitazioni svolte durante il corso.