До пространства, до времени, до числа. Минимальная

Вместо вступления: о чём эта запись
Счёт за ужин принято приносить в конце. Эта аудиокнига начинается со счёта, потому что так устроена книга, о которой пойдёт речь.
Сразу о главном. То, что вы слушаете, — не перевод. Это обзор обширной англоязычной книги Бориса Кригера «Before Space, Before Time, Before Number: A Minimal Theory of Description» https://www.amazon.com/dp/B0HHZKGCKP , по-русски — «До пространства, до времени, до числа: минимальная теория описания». В оригинале предисловие, тридцать три главы, заключение, двадцать исторических разборов, большой глоссарий и хронология идей, а под всем этим лежит техническая статья с теоремами и разделом возражений после каждого шага.
Перевести такое за час невозможно, да и незачем. Здесь пройден весь маршрут книги, с остановками там, где мысль поворачивает, и с пропуском того, что лучше читать глазами. Когда звучат слова автора, это близкий пересказ, а не дословный перевод. Доказательства — в английском томе и в статье Бориса Кригера о неустранимой минимальной проекции и примитивах описания, вышедшей в две тысячи двадцать шестом году.
Вопрос книги звучит почти по-детски, и в этом его коварство: что останется от любого описания мира, если отказаться за него платить?
Счёт приходит раньше обеда
Книга открывается нарочно неправильным началом. Вселенная очень стара и очень велика, она началась со взрыва, состоит из материи и энергии в пространстве и времени, а мы, маленькие существа на мокром камне, ухитрились описать изрядную её часть математикой. Каждое слово тут респектабельно, и никто не напишет жалобу. И каждое слово, говорит Кригер, тихо взяло в долг то, за что не заплатило.
Слово «старая» требует линии времени, у которой есть направление и точка «сейчас». Слово «большая» требует пространства, где «здесь» отличается от «там». «Состоит из» — из скольких? Посчитали, значит, привели с собой число. А слово «мы» приводит того, кто описывает, и у описания появляется центр. Ничто из этого не факт о вселенной. Это валюты, в которых её описывают. Валюты могут быть превосходными. Но валюта — не то, что на неё покупают.
Это не скептицизм. Автор не собирается доказывать, что время иллюзия, а математика выдумка. Это утверждения о том, каков мир, а от таких утверждений он намерен воздерживаться с необычной для философа строгостью. Его тезис меньше и, как он сам говорит, страннее: время, пространство, число и существование — это то, чем платят, и можно выяснить, что на них куплено, если на время перестать платить.
Инструмент для такого отказа известен с древности. Если вы пытаетесь что-то отрицать и обнаруживаете, что само отрицание нуждается в отрицаемом, вы наткнулись на реторсию — аргумент, обращённый против спорщика. Аристотель ничего не доказывал тем, кто отрицал закон противоречия. Он замечал, что для отрицания им приходится сказать нечто определённое, то есть нечто, не совпадающее со своей противоположностью, — и значит, пользоваться законом в момент его отвержения. Две с половиной тысячи лет приём применяли поштучно: к одному противнику, по одному поводу. Никто не спросил: а если применить его ко всему подряд, что уцелеет? Книга отвечает на этот вопрос. Ответ — четыре.
Пришёл к нему Кригер не из любви к основаниям. Несколько лет он вёл физическую программу, где под обычным миром строят субстрат и пытаются вывести мир из него. И раз за разом ловил себя, а коллеги ловили его, на одной ошибке: он приписывал субстрату свойство, а свойство оказывалось свойством языка описания. Сказал «древний» — возраст оказался проекцией. Сказал «состоит из частей» — части оказались проекцией. А однажды заявил, что субстрат не тождествен самому себе. Это продержалось целый вечер, и труп этой идеи автор бережно хранит в одной из глав как предостережение.
Из крушений выросла дисциплина: на каждом шаге спрашивать, какую валюту я сейчас потратил. Снимаешь время — и всё ещё можешь говорить. Снимаешь пространство, число, существование, наблюдателя, причину — и всё ещё говоришь, хотя о всё меньшем. А потом пытаешься снять следующее, и речь останавливается: фразу нельзя произнести без того, что она пытается убрать.
Таких вещей четыре. Нельзя отрицать различие, потому что ваше отрицание отличается от вашего молчания. Нельзя отрицать тождество, потому что слово «ничто» во фразе «ничто не тождественно себе» должно остаться тем же словом до конца фразы. Нельзя отрицать, что что-либо из чего-либо следует, потому что своё отрицание вы предлагаете как вывод из доводов. И нельзя отрицать выбор, потому что вы выбрали именно эту фразу. Различие, Тождество, Обусловленность, Взятие. По-английски — Difference, Identity, Conditionality, Taking, сокращённо DICT. Счастливая случайность: латинский корень «dict» означает «сказанное», а эти четыре — ровно то, чем платят всякий раз, когда что-нибудь сказано.
Книга написана так, как рассказывают другу за долгим ужином — человеку, которого уважаешь и хочешь рассмешить. Философия, которую нельзя рассказать за ужином, по мнению Кригера, обычно не до конца понята самим рассказчиком. Там, где тема становится серьёзной, шутки прекращаются без объявления и возвращаются без извинений. А в конце предисловия автор заранее перечисляет, что книга потратит. Время — потому что она рассказывает историю. Число — один раз, в главе об арифметике. Пространство — постоянно, в метафорах полов, камней и комнат, потому что без них не думается. И существование — ровно в одном месте, где книга скажет «если» и откажется сказать «есть». Всё остальное — за счёт заведения. Остаётся спуститься и посмотреть, сколько там заведения.
Человек под камнем
На столе у автора фотография, которую снимал не он. Валун размером с небольшой дом лежит на гранитном выступе, площадь опоры не больше обеденной тарелки. В тени камня, спиной к объективу, сидит человек, снял шляпу и смотрит на долину. Ему, судя по всему, удобно.
Кригер показывает снимок всем, кто согласен постоять смирно, и спрашивает: если бы этот камень был единственным, что вы видели в ландшафте, какой вывод вы сделали бы о ландшафтах? Отвечают быстро: камни балансируют, большие массы естественно покоятся на точке. И они правы, именно это камень и поддерживает. Медленнее доходит другое: выводы были бы безупречны. Никакой эксперимент над этим камнем не обнаружил бы ошибки, потому что ошибка не в камне.
Камень — выживший. Все остальные валуны, когда-либо сползавшие на этот выступ, скатились, и дно долины вымощено их обломками. Отсюда их не видно. Это не пример. Это остаток. И человек тоже остаток: раздавленные не сидят и не снимают шляп. Наблюдатель и наблюдаемое отобраны одним фильтром и потому прекрасно подходят друг другу. Камень кажется устойчивым тому, кого он не убил.
Все мы, говорит автор, под камнем. Вселенная, которую мы описываем, — та, что допустила описывающих. Законы, которые мы находим, — те, что продержались достаточно долго, чтобы их нашли. А язык описания — пространство, время, число, причина — вырос в существах, которым надо было выбираться из-под тяжёлого, и несёт форму этой нужды. Выводы от этого не ложны. Они совершенны так же, как выводы камня: неопровержимы изнутри и потому не годятся как карта местности. Лучшая камера даст лишь больше верных фактов о камне. Фильтр не исправишь, пропуская через него больше вещей.
У человека одно преимущество перед камнем: камень не знает, что он выживший, а человек может знать. Это не даёт вида на долину. Это даёт форму собственной слепоты. И позволяет задать другой вопрос: не «каков мир», а «каков пол» — что минимально должно быть, чтобы он вообще сидел. У этого вопроса, в отличие от первого, есть ответ, и он не зависит от того, под каким камнем вы оказались.
Как рождается математика и где она немеет
Прежде чем спускаться, Кригер задерживается в математике, потому что это лучшее наше описание, а её границы — лучшая карта задачи.
Георг Кантор не собирался открывать бесконечность. Он хотел выяснить, можно ли записать функцию суммой синусов и косинусов больше чем одним способом. Теорема единственности держалась, если функция вела себя прилично всюду, кроме нескольких точек, потом — кроме ещё нескольких, и Кантору пришлось сказать, что значит «сколько» для бесконечного собрания. Так родилась теория множеств — не из любви к бесконечному, а из сломанного инструмента в чужой мастерской.
Разделы математики, по наблюдению автора, рождаются немногими способами. Легализация преступления: Дирак придумал функцию, равную нулю всюду, кроме одной точки, где она бесконечна ровно настолько, чтобы интеграл дал единицу, знал, что это бессмыслица, и пользовался, а Лорану Шварцу понадобилось десятилетие, чтобы бессмыслица перестала ею быть. Сначала грех, потом богословие. Отрицание молчаливой аксиомы: Гамильтон отказался от правила, что умножению безразличен порядок, и вырезал результат на мосту. Замеченное сходство, смена объекта, поломка в чужой задаче. А на каждый родившийся раздел приходится множество мертворождённых, и умирают они одинаково: красивый язык, в котором всё доказуемое — пересказ определений. Формализм никогда не говорит «нет». Это не теория, а словарь, а словари не размножаются. Отсюда критерий, которым автор просит мерить его самого: раздел начался, когда появилась первая теорема, которую автор не закладывал и которая его удивила. Его теория пришла путём Кантора, через поломку при описании физического субстрата, и дала два незаказанных результата. О них — чуть позже.
Третья глава начинается фразой, похожей на поэзию и являющейся теоремой: почти у каждого числа нет имени. Имён — конечных строк из конечного алфавита — счётно много, а действительных чисел, как показал Кантор, больше. Вероятность того, что наугад взятое число имеет хоть какое-то имя на каком угодно языке, равна нулю. Не мала — равна нулю. Математика доказала, что почти все её граждане анонимны навсегда, и продолжает заниматься своими делами как ни в чём не бывало. Колмогоров назвал случайной строку, которую нельзя описать короче её самой; почти все строки случайны, и ни одну нельзя предъявить, потому что, предъявив по правилу, вы её описали. Тарский доказал, что истинность высказываний арифметики невыразима в самой арифметике. И везде математика не замолкает, а с полной точностью описывает край того, чего описать не может. Это разница между «не знаю» и «вот в точности то, чего я не знаю, и вот почему этого не знает никто».
Есть и внешние дыры. Математика описывает форму, а не этот экземпляр, и сквозь её сито проваливаются «сейчас», которого, как говорил Эйнштейн Карнапу, физика выразить не может; то, каково это изнутри; сам факт, что что-то есть; и то, что что-то важно. Кригер с удовольствием подводит итог: в коротком списке непрошедших оказались ваше существование, то, что вы именно вы, то, каково вам, и то, что вам не всё равно. Математика описывает всё, кроме содержания человеческой жизни. Но край дыры она очерчивает точно. Это автор и собирается сделать с самой большой дырой — вокруг того, описанием чего являются все описания. Сказать, что оно такое, нельзя. Сказать, чем платит любое его описание, — можно.
Всё начинается с «если», и первым делом — имя
Друг автора, физик-экспериментатор, не доверяющий ничему без погрешности, попросил изложить теорию одной фразой. Кригер ответил: если оно есть, то оно таково. Физик положил вилку и сказал, что это не теория, а грамматическая конструкция. Автор согласился и сказал, что в этом весь смысл. На объяснение ушёл остаток бутылки.
У каждого утверждения о мире скрытое первое слово — «есть». Сказав его, вы потратили существование. И есть одна грамматическая форма, которая позволяет его не тратить, — условная. Если есть вакуум, он не пуст. Условное предложение держит посылку на весу, не обязуясь. Математика живёт в этой форме всю жизнь: ни одному геометру не пришлось доказывать существование треугольника, прежде чем доказать, что сумма его углов равна двум прямым. Геометрия — дисциплина «если». Попробуйте от неё избавиться: человек заявляет, что предполагать нельзя, — и тем самым предлагает вам предположение. Это та же реторсия, двигатель всей книги: попробуй выбросить — и смотри, как оно возвращается в руку.
«Если» не значит, что ничего нет. Посылка не ложна, она не погашена — удержана, но не обналичена. «Если есть субстрат, он не однороден» верно, если субстрат есть, и пусто верно, если нет. Такое нельзя опровергнуть открытием, что не существует ничего.
Здесь первая ловушка, в которую попал автор. Ему казалось, что «если» можно снять той же реторсией: попробуй отрицать, что под именем что-то стоит, — придётся употребить имя, значит, под ним что-то есть. Не следует. «Нынешний король Франции» прекрасно употребляется во фразе «нынешний король Франции лыс», а короля нет. Употребление даёт имени роль во фразе, но не даёт референта. Путаница ощущалась как доказательство — так путаницы и ощущаются, когда их очень хочется. Поэтому «если» остаётся навсегда. Тот же друг позже сказал, что автор построил машину, которая никогда не ошибается. Кригер возразил: нет, машину, которая точно показывает, где я могу ошибиться, а это машина куда более редкая. Друг заметил, что это бухгалтерское представление о философии. Автор ответил, что любезнее о ней ещё никто не отзывался.
Пятая глава — об Адаме. Его первой работой было не описать животных и не классифицировать, а дать им имена. Чтобы говорить о чём-то, нужно уметь вернуться к нему завтра как к тому же, а почти любой способ это сделать говорит слишком много. Указать пальцем — поместить в пространство. «То, что было раньше» — во время. «Одно» — посчитать. «Существующее» — утвердить существование. Голое имя не делает ничего, кроме разрешения вернуться. Это самое пустое из возможных действий и единственное, что можно сделать первым.
Так появляется субстрат — имя для того, описанием чего являются все описания. Кригер просит слышать это слово как ярлык на пустой коробке. Пустой не потому, что ничего нет, а потому, что в неё ещё ничего не положили. Всё, что будет сказано о субстрате дальше, либо честно заработано, либо протащено контрабандой, и вся дисциплина — в том, чтобы отличать одно от другого. Отсюда же короткий вывод о единственности: для второго субстрата нужно второе имя и различие между ними, и либо у второго нет имени, либо оно подпадает под то же условие, что и первое. Спиноза пришёл к единственности субстанции куда более длинной дорогой и потом обставил её бесконечными атрибутами. Имя такого не позволяет. Оно позволяет вернуться, и только.
Испытание: попробуй выбросить
Однажды автор слушал, как математик объясняет залу философов, что такое аксиома. Как выбирают аксиомы? Самый маленький набор, дающий нужное. А откуда знать, что он самый маленький? Убираешь одну и смотришь, рухнет ли теория. И одна из философов сказала с удовольствием человека, перед которым открылась дверь: значит, проверка нужности аксиомы — попытаться её выбросить.
Она была права, но проверка останавливалась на этаж выше, чем нужно: она говорит, нужна ли аксиома этой теории, а не теориям вообще. Кригер заострил её. Нечто неустранимо, если нельзя высказать его отсутствие, не воспользовавшись им. Не «трудно без него обойтись», а «фраза, которая его отрицает, сама в нём нуждается».
Пространство: «нигде ничего нет». Понадобилось ли что-нибудь где-нибудь расположить, чтобы это сказать? Нет. Пространство устранимо — не нереально, а устранимо. Время, число, причина, наблюдатель — то же самое. Существование: «ничего не существует» — я не утверждал существования, наоборот, утверждал обратное, и мне это сошло с рук. Именно поэтому «если» нельзя погасить.
А теперь те, что выдерживают. «Ничто ни от чего не отличается» — фраза отличается от своего отрицания, иначе никто не понял бы, что сказано. «Ничто не тождественно себе» — слово «ничто» должно остаться собой до конца фразы. «Ничто ни из чего не следует» — это предложено вам как вывод из доводов: если доводы хороши, то примите. «Ничто никогда не выбирается» — вот эта фраза, а не соседняя и не молчание; кто-то её выбрал.
Автор настаивает: это не открытие о вселенной, четыре — не атомы мира. Это то, что описывающий не может перестать делать, пока описывает. Четыре глагола: различать, узнавать то же самое, выводить, выбирать. Существительных можно добавить сколько угодно, и каждое обойдётся в копеечку. Проверке безразличен язык — китайский, фортран или ещё не изобретённый. А когда философ спросила, можно ли выбросить саму проверку, выяснилось, что фраза «проверка не работает» тоже отличается от противоположной, держит термины, предложена как вывод и кем-то выбрана. Проверка выдерживает применение к себе. Автор этого не закладывал, и это был второй раз, когда он заподозрил, что перед ним раздел знания, а не словарь.
Четыре доски пола
Каждой из четырёх отведена глава, и у каждой свой покровитель.
Различию покровительствует Лёйтзен Брауэр. Обычно сначала вводят равенство, а «различное» определяют как «не равное». Брауэр перевернул: математик сначала знает, что две вещи разнесены, а равенство заключает, когда не смог их различить. Его считали чудаком, но построенная на этом конструктивная математика переписала почти всё. Различие на полу — голый факт несовпадения, без расстояния и без направления. Не «два», что есть счёт, а «врозь», что есть отношение, и отношение раньше счёта. В тумане, где ни одна часть не отличается от другой, нельзя сказать «здесь» не потому, что вы заблудились, а потому, что «здесь» ни на что не укажет. Различие — то, что позволяет сказать что-то, а не всё. И сразу дисциплина: различие — не свойство субстрата, его приносит описывающий. Описание, сообщающее, что субстрат однороден, сообщило о пределе собственного разрешения и приняло его за объект. Глава кончается инсталляцией: комната одного цвета, освещённая без теней, со скруглёнными углами. Стены исчезают, люди тянут руки, чтобы нащупать, где комната. Но не замолкают. «Ничего не вижу», «где стена» — фразы совершенно отчётливы в комнате, устроенной так, чтобы в ней не было ни одного различия. Из стен различие убрали. Из людей не смогли.
Тождеству покровительствуют Гераклит и его ученик Кратил. Гераклит сказал, что нельзя дважды войти в одну реку. Кратил, человек более последовательный, сказал, что нельзя и однажды, перестал говорить и только шевелил пальцем. Он прав, что если ничто не остаётся тем же, ничего нельзя сказать. Неправ в том, что счёл это открытием о реках. Это было открытие о говорении. Тождество на полу — не равенство двух вещей, а узнавание одной в двух случаях. Без него каждый символ был бы единственным в своём роде событием: написали «кот» — и второй «кот» уже другое слово. Палец Кратила ничего не повторяет, поэтому не может ошибиться, поэтому ничего не говорит. Автор, кстати, уточняет, что Гераклит во фрагменте говорил аккуратнее: на входящих в те же реки текут иные и иные воды. Те же реки, иные воды. Он сохранил обе половины. Выбросил первую Кратил — и остался с пальцем.
Обусловленности покровительствует черепаха Льюиса Кэрролла. В тысяча восемьсот девяносто пятом году Кэрролл напечатал четыре страницы, где черепаха побеждает Ахилла, и поражение не отыграно до сих пор. Черепаха принимает А, принимает, что из А следует Б, но не видит, почему должна принять Б. Ахилл записывает это правило третьей посылкой. Черепаха принимает и его — и всё равно не видит. Шаг от посылок к выводу — не посылка, а действие. Черепаха доказывает, что вывод — глагол. Обусловленность на полу — правило получения: из этого получается то. Не причина и не время: «потом» во временном смысле — уже обналичивание. Уберите из языка обусловленность, и останется список, а список можно перетасовать без потерь. Куча истин — не теория.
Взятию покровительствует буриданов осёл. История несправедлива к Буридану, который её не рассказывал, и к ослу, который в реальных опытах поворачивается к охапке за секунды. Но смысл верен: существо между двумя одинаковыми вариантами по строгой логике не двинулось бы. Оно движется. Происходит что-то, что не является доводом. Взятие — акт помещения в выражение одного, а не другого, момент, когда правило становится фактом. Три другие доски описывают, что можно сказать. Взятие говорит. Это не наблюдатель в белом халате и не воля — генератор случайных чисел тоже берёт. И не существование: поместить нечто во фразу не значит утверждать, что оно есть в мире. А главное открытие главы — можно взять ничто. Пустая строка в анкете — не то же, что отсутствие анкеты. Пауза в речи — не молчание. Пустое взятие — тоже взятие. Автор сначала счёл это формальностью для полноты. Потом из неё выросли отрицание, ноль и вакуум.
Почему не пять, почему не три, и откуда взялся ноль
Всякий раз, когда Кригер излагает четвёрку публично, кто-нибудь поднимает руку и предлагает пятую. Отрицание? Но «не это» есть «если это, то пустое взятие»; так отрицание и определяют в самых скупых логиках, а теория добавляет только, что абсурд — не новый примитив, а взятие ничего. Повторение? Это взятие того, что тождество признало тем же. Всеобщность, «для всех»? Обусловленность над открытым взятием; автор честно признаёт, что здесь счёт оспорить легче всего. Существование, причина, число уже провалили проверку.
С наибольшим уважением автор относится к руке, которая говорит «смысл». Фраза «ничто ничего не значит» ведь что-то значит. Здесь он не опровергает, а проводит границу. Четыре — то, что нужно, чтобы сделать фразу. Смысл — то, что нужно, чтобы её прочесть. Впустить чтение — значит сделать кандидатом каждую способность читателя, и счёт превратится в список всего, что делает ум. Смысл не устраним, но он за пределами теории, и лучше сказать это прямо.
Полнота счёта держится на открыто объявленном допущении: задать множество выражений — значит зафиксировать, каковы элементы, и зафиксировать, как из них получаются выражения. Для первого нужны различие и тождество, для второго — обусловленность и взятие. Два момента по два аспекта. Найдёт кто-нибудь третий момент — найдёт пятый примитив, и теория это признает.
А хватит ли трёх? Уберите различие — всё сливается в один нерасчленённый акт, не язык, а гул. Уберите тождество — различать можно лишь однажды, и вы снова с пальцем Кратила. Уберите обусловленность — список. Уберите взятие — грамматика без единой фразы: всё разрешено, ничего не сказано. Удаление даёт не более слабый язык, а никакого. Пол, говорит автор, — не четыре доски, а одна доска, у которой волокно идёт в четыре стороны.
Потом случилось то, что автор считает первым свидетельством, что построил вещь, а не словарь. Приятель бросил мимоходом: а ведь арифметика тоже работает на четырёх действиях. Автор пришёл домой и не смог уснуть. Сложение — взятие: было, взял ещё. Вычитание — различие: что остаётся, когда одно отнято от другого. Умножение — тождество: то же количество, взятое снова. Деление — обусловленность: если целое таково и часть такова, то частей столько-то. Кригер осторожен: это соответствие, а не доказательство. Но довод красив. Прибавьте ноль — ничего не изменится, умножьте на единицу — тоже. Какой примитив даст отпечаток в виде нуля? Тот, у которого есть пустой случай, — взятие. Какой даст единицу? Тот, чей основной акт — узнать одну вещь как её саму, — тождество. Остальные распределяются сами.
Если начать с нуля и единицы и выпустить четыре действия на свободу, получатся все дроби и ничего больше — ни корня из двух, ни пи. Континуум, линия с безымянными точками, на полу не лежит; это дополнительная покупка. А дальше результат, который с автором поспорил. Без вычитания нет отрицательных, без деления нет дробей, но без сложения ничего не теряется: имея ноль, вычитание делает его работу. И без умножения ничего не теряется: имея единицу, его работу делает деление. Сутки это выглядело опровержением. Потом пришло объяснение: избыточность не на полу, а в среде. Обналичивая взятие числом, получаешь и сложение, и константу ноль; среда платит дважды, и константы хватает. Тождество и взятие получили свои числа и ушли из действий на покой, а различие и обусловленность констант не получили и остались несущими. Две доски в арифметике превращаются в монеты, две остаются работой. Монеты — ноль и единица, их никто не учит. Работа — вычитание и деление, то, чему дети сопротивляются. Вычитание трудно, потому что это различие. Деление трудно, потому что это обусловленность.
Отсюда глава «Ноль раньше единицы». Джузеппе Пеано, записывая аксиомы арифметики в брошюре, которую никто не читал, начал не с единицы, а с нуля. Теория объясняет почему. Ноль — след акта взятия, когда ничего не взято, присутствие действия с отсутствующим объектом. Единице нужно больше: акт, предмет и способность узнать предмет как один. Чтобы взять одну вещь, нужна вещь. Чтобы взять ничто, ничего не нужно. Ноль не старше и не реальнее единицы — он дешевле. Исторически он пришёл последним, и Европа веками не доверяла ему как подозрительному иностранцу, мешающему проверять счета. Но порядок открытия обратен порядку стоимости: дорогое шумно и замечается первым, почти ничто замечается последним. Пеано, к слову, потом изобрёл латынь без падежей и писал на ней, что читали ещё меньше. Человек, который всё время что-нибудь убирал.
Вечер, когда автор ошибся, и рецензент
Конец лета, недели работы, хорошее настроение — то есть опасное. И мысль, показавшаяся замковым камнем: имя приносит с собой тождество, значит тождество — принадлежность описания, значит субстрат под всеми описаниями не тождествен себе. За час из этого выросло ещё четыре вывода, один приятнее другого. Целый час автор был на дне всего.
Утром он прогнал фразу через собственную проверку. Чтобы сказать «субстрат не тождествен себе», надо удерживать слово «субстрат» неизменным до конца фразы. Отрицая тождество субстрата, он пользовался тождеством — не того, что в коробке, а ярлыка. И второе открытие, жёстче первого: утверждать, что субстрат себе тождествен, тоже нельзя. Обе фразы берут инструмент с верстака описывающего и вручают объекту как свойство. Уцелела одна формулировка: любое описание субстрата пользуется тождеством. Это об описаниях. О коробке — ни в одну сторону.
Ошибка ощущалась как глубина, потому что, обнаружив, что понятие принадлежит описанию, почти невозможно не заключить, что миру его недостаёт. Время — черта описания, значит, мир вне времени. Число — черта описания, значит, мир несчётен. У каждого такого вывода ритм озарения, и каждый — одна и та же ошибка. Рецензент потом дал формулу, которую автор называет самой полезной фразой книги: вычитание даёт право на молчание, а не на отрицание. Отложив валюту, можно сказать, что в этой валюте на полу ничего не доступно. Нельзя сказать, что у вещи нет того, что купила бы валюта. Первое — бухгалтерия. Второе — метафизика, пробравшаяся с чёрного хода в пальто бухгалтерии. И ещё одно наблюдение: каждый из неверных выводов сопровождался телесным ощущением прибытия, чувством, что достиг дна. Теперь автор считает это ощущение сигналом тревоги. Глубина ощущается как открывающаяся дверь. Пол — как дверь, которая не открывается.
Рецензент попросил его не называть. Кригер послал ему, по собственному мнению, законченный вариант статьи. Через неделю пришли четыре страницы: первый абзац хвалил идею, остальные три страницы и три четверти объясняли, почему математика её пока не поддерживает. Редко, признаётся автор, ему было так полезно грустно.
Рецензент нашёл три вещи. Первая — круг: формальный язык был определён через четыре компоненты, а потом доказывалось, что ему нужны четыре компоненты. Исправление заняло месяц, и круг теперь живёт в одном видимом месте, которое статья прямо указывает. Критик знает, куда целиться, — это лучше, чем критик, вынужденный искать мишень сам. Вторая — имя и король Франции: вы доказали, что знак употребляется, когда он употребляется; это не ложь, это почти ничего. Автор так и написал — «почти ничего». Третья — физика. В черновике стояло: вселенная на полу не имеет возраста, не является целым. Рецензент написал на полях: вы изъяли возраст из описания и заключили, что вселенная лишена возраста, — это разные вещи. Дальше та же ошибка нашлась повсюду: и в ненулевой энергии вакуума, и в будто бы неизбежном сохранении, и в гравитации, будто бы ограничивающей объединение сил, — это было физическое предсказание в грамматическом пальто, а статья в другом месте утверждала, что теория ничего не предсказывает. Лечение одно: «у этого нет того» заменить на «на полу об этом ничего не доступно», «пол предсказывает» — на «пол представляет», и каждую фразу пометить: следует из теорем, выбранное представление или физическое утверждение, которого теория не делает. Три уровня, и ни одной фразы без уровня.
Сильные утверждения опровергались за один день. Слабые устояли. Теория вышла не меньше, а с наконец известным размером. Рецензент закончил словами, которые автор хранит: блестящая философская архитектура с недостроенным математическим фундаментом; архитектуру не бросать, фундамент достроить. Сказать «да» может любой. Сказать «нет» может любой. Редкость — человек, который говорит: здание правильное, вот здесь пол ещё не держит, и я измерил щель.
Обналичивание и преамбула
Юджин Вигнер прочёл лекцию с названием, которое никто не превзошёл: «Непостижимая эффективность математики в естественных науках». Математики придумывают структуры из вкуса и строгости, а физики потом обнаруживают, что структуры подходят к миру с точностью, которую никто не заказывал. Вигнер назвал это даром, которого мы не понимаем и не заслуживаем.
Ответ Кригера — в слове «обналичивание». Четыре примитива голые: у них нет размера, ценности, места, истинности. Чтобы описание было о чём-то, за них платят средой, и каждая дисциплина определяется тем, какой средой платит. Логика платит истинностными значениями: тождество становится эквивалентностью, различие — исключающим «или», обусловленность — импликацией. Арифметика платит числом. Геометрия — формой. Гильберт аксиоматизировал геометрию на инцидентности, «между», конгруэнтности и различимости точек и прямых. Он не знал, что платит за четыре примитива. Он платил, и квитанция лежит в его аксиомах. Математика и физика согласуются, потому что это два обналичивания одного пола: где ответ определяется полом, суммы в разных валютах обязаны совпасть. Эффективность не непостижима — это эффективность общего знаменателя. И тут же предостережение: это не значит, что мир математичен, как у Тегмарка, или что мир есть информация, как в лозунге Уилера. Оба хода берут среду и объявляют, что субстрат из неё сделан.
Раньше письма начинались с формулы: «надеюсь, это письмо застанет вас в добром здравии». Формула ничего не стоила, поэтому её не замечали, а незамеченное — то место, куда пролезают неприятности. У каждого рассуждения есть такая же бесплатная рамка. Кто говорит «вселенная началась», тот уже получил время, существование и целостность вместе с приветствием. Отсюда преамбула DICT. Спуститься: перечислить валюты, в которых оплачены ключевые слова спора, отложить их, посмотреть, что осталось. Объявить: вернуть валюты нарочно, по одной, сказав, что каждая покупает. И только потом спорить — тогда всё потраченное без объявления становится контрабандой, а всё, что превышает объявленное, — перебором. Это не скептицизм: пользуйтесь временем, только скажите об этом. По оценке автора, преамбула стоит минуту и абзац, а сокращает спор сильнее любой последующей строгости. Двое годами спорят, было ли у вселенной начало, и ни один не замечает, что слово «начало» потратило время ещё до начала спора.
Перед физическими главами автор исполняет преамбулу сам. Время возвращается как среда, в которой обусловленность читается как порядок, — но не покупает ответа, фундаментален ли этот порядок. Пространство — как среда, в которой различие читается как местоположение. Число — там, где требует физика, но ни одной конкретной величины пол не порождает, и массу электрона на полу не найдёт никакой спуск. А существование автор не объявляет, и отказ сам является объявлением. Когда дальше звучит «вакуум — не ничто», надо слышать: если вакуум есть. Писать «если» каждый раз он не будет. Он доверяет читателю его слышать.
Спуски: вселенная, вакуум, энергия, гравитация, энтропия, информация
Вторая половина книги отправляет счёт понятиям физики, и схема всегда одна: опись валют, вычитание, остаток, граница.
Спутник «Планк» измерил возраст вселенной в тринадцать и восемь десятых миллиарда лет, и автор не может произнести это без внутреннего вздрагивания — не из сомнения в измерении, а потому что фраза покупает больше, чем платит. Отложите существование, целостность, пространство, время и возраст, и останется имя — ярлык на пустой коробке. На полу «вселенная» и «субстрат» — одно слово, отличающееся двумя валютами. Что даёт спуск? Способ слышать возраст вселенной как длину маршрута в среде времени — от реликтового излучения, через модель, назад. Другие маршруты, через старейшие звёзды и остывание белых карликов, дают примерно то же. Но ранний и поздний маршруты к скорости расширения расходятся больше, чем позволяют их погрешности, и это стало крупнейшей открытой проблемой наблюдательной космологии. Автор не берётся её решать. Он предлагает словарь, в котором её можно сформулировать без слова «парадокс»: когда маршруты совпадают, ответ фиксирует общий пол, когда расходятся, расхождение измеряет, сколько ответа подставила среда.
В тысяча девятьсот сорок седьмом году Уиллис Лэмб обнаружил, что два уровня энергии водорода, которые по Дираку должны совпадать, не совпадают: электрон толкает что-то в пространстве, считавшемся пустым. Казимир предсказал притяжение двух пластин в пустоте, и его измерили. Ничто оказывает силу. Спуск сразу предупреждает: он ничего из этого не объясняет, всё это числа, а числа живут в среде. Остаток вакуума на полу — пустое взятие. И единственное его свойство: оно отличается от отсутствия взятия. Это факт о любом языке, где можно сказать «ничто»: сказать «ничто» — не то же самое, что ничего не сказать. И ровно это свойство сохраняет каждая теория вакуума при смене всех чисел. Сколько это различие стоит в энергии — вопрос среды, и среда отвечает: не ноль, и мы не знаем, почему не огромное. Это проблема космологической постоянной, где наивная оценка превышает измеренное на сто двадцать порядков. Спуск честно признаёт, что ничего к ней не добавит. Он только показывает, почему она так трудна: грамматическим фактам ценники обычно не прилагаются.
Энергии покровительствует Эмми Нётер, которой не давали преподавать в Гёттингене под своим именем, так что Гильберт объявлял её лекции под своим. Она доказала, что всякой непрерывной симметрии законов соответствует сохраняющаяся величина. Отложите у энергии число, время и причину, и останется форма сохранения как таковая: нечто остаётся тем же по обе стороны «если — то». Тождество, перенесённое через обусловленность, — «то же самое поперёк «то»». Обналичьте это временем, и теорема Нётер окажется тождеством: «то же самое» о законах — симметрия, о величине — сохранение. Одна структура, названная дважды. Граница, как всегда, обратная: не из этой формы следует сохранение, а сохранение обналичивает форму. Физика платит за пол, пол за физику не платит. Зато понятно, почему в общей теории относительности энергия не сохраняется глобально: нужен единый «потом» на всё многообразие, а время там сшито из локальных лоскутов.
Гравитационная глава, по мнению автора, — самый интересный результат второй половины. От электричества можно закрыться металлической коробкой, от света — занавеской, от радиации — свинцом. От гравитации нельзя закрыться ничем. Её остаток на полу — условие, у которого в посылке не «если заряжено» и не «если такого-то рода», а просто «если оно вообще есть». Голое присутствие, самая пустая посылка из возможных. Универсальность и неэкранируемость тогда читаются как один факт: дополнительного условия нет, и заслонке не из чего быть, потому что она должна была бы не подпадать под имя. Четыре взаимодействия физики обычно подают как список с одним странным. Спуск говорит, что их два вида: обусловленное присутствием и обусловленные тем, что нечто устроено определённым образом. И автор обещает встретить ту же грамматику ещё раз — в безусловной любви, которая держится не почему-то, а потому, что другой есть. Он не говорит, что это одно и то же. Он говорит, что у них одна грамматика, самая редкая, с пустотой в «если», и поэтому обе люди, не сговариваясь, описывают как силу, от которой не уйти. Ньютон гипотез не измышлял. По мнению Кригера, он заметил, что единственное условие гравитации — существование, и не знал, что может удовлетворять такому условию. Спуск тоже не знает. Он знает только форму этого незнания.
Эдвин Джейнс заявил, что энтропия — свойство не системы, а выбранного описания: демон, видящий каждую молекулу, приписал бы всему нулевую энтропию. Принято это было плохо. Спуск приходит туда же: энтропия на полу — различие, подчинённое тождеству, разрыв между способностью различить и решением не различать. Поэтому она всплывает и в термодинамике, и в теории информации, и в экономике. Второй закон на полу: огрубившееся описание не может изнутри вернуть себе разрешение. Тепловая смерть — не смерть мира, а предел огрубления: молекулы по-прежнему сталкиваются и различаются во всём, что грубое описание согласилось не видеть. Умерло разрешение. И самое тонкое: из фундаментальных законов только у второго есть направление, и только он целиком об описании. Единственный закон со стрелой — закон об описывающем. Автор подозревает, что Джейнс это видел, и это стоило ему нескольких друзей.
Клод Шеннон определил информацию холодно и без всякого отношения к смыслу. Бит без нуля и единицы — взятие одной стороны различия, удерживаемое тождеством: выбор, который остаётся выбранным. В нём нет величины, получателя, смысла и вещества. Лозунг «всё из бита» объявляет мир сделанным из обналичивания, из среды истинностных значений. А под старость Шеннон построил машинку: щёлкаешь выключателем на коробке, из неё высовывается рука, щёлкает обратно и прячется. Одно различие, одно взятие, взятие отменено, и больше в коробке ничего, и смысла нигде нет. Он точно знал, что определил. И что не определил, похоже, тоже.
Вопросы, которые перерасходовали; чёрная дыра; деньги
Августина спросили, чем занимался Бог до сотворения мира. Легкомысленный ответ — готовил ад для тех, кто задаёт такие вопросы — он давать отказался. Серьёзный дал: время сотворено вместе с миром, а «до» — слово времени. Было это около четырёхсотого года. Физика пришла к тому же в шестидесятые годы двадцатого века и взяла себе часть заслуг.
«Что было до Большого взрыва?» Вопрос тратит время за пределами области, где среда времени определена. Это как спросить, что севернее Северного полюса: слово «север» куплено на глобусе, а на полюсе покупка кончается. Это не значит, что ничего не предшествовало в каком-то ином смысле; это значит, что тот смысл должен быть новым обналичиванием, и физика его ищет. Та же семья — что снаружи вселенной, почему есть нечто, а не ничто. Лейбниц честно не смог ответить на последний вопрос, и пол говорит, что не мог: цену существования изнутри существующего не платят. А «тот же ли я человек, что вчера?» устроен иначе: тождество приношу я, и вопрос просит доложить, нахожу ли я в вещи инструмент, которым на неё смотрю. Ответ: не отсюда. Старое слово «псевдопроблемы» автор не любит — оно снисходительно, а спрашивавшие не были дураками, они тратили валюту, которую имели все основания считать безлимитной. Пол отвечает квитанцией, а не адом, что мягче, но смысл тот же.
Чёрная дыра — место, где соблазн сказать что-нибудь глубокое сильнее всего, а глубина у автора на подозрении. Горизонт на полу — одностороннее «то»: гравитационное условие, доведённое до предела, из следствия которого нельзя вернуться в посылку. По теореме об отсутствии волос всё упавшее снаружи сводится к трём числам — массе, заряду и вращению: различие, схлопнутое под тождеством до конца. Сингулярность — край проекции, принятый за объект, тот же ход, что с тепловой смертью и Большим взрывом. Решение информационного парадокса автор из черновика вычеркнул: фраза имела форму решения и решением не была. Глава кончается снимком телескопа Event Horizon двадцать девятнадцатого года: кольцо света вокруг тёмной середины. Тёмная середина — не дыра, а место, где очень хорошему описанию из радиоволн нечего сообщить. Автор держит этот снимок рядом с фотографией человека под камнем. Это, говорит он, одна и та же картинка, снятая с противоположных сторон.
На острове Яп платили огромными известняковыми дисками, которые невозможно было сдвинуть, и собственность переходила по соглашению. Один такой камень утонул при перевозке. Команда добралась домой, рассказала, и община решила, что камень вполне хороший, — и им расплачивались поколениями, со дна моря. Автор шутит один раз и обещает больше не повторять: деньги — самое чистое обналичивание, потому что мы ими обналичиваем. Без монет, цен и банков от денег остаётся оператор, который объявляет две удостоверенно разные вещи — мешок зерна и день работы кузнеца — одинаковыми относительно пустой метки. Как единица счёта это тождество поверх различия; экономика делает с товарами то же, что грамматика с буквами. Как сбережение — «то же самое поперёк «то»», та самая форма энергии: одна структура, один раз в джоулях, другой в долларах. Как кредит — обусловленность, чьё «то» перенесено в будущее. Каждая денежная новация — смена среды при неизменном операторе. Каждая паника — миг, когда люди усомнились в операторе и в спешке потянулись к среде. Камень, насколько известно, всё ещё на дне. Никто не проверял. Это и не имело бы значения.
Смерть и сметана
Глава о смерти написана без шуток, и обзор следует за ней.
Эпикур писал: где я, там нет смерти, где смерть, там нет меня. Аргумент почти никого не утешил, и, по мнению автора, потому, что это не утешение, а кусок грамматики. Жизнь на полу — структура, которая получает себя заново: тождество поперёк обусловленности, применённое снова и снова. Смерть — момент, когда «то», возвращавшее то же «это», возвращает другое или ничего. Пол не говорит, что следует за смертью: «следует» — это время, а «есть ли там что-нибудь» — существование. Фразы о возвращении в субстрат автор вычеркнул из черновика, потому что они ощущались как глубина. Зато Эпикур получает точную форму. Умирающий — центр описания, место, откуда говорится «это». Когда поддерживающая форма останавливается, не остаётся центра, откуда остановку можно зарегистрировать. Смерть — различие для живых. Регистрируется она только снаружи. Ровно там, где живёт горе.
И сцена, которую автор отказывается толковать. Его отец под конец перестал узнавать комнату, в которой находился. Сына узнавал, а где находится — нет. Спрашивал, ему отвечали, через минуту он спрашивал снова, и это было не страдание, а тихое, каждый раз новое удивление. Много позже, и только благодаря этой работе, автор понял: первым отказало не тождество, не различие и не взятие, а правило получения — «то», которое переносило бы комнату из одной минуты в следующую. Форма ломалась по одному из четырёх волокон, а три других ещё держались. Это единственный случай, когда теория сказала ему что-то о человеке, которого он любил, и сказанное было правдой.
Следующая глава начинается словами: возвращается лёгкость. Знакомый физик держит в холодильнике кафедры банку сметаны с надписью «Не трогать, это эксперимент». Она стоит там год, никто её не трогает, и физик говорит, что это доказывает действенность надписи — единственный результат эксперимента. Автор попросил банку для своей главы. Ему ответили, что банка занята.
Глава проверяет, безмасштабна ли теория. Проверять такое надо на чём-то без малейшего достоинства: о чёрной дыре что ни скажи, звучит глубоко. Остаток сметаны: до — куча разнесённых капель жира и белковых скоплений, много различий и никакого общего тождества. Потом правило, применяемое часами без видимого эффекта. Потом порог: отталкивание сдаётся, разнесённое сцепляется. После — на малом масштабе всё по-прежнему врозь, а на большом удерживается одним тождеством. Форма, которая держится. Три уровня разделились чисто: из пола следует форма; выбранное обналичивание — капли, брожение, гель; а кислотность, при которой выпадает казеин, примерно четыре с половиной, не найдёт никакой спуск. И вывод, которого теория автору не подсказывала, а подсказала сметана: большинство вещей средних масштабов мира — не кристалл, где тождество оплачено до самого низа, и не газ, где оно не оплачено вовсе, а что-то посередине, одно и многое в зависимости от того, как близко смотреть. О вкусе пол молчит, как и о том, почему славянская кухня кладёт сметану во всё, а французская ни во что. Это среда, и удовольствие живёт в среде. Проверка пройдена. Банка, сообщает автор, всё ещё там. Надпись выцвела. Коллега говорит, что это второй результат.
Бог и философы в одной комнате
Ансельм Кентерберийский записал аргумент, который никто не опроверг ко всеобщему удовлетворению и никто не принял единодушно, — верный признак того, что палец положен на настоящую трещину. Бог — то, больше чего нельзя помыслить; существующее в действительности больше существующего в уме; значит, Бог существует. Кант ответил, что существование — не предикат.
Спуск не скажет, существует ли Бог, и причина этого — самое важное в главе. Отложите причину, время, вездесущность, единство, необходимое существование и волю, и останется имя в условной форме: если Бог есть, то. Это тот же остаток, что у вселенной и у субстрата. На полу великие имена сходятся в одно, потому что только оно переживает раздевание. Это не богословское утверждение, а факт о спуске. Ансельм верно показывает, что понятие наибольшего нельзя удержать, не удерживая его как существующее, — это факт об имени. А затем гасит условие и переходит к «названное существует». Существование — среда, и никакой аргумент, ведущийся без него, за него не заплатит. Союзников автор находит в апофатическом богословии, у Дионисия Ареопагита, Маймонида и Григория Паламы, запрещавших называть Бога единым, существующим или благим, и оговаривает, что это аналогия и ничего больше: теология потребовала бы погасить «если», а этого теория не сделает ни для кого. Фразу «если Бог есть, то...» может начать любой, апофатики продолжали её тысячу лет, ни разу не сказав «есть». Закрыть её изнутри нельзя, и пол не запрещает её закрывать — он говорит лишь, что закрытие не то, что умеет описание. Ансельм, по преданию, записал аргумент на восковых табличках, они потерялись, записал снова — разбились, и лишь в третий раз записал на пергаменте. Он нашёл не доказательство бытия Бога, а доказательство того, что это имя невозможно отпустить. Это другой результат, и он верен.
Декарт у печки в съёмной комнате зимой тысяча шестьсот девятнадцатого года сомневается во всём и находит акт, в котором нельзя усомниться, — само сомнение. Это реторсия за три с половиной века до книги, и её метод, говорит Кригер, — метод Декарта со сменённой целью. А в следующей фразе Декарт обналичил: мыслю, следовательно, существую, — и вывел мыслящую субстанцию. Лихтенберг возразил одной строкой: надо говорить «мыслится», как «дождит», и выводить мыслящего не больше, чем дождящего. Дальше понадобились Бог по Ансельму, двухэтажный дом из мыслящей и протяжённой субстанции и шишковидная железа, которую никто не может произнести вслух без улыбки. Мысль и протяжение, по Кригеру, — не две субстанции, а две среды. Спиноза — противоположная ошибка: верно увидел, что субстанция одна, а потом вписал существование в определение и обставил её атрибутами и модусами. У пола нет мебели. Декарт остановился слишком рано, Спиноза зашёл слишком далеко, а между ними неуютная позиция книги — с суровостью обоих и утешениями ни одного.
Кант сделал самую большую часть работы: пространство и время — формы нашей чувственности, а не черты вещей. Это тезис о проекции, на два века раньше. Но его двенадцать категорий проверку не проходят ни одна — это либо обналичивания, либо производные, а четырёх уцелевших в его списке нет вовсе. Без проверки двенадцать было достижением, и достижение в том, что Кант вообще увидел, что существует список.
Больше всех автора трогает Паскаль, первоклассный математик, бросивший математику, потому что она молчала о человеческом положении. «Вечное молчание этих бесконечных пространств ужасает меня» — это человек, сообщающий, что описание, которому он доверял, ничего не говорит о самом важном. Пари обычно читают как циничный расчёт. Кригер читает иначе: убедившись, что разум вопроса не решает, Паскаль отказался гасить условие и продолжил рассуждать внутри него. Если Он есть, то. Это условная форма, применённая к жизни, и читать её стоит так, а не как страховую рекламу.
И Сенека. Стоическая практика — вычитание: богатство никогда не было твоим, репутация — чужое мнение. Остаётся способность судить и выбирать, та самая, что вычитала. Нигилизм делает то же вычитание и не останавливается, объявляя, что ничто не имеет смысла. Но эта фраза отличается от отрицания, держит термины, предложена как вывод и выбрана. Нигилизм — позиция, которая не может себя высказать. У стоиков было правило остановки: убери всё, что можно убрать, и оставь то, что вернётся в руку. Поэтому их две тысячи лет читают люди в беде, а нигилизм ещё никому не помог пережить ночь.
Негде ошибиться
Последняя глава задаёт отложенный вопрос: четыре — это факт об описывающих или о том, что описывается? Первое прочтение: грамматика, которую никто не записал, а субстрат нетронут. Второе: если оно есть, оно не может не различаться, и неустранимость пола — след этой необходимости в нас. Автор склоняется ко второму, потому что тогда необходимость арифметики, логики и физического закона — одно, оплаченное в трёх валютах. И тут же объясняет, почему склонность не доказательство: опрятность — ровно то ощущение, которому его научил не доверять вечер с тождеством. Предпочтение записано и помечено как предпочтение.
Зачем всё это? Не для предсказаний: теория ничего не предсказывает. Для диагностики: множество споров — споры, где одна сторона потратила валюту, а другая нет. Для гигиены: строишь фундаментальную теорию — покажи, что твои примитивы неустранимы, или признай, что это покупки. И главное, вынесенное в название главы: теория, принимающая только неотрицаемое, почти негде может ошибиться — не потому, что умна, а потому, что в ней почти ничего нет. Единственный способ её провала — ошибка в счёте, и счёт может проверить любой, кто всерьёз попробует выбросить одну из четырёх. Плата за надёжность объявлена с предисловия — содержание. Автор предпочитает надёжно держать маленькую позицию, чем большую, которая через десять лет исчезнет. Человек под камнем по-прежнему сидит. Он знает теперь, что он под камнем. Это немного. Это единственное на снимке, что наверняка правда.
Что остаётся, когда перестаёшь платить
Знакомая, прочитавшая черновик, сказала, что довод уместился бы на салфетке. Вот салфетка. Каждое описание платит. Четыре вещи оно не может перестать платить, потому что их отрицание в них нуждается: различать, узнавать то же самое, выводить и выбирать. Всё прочее — пространство, время, число, существование, причина, наблюдатель — куплено и может быть отложено. Когда отложено всё, остаются имя и условное высказывание. Это пол. Всё выше — квитанция.
Салфетка верна и бесполезна, потому что интересна не формула, а процедура, а процедуру надо прогнать. Энергия выходит тождеством, перенесённым через правило. Вакуум — пустым взятием. Гравитация — условием с голым присутствием в посылке. Энтропия — различием, которое вы согласились не видеть. Деньги — той же формой, что энергия, и поэтому слова «энергия» и «капитал» всегда казались родственными, хотя никто не мог сказать почему. Два сюрприза за три года — арифметика и ноль — автор считает правильной частотой для настоящей теории. Формализм, удивляющий каждую неделю, скорее всего, просто путает. Тот, что не удивляет никогда, — словарь.
Унести из книги он просит три вещи. Первая — правило молчания: отложив валюту, нельзя говорить, что вещи недостаёт купленного. Большая часть уверенной метафизики — вычитание, доложенное как отрицание: время — черта описания, значит, мир вне времени; ценность — черта наших установок, значит, ничто не важно; «я» — конструкция, значит, никакого «я» нет. Услышав эту ошибку однажды, перестать её слышать нельзя, и это дар или проклятие — смотря в какой компании вы проводите время. Вторая — преамбула: спустись, объяви, потом спорь. Автор видел, как два очень хороших физика спорили час и в конце обнаружили, что употребляли слово «до» в несовместимых объёмах. Третья, которую он держит свободнее, — сам счёт, четыре: он опирается на объявленное и недоказанное допущение. Теория уязвима в одном помеченном месте, и в этом была вся её амбиция.
Меняет ли это физику? Нет: космолог в понедельник воспользуется теми же уравнениями. Меняет то, как о физике говорят. В конце семинара, когда спрашивают, что это значит, хороший физик без подготовки становится метафизиком, и в его тридцать секунд поджидают накопленные за два тысячелетия путаницы: время эмерджентно, пространство — голограмма, вселенная — информация. Теперь есть процедура проверки. Она не скажет, что говорить. Она скажет, что тратится. А тому, кто не физик и не философ, автор оставляет одно умение: когда вам говорят, из чего в основе своей сделан мир, спросите, в какой валюте оплачено утверждение. Из информации — среда истинностных значений. Из математики — число и форма. Из сознания — среда, до которой теория даже не дотягивается. Каждый раз утверждение берёт одну из вещей, которыми пользуется описание, и объявляет её описываемым, и этот ход виден без всякой физики.
И последнее — о слове. Всю книгу автор говорит «пол», выбрав его вопреки сопернику — «основанию». Основание — то, на чём покоится вещь. Пол — то, на чём стоит человек. «Основание» внушает, что мир на чём-то держится. «Пол» — что держитесь вы, что можно посмотреть вниз, и что, прокопав его, найдёте не фундамент мира, а подошвы собственных ботинок. Всю книгу, говорит Борис Кригер, он описывал подошвы ботинок.
Что ещё есть в английской книге
После заключения в английском томе идут двадцать исторических разборов, где метод выходит из кабинета на улицу. Первый — о метре. В тысяча семьсот девяносто втором году Деламбр и Мешен вышли из Парижа в противоположные стороны измерять Землю, чтобы мерой длины стала планета, а не герцог. Рассчитывали на год, вернулись через семь. Мешен получил в Барселоне два несовпадающих измерения широты, не нашёл ошибки и скрыл второе, а расхождение было настоящим сигналом сплюснутости Земли. Мир мог исправить метр под Землю или отказаться от Земли и выбрал второе: метр стал бруском, потом длиной волны, а теперь определён через скорость света, которую больше не измеряют, а объявили. Это, пишет Кригер, ровно та дисциплина, которую рекомендует книга, достигнутая физикой под давлением и без философии. Записные книжки Мешена сохранились. Скрытое измерение в них есть, его рукой, без комментариев.
Дальше — Земмельвейс и руки, которые никто не хотел мыть; приз за долготу и плотник, который его выиграл; карта холеры и снятая рукоять колонки; мост Такома-Нэрроуз; капли Милликена; Вегенер и континенты, которые не желали двигаться; каналы Лоуэлла, которые были у него в глазу; пилтдаунский череп и сорок лет согласия — и ещё дюжина историй, где кто-то потратил валюту, не объявив её, или вовремя объявил. К ним прилагаются глоссарий, хронология идей и обширная литература — для тех, кто захочет пройти маршрут сам, с доказательствами в руках.
Вместо послесловия
Вы прослушали обзор книги Бориса Кригера «До пространства, до времени, до числа: минимальная теория описания». Ещё раз: это не перевод, а пересказ и разбор обширного английского оригинала. Всё, что здесь сжато в минуту, там развёрнуто в главу, и всё, что здесь сказано на веру, там доказано или прямо помечено как недоказанное.
Книга обещала, что счёт придёт раньше обеда, и сдержала обещание. Единственное, за что автор никогда не брал платы и не мог бы взять, — это утверждение, что что-либо из этого есть.
Если оно есть, то оно таково.
Конец.