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
- Enseignant: CANTINI ANDREA
Accès au cours
Pour consulter le matériel de cours, participer aux activités ou vérifier l'état de votre inscription, veuillez visiter la page.