La sezione Mathesis di Udine, il Dipartimento di Matematica e Informatica dell'Università di Udine, e la Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Udine, nell’ambito del Progetto Lauree Scientifiche organizzano un ciclo di conferenze in occasione del centenario della nascita di Kurt Gödel (1906-1978).
Gödel è senz'altro il più grande logico del XX secolo e i suoi teoremi di incompletezza sono ampiamente conosciuti anche al di fuori dell'ambito specialistico. I contributi di Gödel alla logica matematica e alla riflessione critica sui fondamenti della logica e della matematica sono però numerosi e diversificati. Nell'ultima parte della sua vita Gödel si è poi interessato ad alcuni aspetti della fisica teorica. In questo ciclo di conferenze, verranno presentati vari aspetti delle ricerche di Gödel, compresi alcuni meno noti al grande pubblico.

Martedì 16 gennaio 2007
Alberto MARCONE (Università di Udine)
Dimostrare l'indimostrabilità: gli insiemi costruibili