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

27-11-13 10:01

Vienna Summer of Logic 2014

The Kurt Gödel Society is proud to announce the Vienna Summer of Logic 2014, taking place in July 2014 in Vienna. [more...]

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...]