Общество Курта Гёделя
Общество Курта Гёделя ( KGS ) — научное общество , основанное в Вене , Австрия, в 1987 году. Это международная организация, целью которой является содействие исследованиям в первую очередь в области логики , философии и истории математики , с особым вниманием к предметам, связанным с Австрийский логик и математик Курт Гёдель , в честь которого он был назван.
Группа также организует постоянную серию лекций под названием Collegium Logicum . Среди бывших спикеров - Хенк Барендрегт , Джордж Булос , Яакко Хинтикка и Уилфрид Ходжес .
В апреле 2006 года общество Гёделя организовало «Горизонты истины» международный симпозиум , посвященный 100-летию со дня рождения Курта Гёделя. В 2011 году общество Гёделя при поддержке Фонда Джона Темплтона присудило пять стипендий «Столетняя исследовательская премия Курта Гёделя» на общую сумму 680 000 долларов США. Лауреатами стали Давид Фернандес, Павел Грубес, Андрей Бовыкин, Петер Кёлльнер и Тьерри Коканд. [ 1 ] В 2008 году был присужден первый раунд этих стипендий. [ 2 ] В 2015 году SIGLOG , EATCS , EACSL и Общество Курта Гёделя учредили « Премию Алонзо Чёрча за выдающийся вклад в логику и вычисления». [ 3 ]
Ссылки
[ редактировать ]- ^ «Логический разум: соединение основ и конкуренции технологий» .
- ^ «Стипендия премии столетия Курта Гёделя за исследования» .
- ^ «УВЕДОМЛЕНИЯ» . Бюллетень символической логики . 23 (4): 540–545. 2017. дои : 10.1017/bsl.2017.40 . ISSN 1079-8986 . JSTOR 26409199 . S2CID 231797260 .
Внешние ссылки
[ редактировать ]
 | Эта статья об философией организации, связанной с , незавершена . Вы можете помочь Википедии, расширив ее . |
| Международный | |
|---|---|
| Национальный | |
