クルト・ゲーデル
The Kurt Gödel Society, founded in 1987, was named in his honor. It is an international organization for the promotion of research in logic, philosophy, and the history of mathematics. The University of Vienna hosts the Kurt Gödel Research Center for Mathematical Logic. The Association for Symbolic Logic has invited an annual Kurt Gödel lecturer each year since 1990. Gödel's Philosophical Notebooks are edited at the Kurt Gödel Research Centre which is situated at the Berlin-Brandenburg Academy of Sciences and Humanities in Germany.