Остров знаний

Подобные выводы могут разочаровать тех, кто все еще лелеет платоновские мечты о математическом идеале, но всем остальным они кажутся удивительными, ведь они показывают, какой огромной силой обладает наше творческое начало. Трещины в дамбе математического идеализма показывают нам изнутри, как хрупок человек, и наделяют наши попытки создать Остров знаний высотой и благородством. Гедель и Тьюринг пролили свет на сложную природу математической истины – как и истины в целом. Мы не всегда можем найти ответы на свои вопросы, следуя определенному набору правил, потому что у некоторых вопросов нет ответов. Язык, который мы создали для себя, не позволяет нам подтвердить или опровергнуть истинность некоторых утверждений. В результате – по крайней мере, в принятых сегодня логических рамках – мы не можем представить себе формально полную систему знаний, созданную при участии человеческого разума. Некоторые наши интеллектуальные ресурсы не поддаются контролю и возникают из новых принципов исследования и демонстрации, которые не вписываются в границы логики. Если вы фанат сериала «Звездный путь», то вот вам такая аналогия: мы никогда не сможем стать подобными Споку и другим вулканцам. Как прекрасно, что мы не рабы формального интеллектуального процесса! Именно это ограничение и неожиданные места, в которые оно приводит нас в нашей постоянной борьбе за понимание, делает стремление к знаниям непредсказуемым и оттого более захватывающим. Неполнота открывает нам путь к творческой свободе.

Глава 31. Жуткие мечты о сверхчеловеческих машинах, или Мир как информация в которой мы рассуждаем о мире как информации, о природе сознания и о том, является ли реальность симуляцией

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

Этому вопросу можно посвятить (и уже посвящено) много книг, но данная книга – не одна из них. Я хотел бы поговорить о том, как такой вопрос влияет на нашу дискуссию об ограниченности знаний и ее важности для человечества.

В заключительных параграфах «Теоремы Геделя» Эрнест Нагель и Джеймс Ньюман пишут, что одним из следствий теорем о неполноте является тот факт, что вычислительные приборы (по крайней мере, как их понимали в момент публикации книги в 1958 году) не могут имитировать человеческое сознание: «В ближайшее время замена человеческого мозга роботом невозможна».[184] Нагель и Ньюман подчеркивают, что, каким бы ни был их объем памяти и скорость обработки данных, машины всегда следуют линейной пошаговой логике, основанной на фиксированной аксиоматике (программе и ее синтаксисе). Как доказал Гедель, такая логика, в отличие от человеческого сознания, не в состоянии решить неразрешимые проблемы в теории чисел. Появившиеся во второй половине века клеточные автоматы, машинное обучение, параллельное кодирование и иные техники сократили разрыв между электронным устройством и человеческим мозгом, и потому ситуация существенно изменилась. Тем не менее «в ближайшее время замена человеческого мозга роботом» все еще невозможна.

Машины способны обойти человека в решении задач, которые на первый взгляд требуют осмысленных рассуждений. Например, суперкомпьютер IBM Deep Blue в 1997 году в матче-реванше победил чемпиона мира по шахматам Гарри Каспарова, а компьютер Watson в 2011 году обыграл победителей игры «Jeopardy!» Брэда Раттера и Кена Дженнингса. Некоторым эти достижения кажутся впечатляющими, а некоторых пугают. Тем не менее за победами компьютеров не стоят ни глубокие рассуждения, ни творческое мышление, а лишь блестящие программы, очень быстрая обработка информации и доступ к огромным базам данных (в случае с Watson – к двумстам миллионам веб-страниц, включая всю «Википедию»). Эти устройства и их победы следует скорее назвать триумфом человеческого гения.