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
- 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.