Kurt Gödel

Sebuah yayasan bernama didirikan pada tahun 1987 untuk menghormatinya. Merupakan suatu organisasi internasional yang mempromosikan riset dalam bidang logika, filsafat dan sejarah matematika. membuka "Kurt Gödel Research Center for Mathematical Logic". telah mengundang pembicara khusus tahunan sebagai "Kurt Gödel lecturer" sejah tahun 1990.