Поясним это.
Нам придётся ненадолго вернуться к приведённому в начале главы вымышленному диалогу между сторонником теории о круглой подвижной Земле и его оппонентом.
Определим, что в их дискуссии понимать под фактом, смыслом и знанием.
Факт – это, например, наблюдение движущейся шарообразной планеты с борта космического корабля. При этом наблюдение восхода и/или заката Солнца, осуществленное стоящим на поверхности планеты человеком, – тоже факт. То и другое можно выполнить неограниченное количество раз.
Смысл – утверждение, связывающее несколько фактов какой-либо логикой. Например: «Земля – шар, который движется по эллиптической орбите вокруг Солнца, что подтверждается наблюдениями из космоса и описывается математическими законами Кеплера». Или: «Земля плоская и неподвижная, а Солнце вращается вокруг неё, что подтверждается моими ощущениями и наблюдениями».
Знание – здесь, в узкой трактовке, это теория, обобщающая дополняющие друг друга смыслы. Например: «Взаимодействие подвижной планеты (в частности, Земли) и неподвижного светила (в частности, Солнца) обусловлено силой гравитации и представляет собой решение задачи двух тел в механике Ньютона». Или: «Земля плоская и неподвижная, а все факты о её шарообразности и движении – выдумка, фейк. Существует группа наделённых большой властью людей, которые, в целях сохранения своего негласного влияния, финансируют различные масштабные фальсификации (в частности, ложь о круглой и подвижной Земле)».
Теперь задумаемся: можно ли выделенные нами высказывания каким-то образом формализовать?
Конечно, можно.
Тут нет никаких затруднений: любой математический язык и логика легко позволяют это сделать (т.е. над данными высказываниями можно совершать логические операции и вычисления – в том смысле, как это описал Джордж Буль и Алан Тьюринг; подробнее – см. главу 4).
Тогда факты, смыслы и знание (теории) могут быть сопоставлены между собой по критерию вычислимости.
В процессе реализации/проверки отдельных высказываний часть из них будет приводить к одному и тому же результату (такие высказывания мы назовём вычислимыми), а другая часть – к разным результатам или к такому исходу, при котором результат остаётся неясным (невычислимые высказывания).
Теперь сравним теории из нашего примера.
При самом поверхностном рассмотрении мы увидим, что теория о круглой и подвижной Земле почти полностью состоит из вычислимых высказываний-фактов.
Астрономические наблюдения и наблюдения из космоса, касающиеся не только нашей планеты и нашего светила, но и других объектов, совпадают. Решение задачи двух тел в астрономии и в других областях, например, в электростатике, суть одно и то же.
Единственное, что не является вычислимым в этой теории – существование гравитационного взаимодействия и, более конкретно, его переносчиков, гравитонов. Это и только это предположение.
Напротив, теория о плоской и неподвижной Земле набита невычислимыми высказываниями.
Для того, чтобы обосновать тезис о фейковости всех фактов про шарообразность и подвижность планеты, надо найти всех причастных к фальсификации людей – показать, как они это проделали; доказать их мотивы; привести документированные примеры других подделок и т. д. Поскольку речь идёт о поведении людей, то должно быть ясно, что каждый новый фактчекинг, проведенный в отношении хотя бы одного «подозреваемого», обернётся, мягко говоря, неоднозначными результатами. Если они вообще будут.
Единственное, что является вычислимым в этой конструкции – те самые субъективные ощущения и наблюдения, на которые ссылался сторонник теории о плоской и неподвижной Земле. Это и только это реально.
Вывод о высокой степени проверяемости теории о круглой и подвижной Земле очевиден.
Однако существенно другое. Космологическая дискуссия, погруженная в логику вычислимое-невычислимое, демонстрирует, с одной стороны, связь между смыслом и бессмыслицей, и, с другой стороны, – между полезным и бесполезным смыслом.
Известно, что дистанция от идеи о земном диске, покоящемся на трёх слонах и гигантской черепахе, до современной космологии велика.
На заре цивилизации в идее о находящихся в основании мира животных был, несомненно, некий смысл. Возможно, выдумка имела какое-то практическое значение для регулирования охоты на слонов и черепах, объявленных на Востоке «священными животными». Существенно, что изначально этот, в некоторой степени полезный, смысл был невычислимым, непроверяемым.
Он остался таковым, когда в античной космологии утвердился другой смысл: Земля неподвижная, но представляет собой шар, а не диск. В предложенной впоследствии геоцентрической системе мироздания конструкция из слонов и черепах выглядела вычурной, громоздкой и оказалась ненужной. Древняя идея трансформировалась в бесполезный смысл (охотники на животных стали потирать руки).
С воцарением гелиоцентрической системы (Земля – не диск и не неподвижная) слоново-черепаховая картина мироздания окончательно перекочевала в фольклор. Астронавты, оказавшиеся в космосе, подтвердили (т.е. произвели экспериментальную проверку, вычислили): гигантских животных не наблюдается.
Сейчас байка о Мировой Черепахе всеми, даже нынешними апологетами плоской Земли, признаётся бессмысленной.
Если вы полагаете, что указанные метаморфозы смыслов и бессмыслицы касаются только глупых сказок и никак не относятся к научным объяснениям, то глубоко заблуждаетесь.
Гравитация – точно такая же выдумка, как Мировая Черепаха.
Причём эта выдумка невычислимая: нет способа бесспорно доказать или опровергнуть существование гравитонов. Для Мировой Черепахи такой способ есть (слетайте в космос и посмотрите), а для гравитации – пока нет.
С одной стороны, придуманная Ньютоном гравитация – очень полезный смысл. Как мы уже говорили, гипотеза использовалась не только в астрономии. Ньютоновская механика помогла построить сложные машины, развить океанский и воздушный транспорт и много чего ещё.
С другой стороны, идея взаимодействия двух тел, одно из которых является сверхмассивным по отношению к другому, скажем, для объяснения строения атома – бесполезный и, если угодно, ошибочный смысл. В данном случае правильный смысл даёт не теория Ньютона, а другая концепция – квантовая теория (см. главу 5).
Наконец, если будет создано более мощное объяснение (например, какая-нибудь версия теории квантовой гравитации), где предположение о существовании гравитонов будет за ненадобностью отсутствовать, и эта новая концепция получит ряд убедительных экспериментальных подтверждений, то гравитацию, как некогда Мировую Черепаху, объявят бессмыслицей.
Мозг непрерывно жонглирует смыслами и бессмыслицей, наслаждаясь бесконечностью их комбинаций.
Причём не только в науке. Эта игра не так уж далека от простых житейских материй, как может показаться.
Скажем, всех чрезвычайно интересует, что о них думают окружающие.
Как психиатр могу засвидетельствовать, что люди нередко выдумывает не свои, но чужие мысли, чувства, намерения. Они делают это очень затейливо, с большой фантазией. Порою догадки-смыслы верны, чаще – ошибочны. Иногда полезны, иногда оказываются полной чепухой.
Или такое наблюдение: люди постоянно что-то планируют.
Это касается работы, отдыха, личных взаимоотношений, карьеры, встреч с друзьями и т. д. Все придуманные планы, как правило, невычислимы. Нередко они касаются действий других людей, которые заранее просчитать нельзя. Несмотря на то, что все планы в точности никогда не реализуются, мы всё равно их строим.
Ещё пример: люди склонны раздувать из мухи слона.
Вокруг лишь одного достоверного факта накидывается тысяча невычислимых высказываний. Никого не смущает, что в итоге наверняка получится бессмыслица. Потому что – не во всех случаях, но с приемлемой частотой – выходит нечто удачное. То, что вызывает сильное чувство: например, арт-продукт или ноу-хау.
Мозг – посредник, свободно балансирующий на тонкой грани вычислимого и невычислимого и беспрепятственно проникающий в обе сферы.
Наш разум состоит из вычислимого числа элементов, которые во всякий момент времени сочетаются невычислимыми (бесконечными) вариантами конфигураций.
Тогда разъясняется «таинственная» избыточность мозга.
В контексте эволюции становится очевидным, что наш разум создаёт смысловое пространство и насыщает его вычислимыми теориями (т.е. знанием).
При этом машиноподобная целесообразность – лишь ипостась. Это способ структурировать полезные, в т.ч. для биологической, социальной и др. адаптации, смыслы. Удобный инструмент, чтобы расфасовать их в легко воспроизводимые (вычислимые) кусочки.
Вместе с тем, обязательно сохраняется возможность производить невычислимое – общий источник, как удачных догадок, так и бессмыслицы. Для живого мозга, в отличие от механизма и микросхемы, «нет ничего святого» ни в научной теории, ни в теории заговора. Ошибки нужны, не только в качестве конкурентной для полезных смыслов среды, но и как новая, никогда прежде не существовавшая, информация.
Остановимся. Отложим подробное обсуждение на потом.
Для этого потребуется привлечь ряд математических моделей, оперирующих понятием сложности. Тогда мы сможем указать на конкретные прикладные аспекты различения смыслов и бессмыслицы, которые могли бы помочь мозгу выполнять его главную функцию.
Открытие?
Не моё, конечно.
Речь об открытии, которое уже состоялось благодаря усилиям нескольких поколений физиков и математиков. О проведенной ими колоссальной интеллектуальной работе в надежде объяснить, что такое мозг.