Teopeмa Гёделя

Нагель Эрнст

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

Похожие книги

Интересное

Copyrights and trademarks for the book, and other promotional materials are the property of their respective owners. Use of these materials are allowed under the fair use clause of the Copyright Law.