Dimostrare l’indimostrabilità: gli insiemi costruibili

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.