Русский Ru
  • Deutsche De
  • English En
  • Français Fr
  • Русский Ru

Мы используем файлы cookie для персонализации контента и рекламы, предоставления функций социальных сетей и анализа нашего трафика. Мы также передаем информацию об использовании вами нашего сайта нашим партнерам по маркетингу и аналитике, которые могут объединять их с другой информацией, которую вы им предоставили или которую они отдельно собрали у вас. Вы также можете ознакомиться с нашей Политикой конфиденциальности. Нажав кнопку OK ниже, вы принимаете наши куки.

Авторы:

Теорема Гёделя впервые увидела свет как "теорема VI" в его статье 1931

года "О формально неразрешимых суждениях в "Principia Mathematica" и

родственных системах, I". Теорема утверждает следующее: Каждому а»-непротиворечивому рекурсивному классу формул k соотсоответствует рекурсивный символ классов г такой, что ни v Gen r ни Neg (v Gen г) не принадлежат к Fig (к), где v - свободная переменная г. В оригинале это было написано по-немецки; читатель, возможно, думает, что с

тем же успехом можно было бы это на немецком и оставить.

Даглас Хофштадтер