Категория:Курт Гёдель

Курт Гёдель (нем. 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».

 

Служебная информация

Короткая ссылка • Статистика посещений • Популярные новости: д, н, м • Сведения о странице • Архив (по id) • Обновить