Гедель

Определение "Гедель" в НТС

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