Даглас Хофштадтер - ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда

• Название: ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда
• Автор: Даглас Хофштадтер
• Издательство: Издательский Дом «Бахрах-М», 2001.
• Жанр: Математика
• Год: 2001
• ISBN: ISBN 5-94648-001-4

Не часто приходится держать в руках книгу, которая открывает новые миры, в которой сочетаются глубина мысли и блестящая языковая игра; книгу, которой удалось совместить ничем на первый взгляд не связанные сложные области знания.

Выдающийся американский ученый изобретает остроумные диалоги, обращается к знаменитым парадоксам пространства и времени, находит параллели между картинами Эшера, музыкой Баха и такими разными дисциплинами, как физика, математика, логика, биология, нейрофизиология, психология и дзен-буддизм.

Автор размышляет над одной из величайших тайн современной науки: каким образом человеческое мышление пытается постичь самое себя. Хофштадтер приглашает в мир человеческого духа и «думающих» машин. Это путешествие тесно связано с классическими парадоксами, с революционными открытиями математика Курта Геделя, а также с возможностями языка, математических систем, компьютерных программ и предметного мира говорить о самих себе с помощью бесконечных отражений.

Начав читать эту книгу,вы попадете в волшебные миры, отправитесь в путешествие, изобилующее увлекательными приключениями, путешествие, после которого вы по-иному взглянете на мир и на самого себя.

Переведенная на 17 языков, книга потрясла мировое интеллектуальное сообщество и сразу стала бестселлером. Теперь и русский читатель получил доступ к одной из культовых книг XX века.

---

Я считаю, что процесс, с помощью которого мы решаем, что истинно и действительно, — это вид искусства. Он опирается на чувство красоты и простоты не менее, чем на железные принципы логических рассуждений или чего-либо иного, что может быть объективно формализовано. Я не утверждаю, что (1) истина — химера или что (2) человеческий интеллект в принципе невозможно запрограммировать. Я утверждаю то, что (1) истина слишком неуловима, чтобы человек или группа людей могли ее полностью понять и (2) когда ИИ достигнет уровня человеческого интеллекта — или превзойдет его — он все еще будет бороться с проблемами искусства, красоты и простоты и постоянно наталкиваться на эти вопросы в своем стремлении к знанию. «Что такое очевидность?» — это не только философский вопрос, поскольку он часто вторгается в обыденную жизнь. В каждую минуту перед нами огромный выбор способов интерпретации очевидного. Сегодня трудно найти книжный магазин, где бы вы не увидели книг об астрологии, хиромантии, мистицизме, телекинезе, НЛО, Бермудском треугольнике, черных дырах, биологической обратной связи, телепатии, трансцендентальной медитации, новых теориях психологии… В науке идут яростные споры о теории катастрофы, теории элементарных частиц, черных дырах, истине и существовании в математике, свободе воли, Искусственном Интеллекте, редукционизме и холизме… На более практическом уровне идут споры о том, что полезнее витамин С или летрил (новое средство против рака), о размере нефтяных запасов (под землей или в хранилищах), о том то является причиной инфляции и безработицы — и так далее, и тому подобное. Не будем забывать и о Дзен-буддизме, парадоксах Зенона, психоанализе и т. п. Способы оценки действительности играют важнейшую роль, будь то в тривиальном вопросе размещения книг на полках в книжном магазине или в вопросе о том, какие идеи должны преподаваться в школах.

Самовосприятие

Одна из самых сложных проблем интерпретации действительности — это истолкование множества беспорядочных внешних сигналов, говорящих нам кто мы такие. Здесь очень высока возможность конфликтов внутри уровней и между ними. Психическим механизмам приходится одновременно иметь дело с внутренней потребностью человека в самоуважении и непрерывным потоком информации извне, атакующим его представление о самом себе. В результате информация течет между разными уровнями личности по сложному руслу. Пока она крутится в этом водовороте, какие-то ее части разрастаются а какие-то уменьшаются, что-то отрицается вообще, а что-то меняется почти до неузнаваемости. Затем результат снова попадает в водоворот и этот процесс но повторяется снова и снова в попытке примирить то, что есть, с тем чего бы нам хотелось (См. рис. 81).

В результате этого необычайно сложного процесса общее представление о том, «кто я такой» интегрируется с остальной мысленной структурой и содержит, для каждого из нас, большое количество нерешенных и, возможно неразрешимых противоречий. Безусловно, это один из основных источников того динамического напряжения, которое так свойственно человеческим существам. Из этого противоречия между внутренним и внешним образами того кто мы такие, рождаются те стремления и цели, которые делают каждого из нас единственным в своем роде. Парадоксальным образом, именно наша общность — то, что все мы обладаем самосознанием — ведет к удивительному разнообразию того, как мы усваиваем информацию о самых разных вещах и является ведущей силой в создании разных индивидуальностей.

Теорема Гёделя и другие дисциплины

Кажется естественным проводить параллели между людьми и достаточно сложными формальными системами, которые, как и люди, обладают неким «самосознанием». Теорема Геделя показывает, что в непротиворечивых формальных системах, способных к автореференции, есть фундаментальные ограничения. Можно ли обобщить этот вывод? Существует ли например «Теорема Геделя в психологии»?

