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

Материал из Викиновостей, свободного источника новостей
Курт Гёдель (нем. Kurt Friedrich Gödel; 28 апреля 1906 года, Брно, Австро-Венгрия14 января 1978 года, Принстон, США) — математик, философ, преподаватель университета, специалист в области информатики, физик. Число Эрдёша: 3. Занимался исследованиями в теория множеств, математическая логика, аналитическая философия, математика, физика, теория относительности, логика, исчисление предикатов, философия, Философия математики.
Членство в организациях: Лондонское королевское общество, Американская академия искусств и наук, Французская академия наук, Национальная академия наук США.
Образование: Венский университет с 1923 года по 1929 год.
Место работы: Принстонский университет, Венский университет, Университет Нотр-Дам, Институт перспективных исследований. Научный руководитель: Ханс Хан. Ученик: Филипп Фуртвенглер.
Место жительства: Австрия.
Награды и премии: Национальная научная медаль США (1974 год), Гиббсовская лекция (1951 год), почётный доктор Принстонского университета, почётный доктор Венского университета, премия Альберта Эйнштейна (1951 год), иностранный член Лондонского королевского общества (1968 год), премия Эйнштейна (1951 год).
Выдающиеся работы: «Теорема Гёделя о неполноте», «Теорема Гёделя о полноте», «Нумерация Гёделя», «Система аксиом фон Неймана — Бернайса — Гёделя», «метрика Гёделя», «Конструктивный универсум», «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».
 

Подкатегории

Эта категория содержит только следующую подкатегорию.