Fondamenti di Teoria della Dimostrazione. Calcoli delle sequenze e loro proprietà.
Hauptsatz. Interpolazione.
Il programma di Hilbert. Estensioni e applicazioni a sistemi aritmetici. L'approccio di Hilbert esteso: Gentzen. Prove di consistenza via induzione transfinita.
Anno accademico: 2024-2025
Semestre / Annualità: Secondo Semestre
- Teacher: CANTINI ANDREA