Перейти к содержанию

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

Материал из Викиновостей, свободного источника новостей
Курт Гёдель (нем. 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».
 

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

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