Accesso studenti
e docenti



SCUOLA SUPERIORE
Via Gemona, 92
33100 Udine
Tel. 0432 249630/4

Reverse Mathematics

Durata: 28 ore

Periodo didattico: secondo semestre

Programma

 

 

docente: Prof. Alberto Giulio Marcone - MAT/01

 

programma:

Introduzione ai sottosistemi dell'aritmetica del second'ordine;

i big five e alcuni loro equivalenti;

significato fondazionale dei risultati di reverse mathematics;

il teorema di Ramsey per coppie e i risultati di indipendenza;

conseguenze del teorema di ramsey per coppie e il fenomeno dello "zoo".