Coba jelasin Warisan dari Kurt Gödel dong

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