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.
Informazioni
- Anno accademico
- 2023-2024
- Semestre / Annualità
- Secondo Semestre
- Docente: CANTINI ANDREA
Accesso al corso
Per visualizzare il materiale didattico, partecipare alle attività o verificare lo stato della tua iscrizione, accedi alla pagina.