Надо Знать

добавить знаний



Курт Гедель



Курт Гедель
1925 kurt gdel.png
Курт Гедель в 1925 г.
Родился 28 апреля 1906
Брно, Моравия, Австро-Венгрия
Умер 14 января 1978
Принстон, Нью-Джерси, США
Alma mater Венский университет
Известный в связи с: Теорема Геделя о неполноте
Награды Премия Альберта Эйнштейна (1951)

Курт Гедель ( нем. Kurt Gdel ) (* 28 апреля 1906, Брюнн, Австро-Венгрия (сейчас Брно, Чехия) - 14 января 1978, Принстон, США) - австрийский логик и математик, приват-доцент Венского университета ( 1933 - 1938).

1940 году эмигрировал в США.

С 1953 году профессор Принстонского института перспективных исследований, член Национальной АН США и Американского философского общества.

Гедель был логиком и философом науки. Известное достижение Геделя - это сформулированные и доказанные им теоремы о неполноте, опубликованы 1931 г. Одна из них утверждает, что любая язык, достаточно "мощная" для определения натуральных чисел (например, логика второго порядка или украинский язык), является неполной. То есть содержит высказывания, которые нельзя ни доказать, ни опровергнуть с аксиом языка. Доказанные Геделем теоремы имеют широкие последствия как для математики, так и для философии (в частности, для онтологии и философии науки).

Кроме того Геделя относятся работы в области дифференциальной геометрии и теоретической физики. В частности он написал работу по общей теории относительности, в которой предложил вариант решения уравнений Эйнштейна из которого следует, что Вселенная может быть устроенным так, что ход время в нем есть закольцованным (метрика Геделя), что теоретически допускает путешествия во времени. Большинство современных физиков считают, что это решение является правильным лишь формально и он не имеет физического смысла.


Труда

Основные труды в области математической логики и теории множеств. Автор известных теорем Геделя о неполноту и полноту.


код для вставки
Данный текст может содержать ошибки.

скачать

© Надо Знать
написать нам