Presupposti storici e filosofici; il programma di Hilbert.
Introduzione alla Teoria della Dimostrazione: cut elimination, Isomorfismo di Curry-Howard.
Applicazioni all'analisi ordinale di PA, IL teorema di Parsons-Mints. Esempi di proposizioni aritmetiche verse e indipendenti da PA.
- Docente: CANTINI ANDREA
Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre