:)

[theindifferent]

Читаю Гедель, Эшер, Бах: эта бесконечная гирлянда. Нашел чудесное.

Теорема Гёделя впервые увидела свет как "теорема VI" в его статье 1931
года "О формально неразрешимых суждениях в "Principia Mathematica" и
родственных системах, I". Теорема утверждает следующее:

Каждому а»-непротиворечивому рекурсивному классу формул k соот-
соответствует

Comments

[twilight_sun]

отлично, я считаю :)