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