Le lezioni si tengono in lingua italiana.
Studio di teorie del prim'ordine e dei loro modelli, per analizzare sia questioni semantiche, quali i teoremi di completezza e di compattezza, che questioni sintattiche, quale i teoremi di incompletezza.
Tradizionale
La logica nella pratica matematica. Le teorie formali e i calcoli deduttivi.
La teoria dei tipi. Il problema della coerenza. La teoria dei numeri al prim'rdine. Le funzioni ricorsive. I teoremi di incompletezza.
Il decimo problema di Hilbert e la sua soluzione.
Note per il corso.
Ricevimento: su appuntamento
GIUSEPPE ROSOLINI (Presidente)
MARCO BORGA
27 Febbraio 2017
LOGICA MATEMATICA 1
Modalità di frequenza: Facoltativa
