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

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

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

.