Kurt Gödel Research Center for Mathematical Logic (KGRC), Vienna

We have moved! Please find us at our new address.
Photo of Kurt Goedel

The KGRC is named after Kurt Gödel, who proved the completeness and the incompleteness theorems in Vienna in the years 1929–1931, arguably the most groundbreaking work in mathematical logic of modern times. The KGRC was a research platform of the University of Vienna until the group was merged into the institute of mathematics of the University of Vienna effective January 1, 2019.

News

Related websites and services

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2019-07-22, 17:09.