Close Window X 

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 set theory, the
area of logic that most interested Gödel in his later years.




Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Haus der Forschung, Sensengasse 1, A1090 Wien T +431505 67 40 F +431505 67 39 office@fwf.ac.at  www.fwf.ac.at 
