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