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