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.
Information
- Anno accademico
- 2024-2025
- 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.