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.
Information
- Anno accademico
- 2023-2024
- Semestre / Annualità
- Secondo Semestre
- Teacher: CANTINI ANDREA
Course access
To view course materials, participate in activities, or check your registration status. Go to the page.