Больше цитат
28 февраля 2011 г., 15:46
Теорема Гёделя впервые увидела свет как "теорема VI" в его статье 1931
года "О формально неразрешимых суждениях в "Principia Mathematica" и
родственных системах, I". Теорема утверждает следующее:
Каждому а»-непротиворечивому рекурсивному классу формул k соотсоответствует рекурсивный символ классов г такой, что ни v Gen r ни Neg (v Gen г) не принадлежат к Fig (к), где v - свободная переменная г.
В оригинале это было написано по-немецки; читатель, возможно, думает, что с
тем же успехом можно было бы это на немецком и оставить.
