ГЕДЕЛЬ

ГЕДЕЛЬ
ГЕДЕЛЬ (Godel) Курт (1906-78), американский математик. Родился в Чехословакии. Широко известен благодаря своей «неразрешимой» и «незавершенной» теореме, доказательство которой было впервые опубликовано в техническом журнале в Германии в 1931 г. Согласно теореме, аксиома, опирающаяся на математическую систему, может содержать утверждения, которые нельзя ни доказать, ни опровергнуть, исходя из данных, полученных в пределах самой системы. Изложенная очень просто, теорема Геделя означает, что верность некоторых математических утверждений никогда не может быть доказана. Прекратил работу после почти тысячи попыток установить аксиомы, которые бы точно подходили для всех математических утверждений. В 1940 г. эмигрировал в США. С 1953 г. и до смерти занимал должность профессора в Институте высших исследований в Принстоне. Был близким другом А. ЭЙНШТЕЙНА.

Научно-технический энциклопедический словарь.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "ГЕДЕЛЬ" в других словарях:

  • ГЕДЕЛЬ (Godel) Курт — (1906 78) логик и математик. Родился в Австро Венгрии, с 1940 в США. Труды по математической логике и теории множеств. Доказал (1931) т. н. теоремы о неполноте (теоремы Геделя), из которых, в частности, следует, что не существует полной… …   Большой Энциклопедический словарь

  • ГЕДЕЛЬ Курт — (Godel, Kurt) (1906 1978), австрийский логик и математик, автор фундаментального открытия, показавшего ограниченность аксиоматического метода. Родился 28 апреля 1906 в Брно. В 1924 поступил в Венский университет, в 1930 защитил докторскую… …   Энциклопедия Кольера

  • Гедель К. — …   Википедия

  • Гедель — …   Википедия

  • Гедель, Курт — …   Википедия

  • Гедель Курт — …   Википедия

  • Курт Гедель — Курт Гёдель Курт Гёдель Дата рождения: 28 апреля 1906(19060428) Место рождения: Брно Австро Венгрия Д …   Википедия

  • Математический интуиционизм —         философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… …   Большая советская энциклопедия

  • Вильгельм I Германский — (Фридрих Людвиг) император германский и король прусский, второй сын короля Фридриха Вильгельма III и королевы Луизы, родился 22 марта 1797 г. в Берлине. После битвы при Иене он со своими родителями, братьями и сестрами прожил три года в… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»