Если использовать теорему Геделя как метафору и источник вдохновения вместо того, чтобы пытаться дословно перевести ее на язык психологии, возможно, что она сможет подсказать новые истины в психологии и других областях. Но пытаться прямолинейно переводить ее на язык других дисциплин и считать что она действительна и там, было бы ошибкой. Неверно было бы думать что то, что было тщательнейшим образом разработано в математической логике можно без изменений пересадить на совершенно иную почву других дисциплин.

Интроспекция и душевные заболевания: проблема типа Гёделевой

Мне кажется, что перевод теоремы Гёделя в другие области может навести нас на новые идеи, если мы договоримся заранее о том, что переводы — только метафоры и не должны пониматься дословно. С подобной оговоркой я вижу две основных аналогии, соотносящие Теорему Гёделя с человеческим мышлением. Одна из них касается проблемы размышлений о собственной нормальности. Каким образом вы можете решить, что вы не сумасшедший? Это — настоящая Странная Петля. Как только вы начинаете сомневаться в собственном душевном здоровье, то можете оказаться во все убыстряющемся водовороте самоисполняющихся пророчеств (хотя этот процесс вовсе не неизбежен). Известно, что сумасшедшие интерпретируют мир с помощью странной, но последовательной логики; откуда вы знаете, «странная» ваша собственная логика или нет, если можете судить об этом только с помощью той же самой логики? Я не знаю ответа на этот вопрос. Это напоминает мне о второй Теореме Гёделя, из которой следует, что противоречивы только те версии формальной теории чисел, которые утверждают собственную непротиворечивость.

Можем ли мы понять собственный разум или мозг?

Другая аналогия с Теоремой Гёделя, которая кажется мне интересной, намекает на то, что мы не можем полностью понять собственного разума/мозга. Эта идея настолько сложна и нагружена ассоциациями на многих уровнях, что обсуждать ее надо с осторожностью. Что означает «понять собственный разум/мозг»? Это может означать общее ощущение того, как они работают, подобно тому, как автомеханик интуитивно ощущает, как работает мотор. Это может означать полное объяснение того, почему люди поступают так, а не иначе. Это может означать полное понимание физической структуры собственного мозга на всех его уровнях. Это может означать, что в некоей книге или на компьютере у нас есть подробная диаграмма устройства мозга. Это может означать точное знание того, что происходит в нашем мозгу на нейронном уровне в любой момент — возбуждение каждого нейрона, синаптические изменения и так далее. Это может означать создание программы, способной пройти тест Тюринга. Это может означать такое полное знание себя, что понятия подсознательного и интуитивного теряют смысл, поскольку становятся открыты взгляду. Это может означать также любую комбинацию из вышеприведенных вещей.

Какое из этих самоотражений более всего напоминает Теорему Гёделя? Затрудняюсь ответить. Некоторые из них довольно глупы. Например, идея детального наблюдения за состоянием собственного мозга — ни что иное, как беспочвенная фантазия, абсурдное и неинтересное предположение; когда Теорема Гёделя говорит нам, что это невозможно, это отнюдь не является для нас неожиданностью. С другой стороны, извечное стремление человека глубже познать самого себя (назовем это «пониманием собственной психической структуры») кажется естественным. Но нет ли и здесь некоей Гёделевой петли, ограничивающей глубину возможного проникновения в собственную психику? Мы не можем увидеть своими глазами собственное лицо; не разумно ли ожидать, что мы также окажемся не в состоянии полностью отразить собственную психическую структуру в тех символах, которые ее составляют?

Как ограничительные Теории метаматематики, так и теория вычислений говорят, что, как только возможность представлять собственную структуру достигает некоей критической точки, то пиши пропало — это гарантия того, что вы никогда не сможете представить себя полностью. Теорема Гёделя о неполноте, Теорема Черча о неразрешимости, Теорема остановки Тюринга, Теорема Тарского об истине — все они чем-то напоминают старинные сказки, предупреждающие читателя о том, что «поиск самопознания — это путешествие, которое… обречено быть неполным, не может быть изображено ни на каких картах, никогда не остановится и не сможет быть описано.»

Но имеют ли эти ограничительные теоремы какое-нибудь отношение к людям? Об этом можно рассуждать так. Либо я непротиворечив, либо я противоречив. (Последнее гораздо вероятнее, но, для полноты картины, я рассмотрю обе возможности.) Если я непротиворечив, этому могут быть два объяснения. (1) Я подобен патефону «низкого качества»: мое понимание самого себя находится ниже некоего критического порога. В данном случае, я неполон по определению. (2) Я подобен патефону «высокого качества», мое понимание себя самого достигло критического порога, за которым становится приложима метафорическая аналогия ограничительных Теорем; таким образом, мое самопознание саморазрушается Гёделевым способом, и поэтому я неполон. Случаи (1) и (2) основаны на предположении, что я стопроцентно непротиворечив — маловероятное положение дел. Скорее всего, я противоречив, — но это еще хуже, поскольку означает, что во мне есть противоречия; как я смогу когда-либо это понять?