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