Общество Курта Гёделя ( KGS ) — научное общество , основанное в Вене , Австрия, в 1987 году. Это международная организация, целью которой является содействие исследованиям в области логики , философии и истории математики , уделяя особое внимание темам, связанным с австрийским логиком и математиком Куртом Гёделем , в честь которого она и была названа.
Группа также организует постоянную серию лекций под названием Collegium Logicum . Среди бывших спикеров - Хенк Барендрегт , Джордж Булос , Яакко Хинтикка и Уилфрид Ходжес .
В апреле 2006 года общество Гёделя организовало Horizons of Truth — международный симпозиум, посвященный 100-летию со дня рождения Курта Гёделя. В 2011 году общество Гёделя при поддержке Фонда Джона Темплтона вручило пять «стипендий на исследовательскую премию в честь столетия Курта Гёделя» на общую сумму 680 000 долларов США. Получателями стали Дэвид Фернандес, Павел Хрубес, Андрей Бовыкин, Питер Кёлльнер и Тьерри Кокванд. [1] В 2008 году был вручен первый раунд этих стипендий. [2] В 2015 году SIGLOG , EATCS , EACSL и Общество Курта Гёделя учредили « Премию Алонзо Чёрча за выдающийся вклад в логику и вычисления». [3]