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.