Нагель Эрнест, Ньюмен Джеймс Рой Теорема Гёделя Посвящается Бертрану Расселу 1 Введение В 1931 г. в одном из немецких научных журналов появилась сравнительно небольшая статья с довольно-таки устрашающим названием «"Uber formal unentscheidbare S"atze der Principia Mathematica und verwandter Systeme» («О формально неразрешимых предложениях Principia Mathematica и родственных систем»). Автором ее был двадцатипятилетний математик из Венского университета Курт Гёдель, впоследствии работавший в Принстонском институте высших исследований. Работа эта сыграла решающую роль в истории логики и математики. В решении Гарвардского университета о присуждении Гёделю почетной докторской степени (1952) она была охарактеризована как одно из величайших достижений современной логики.