Opzioni di iscrizione

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.

Anno accademico: 2023-2024
Semestre / Annualità: Secondo Semestre
Iscrizione spontanea (Studente)
Iscrizione spontanea (Studente)