– Ньютон написал другую книгу, которая тоже называлась «Principia Mathematica»[4], хотя на самом деле она не про математику, а про то, что мы теперь назвали бы физикой.
– Тогда почему он назвал ее «Principia Mathematica»?
– Различие между физикой и математикой было нечетким во времена Ньютона…
– А может быть, и в наше фремя, – сказал Руди.
– …и это прямо относится к тому, о чем я собираюсь говорить, – продолжал Алан. – Я про расселовские «Основания математики», в которых они с Уайтхедом начали абсолютно с пустого места и выстроили все – всю математику – на небольшом числе основных принципов. И вот почему я тебе это говорю, Лоуренс… Эй, Лоуренс! Проснись!
– М-м-м?
– Руди, возьми палку – да, эту – и следи за Лоуренсом. Когда глаза у него начнут вот так стекленеть, тыкай его в бок.
– Мы не в английской школе, тут так нельзя.
– Я слушаю, – сказал Лоуренс.
– Из «ОМ» следует абсолютно радикальная вещь – все в математике можно выразить определенной последовательностью символов.
– Лейбниц сказал это много раньше! – возмутился Руди.
– Ну, Лейбниц предложил символы, которые мы используем в дифференциальном исчислении, но…
– Я не про это!
– И он изобрел матрицы, но…
– И не про это тоже!
– И он немного занимался двоичной системой, но…
– Это софсем другое!
– Ладно, Руди, говори, о чем ты.
– Лейбниц изобрел базовый алфавит – записал набор символов для логических выражений.
– Ну, я не знал, что в сферу интересов герра Лейбница входила формальная логика, но…
– А как же! Он хотел сделать то же, что Рассел и Уайтхед, только не для одной математики, а для всего на сфете!
– Поскольку ты, Руди, похоже, единственный на планете знаешь об этом начинании Лейбница, можем ли мы допустить, что его затея не увенчалась успехом?
– Ты можешь допускать все, что тебе угодно, Алан, – ответил Руди, – но я – математик и ничего не допускаю.
Алан оскорбленно вздохнул и наградил Руди многозначительным взглядом, который, как догадывался Уотерхауз, означал «я тебе это припомню».
– Если мне позволят продолжить, – сказал он, – я вообще-то хотел, чтобы вы согласились вот с чем: все в математике можно выразить последовательностью символов, – он взял палку, которой надо было тыкать Лоуренса, и начал писать на земле что-то вроде + = 3) √(-1) π, – и мне глубоко безразлично, будут это символы Рассела, или Лейбница, или гексаграммы И-Цзина.
– Лейбниц восхищался И-Цзином! – страстно воскликнул Руди.
– Помолчи пока про Лейбница, Руди. Мы с тобой едем в поезде, сидим в вагоне-ресторане, мило болтаем, а этот поезд со страшной силой тянут локомотивы «Бертран Рассел», «Риман», «Эйлер» и другие. А наш друг Лоуренс бежит рядом с поездом, пытаясь от нас не отстать – не обязательно потому, что мы умнее, просто он – деревенский, и у него нет билета. И я, Руди, просто высовываюсь в окошко и пытаюсь втащить его в гребаный поезд, чтобы мы втроем могли мило болтать о математике, не слушая все время, как он пыхтит и отдувается.
– Ладно, Алан.
– Если ты не будешь перебивать, я скоро закончу.
– Но есть еще локомотив по имени Лейбниц.
– Ты считаешь, что я не отдаю должного немцам? Внимание, сейчас я упомяну человека с немецкой фамилией.
– Кто же это? Фон Тьюринг? – съязвил Руди.
– Фон Тьюринг будет потом. Вообще-то я имел в виду Гёделя.
– Какой он немец! Он австрияк!
– Боюсь, это теперь одно и то же.
– Не я придумал аншлюс, и нечего на меня так смотреть. Я ненавижу Гитлера.
