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