S. Anscombe (U Paris Cité, FR)
Matteo Tommasini
Key Research Area Logic
The Key Research Area Logic, also known as the Kurt Gödel Research Center for Mathematical Logic (KGRC), follows the tradition of Kurt Gödel, who proved his famous Completeness and Incompleteness Theorems in Vienna in the years 1929–1931, perhaps the most significant work of mathematical logic of modern times. Gödel's results were foundational for all the central areas of contemporary logic: set theory, model theory, computability theory, and proof theory.
We teach a variety of courses in logic for the bachelor, master and PhD courses of the Faculty of Mathematics of the University of Vienna.
The current research in our Key Research Area mainly focuses on set theory and model theory.
Next Mathematical Colloquium
Latest news
Open Labs Day
An invitation to meet the researchers of the KGRC and of the Faculty of Mathematics
Open position as PhD student at the KGRC
Staff news
Robert Polster
PhD position with a focus on mathematical logic with connections to mathematical physics
Relaunch of the website of the KGRC
Matteo Tommasini
The new website of the KGRC is now online.
Can AI do maths without mathematicians?
Media articles
Aleyna Çatak/Unsplash, edited
AI agents are solving open math problems. Nathanaël Berestycki and Vera Fischer argue that maths is more than solving proofs at speed.
Congrats Serhii!
Habilitations
Gebhard Sengmüller
Serhii acquires his Habilitation.
Aristotelis Panagiotopoulos wins a Felt Medal for his teaching
Grants and awards
Roter Vektor Mathematik
An award from the students' representatives of the Faculty of Mathematics.
Useful links
-
Logic Library
In the Kolingasse 14-16, the KGRC houses about 1.150 books of the university library.
-
History of the KGRC
A very brief history of the Kurt Gödel Research Center for Mathematical Logic and of the logic curricula at the University of Vienna.
-
Video recordings of KGRC seminars
A video collection of about 200 seminars, lectures and Logic Colloquia.
-
European Set Theory Society
The European Set Theory Society supports research and networks in set theory and its connections with related areas in mathematics and logic worldwide.
-
Set Theory Talks
Worldwide directory with announcements of set theory seminars and conferences.
-
Valuation Theory Homepage
A forum for all mathematicians working in valuation theory.
Since 2020, the Kurt Gödel Research Center for Mathematical Logic is located in the Kolingasse 14–16, 1090 Vienna, 7th floor (how to find us).
You can contact us at info(at)logic.univie.ac.at.
Read more about the research group and its members.
Robert Polster