Криптономикон, часть 1   ::   Стивенсон Нил

— Из «ОМ» следует абсолютно радикальная вещь — всев математике можно выразить определенной последовательностью символов.

— Лейбниц сказал это много раньше! — возмутился Руди.

— Ну, Лейбниц предложил символы, которые мы используем в дифференциальном исчислении, но…

— Я не про это!

— И он изобрел матрицы, но…

— И не про это тоже!

— И он немного занимался двоичной системой, но…

— Это софсем другое!

— Ладно, Руди, говори, о чем ты.

— Лейбниц изобрел базовый алфавит — записал набор символов для логических выражений.

— Ну, я не знал, что в сферу интересов герра Лейбница входила формальная логика, но…

— А как же! Он хотел сделать то же, что Рассел и Уайтхед, только не для одной математики, а для всего на сфете!

— Поскольку ты, Руди, похоже, единственный на планете знаешь об этом начинании Лейбница, можем ли мы допустить, что его затея не увенчалась успехом?

— Ты можешь допускать все, что тебе угодно, Алан, — ответил Руди, — но я — математик и ничего не допускаю.

Алан оскорбленно вздохнул и наградил Руди многозначительным взглядом, который, как догадывался Уотерхауз, означал «я тебе это припомню».