Читаю Гедель, Эшер, Бах: эта бесконечная гирлянда. Нашел чудесное.
Теорема Гёделя впервые увидела свет как "теорема VI" в его статье 1931
года "О формально неразрешимых суждениях в "Principia Mathematica" и
родственных системах, I". Теорема утверждает следующее:
Каждому а»-непротиворечивому рекурсивному классу формул k соот-
соответствует
(
Read more... )