Теорема Гёделя впервые увидела свет как "теорема VI" в его статье 1931
года "О формально неразрешимых суждениях в "Principia Mathematica" и
родственных системах, I". Теорема утверждает следующее: Каждому а»-непротиворечивому рекурсивному классу формул k соотсоответствует рекурсивный символ классов г такой, что ни v Gen r ни Neg (v Gen г) не принадлежат к Fig (к), где v - свободная переменная г. В оригинале это было написано по-немецки; читатель, возможно, думает, что с
тем же успехом можно было бы это на немецком и оставить.
Цитаты в тренде
...осталось и правило не повторять вопрос, если на первый вопрос отвечают "не спрашивай"; осталось и то, что такой ответ заставляет совершенно ничего не думать о сделанном вопросе, забыть его: осталось это потому, что осталась уверенность, что если бы стоило отвечать, то и не понадобилось бы спрашивать, давно все было бы сказано без всякого вопроса, а в том, о чем молчат, наверное нет ничего любопытного.
Николай Гаврилович Чернышевский
- Однажды великий древнегреческий философ, слава которого гремела до самой ойкумены, прогуливался в окружении учеников по садам Ликея. Тогда занятия проводились в форме прогулок. [...]...в самый разгар учёной беседы к ним подошёл богатый виноторговец и насмешливо проговорил: "Послушай, мудрец, у меня нет умных мыслей, но у меня есть золото, у меня нет знаний, но у меня есть красивые рабыни, у меня нет красноречия, но у меня есть сладкое красное вино, - и стоит мне только крикнуть, как все...
Юрий Поляков
Впрочем, если бы число самоубийц в России и было велико, е го бы никто не ведал. Располагать цифрами - исключительное право русской полиции, не знаю, доходят ли они в точности до самого императора; знаю лишь, что при нынешнем царствовании ничье несчастье не может быть обнародовано без высочайшего дозволения: ведь эти свидетельства власти провидения унизительны для власти земной.
Астольф де Кюстин
