Welcome

The Kurt Gödel Society was founded in 1987 and is chartered in Vienna. It is an international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, physics, theology, philosophy and Leibniz studies.

Top News

30-04-13 10:01

Ninth International Tbilisi Summer School in Logic and Language

For the ninth time students and teachers meet in Tbilisi, Georgia, for a summer school. Please see the conference page http://www.logic.at/tbilisi13/ fo... [more...]

08-04-13 10:11

Collegium Logicum Lecture Series

Wed, 10 Apr 2013, 17:00, Sebastian Eberhard (Universität Bern): An implicit characterisation of polynomial time using a truth predicate [more...]

12-10-12 13:11

Collegium Logicum Lecture Series

Tue, 16 Oct 2012, 16:30, Leonid Libkin (Univ. of Edinburgh): Graph Logics and Relations on Words [more...]