Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous
Completeness and Incompleteness Theorems in Vienna in the 1930`s. This project, to be based at the Kurt Gödel
Resarch Center for Mathematical Logic of the University of Vienna, focuses on interdisciplinarity in Mathematical
Logic, by making connections between the different fields that arose from Gödel`s work. The proposed topics are:
Sets and Computations, Sets and Models, and Sets and Computable Models.
Mathematical logic entered the modern era through the work of Kurt Gödel, who established his famous Completeness and Incompleteness Theorems in Vienna in the 1930's. This project, to be based at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna, focuses on interdisciplinarity in Mathematical Logic by making connections between the different fields that arose from Gödel's work. The proposed topics are: Sets and Computations, Sets and Models, and Sets and Computable Models.