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.

Latest News:

First International Summer School for Proof Theory in First-Order Logic in Funchal, Madeira, 2017

The KGS organizes the first International Summer School for Proof Theo...


Proof Theory Summer School in Funchal, Madeira

The KGS organizes a summer school taking place in Funchal, Madeira. In...


Vienna Tbilisi Summer School in Logic and Language 2016

Also this year, the KGS organizes a summer school taking place in Tbil...