Курт Гёдель
28.04.1906—14.01.1978
Философ математики
Защитив в 1929 диссертацию, преподавал в Венском университете. В 1940 через СССР и Японию уехал в США (из-за опасности пути через Атлантический океан во время войны). Работал в знаменитом Институте перспективных исследований (Принстон).
Был логиком и философом науки. Наиболее известны сформулированные и доказанные им теоремы о неполноте, опубликованные в 1931. Из них следует, что любая эффективно аксиоматизируемая теория в достаточно богатом языке, достаточном для определения натуральных чисел и операций сложения и умножения, является неполной либо противоречивой. Неполнота означает наличие высказываний, которые нельзя ни доказать, ни опровергнуть, исходя из аксиом этой теории. Противоречивость — возможность доказать два высказывания, второе из которых является логическим отрицанием первого. Эффективная аксиоматизируемость понимается как возможность алгоритмически решить, является ли данное утверждение аксиомой.
Гёделю принадлежат работы в области дифференциальной геометрии и теоретической физики. В работе по общей теории относительности он предложил вариант решения уравнений Эйнштейна, из которого следует, что строение вселенной может быть так устроено, что течение времени в нём является закольцованным (метрика Гёделя). А это теоретически допускает путешествия во времени. Большинство современных физиков считают это решение верным лишь математически и не имеющим физического смысла.
В честь него названа премия в области теории вычислительных систем. В 2012 её вручили за вклад в понимание того, как эгоистичное поведение пользователей и поставщиков услуг влияет на поведение Интернета и других сложных вычислительных систем.