Вход на сайт
Почему существует Господь?
2971 просмотров
Перейти к просмотру всей ветки
судИдет прохожий
в ответ Стоик 09.12.18 16:49
Об этом:
В 1951 году учёный получил высшую научную награду США — Эйнштейновскую премию.
В 1957 году избран членом Американской академии искусств и наук.
В 1974 году награждён Национальной медалью науки.
В 1985 году его именем назван астероид (3366) Гёдель[de].
В 1993 году учреждена премия в области теории вычислительных систем имени Курта Гёделя.
В Вене есть «Аллея Гёделя» (Gödelgasse). При Венском университете существует Исследовательский центр по математической логике имени Гёделя. В честь учёного назван ряд научных теорем и понятий, в том числе:
Метрика Гёделя
Нумерация Гёделя
Система аксиом фон Неймана — Бернайса — Гёделя
Теорема Гёделя о полноте и теорема Гёделя о неполноте
Функция Гёделя
link
В 1951 году учёный получил высшую научную награду США — Эйнштейновскую премию.
В 1957 году избран членом Американской академии искусств и наук.
В 1974 году награждён Национальной медалью науки.
В 1985 году его именем назван астероид (3366) Гёдель[de].
В 1993 году учреждена премия в области теории вычислительных систем имени Курта Гёделя.
В Вене есть «Аллея Гёделя» (Gödelgasse). При Венском университете существует Исследовательский центр по математической логике имени Гёделя. В честь учёного назван ряд научных теорем и понятий, в том числе:
Метрика Гёделя
Нумерация Гёделя
Система аксиом фон Неймана — Бернайса — Гёделя
Теорема Гёделя о полноте и теорема Гёделя о неполноте
Функция Гёделя
link