Курт Гёдель ( нем. Kurt Friedrich Gödel; 28 апреля 1906 года, Брно, Чехия — 14 января 1978 года, Принстон, США) — математик, философ, преподаватель университета, специалист в области информатики, физик. Число Эрдёша: 3. Занимался исследованиями в области: теория множеств, математическая логика, аналитическая философия, математика, физика, теория относительности, логика, исчисление предикатов, философия, философия математики. Членство в организациях: Лондонское королевское общество, Американская академия искусств и наук, Французская академия наук, Национальная академия наук США. Образование: Венский университет с 1923 года по 1929 год. Место работы: Принстонский университет, Венский университет, Университет Нотр-Дам, Институт перспективных исследований. Научный руководитель: Ханс Хан. Учитель: Филипп Фуртвенглер. Место жительства: Австрия. Место активности: Брно. Награды и премии: Национальная научная медаль США ( 1974 год), Гиббсовская лекция ( 1951 год), почётный доктор Принстонского университета, почётный доктор Венского университета, премия Эйнштейна ( 1951 год), иностранный член Лондонского королевского общества ( 1968 год). Выдающиеся работы: « Теорема Гёделя о неполноте», « Теорема Гёделя о полноте», « Нумерация Гёделя», « Система аксиом фон Неймана — Бернайса — Гёделя», « метрика Гёделя», « Конструктивный универсум», « Gödel's ontological proof», « Функция Гёделя», « Gödel-incomplete machine», « Gödel's speed-up theorem», « Gödel logic», « Gödel's second incompleteness theorem», « Godel's first incompleteness theorem», « Gödel operation».
|
|
