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

28-01-10 02:21

Collegium Logicum 2010: Proofs and Structure

A workshop within the Collegium Logicum lecture series on Proofs and Structure organized by the KGS will take place in Vienna on Tuesday, 2 February 2010. [more...]

11-12-09 16:20

Collegium Logicum Lecture Series

14 December 2009, 11:00, Natasha Sharygina (Lugano, Carnegie Mellon): The Synergy of Precise and Fast Abstractions for Program Verification. Please note the unusual time. [more...]

02-12-09 18:43

Collegium Logicum Lecture Series

09 December 2009, 17:00, Marysia Spychalska (Warsaw University): Reasoning with quantifiers "most" and "some" - empirical evidence [more...]