Еще одно свойство математики, которое с конца XIX века становится все более очевидным, это общность. У различных математических структур много общего. В элементарной алгебре действуют такие же правила, что и в арифметике. Все виды геометрии (евклидова, проективная, неевклидова и даже топология) тесно связаны друг с другом. Это скрытое единство можно сделать явным, если с самого начала работать с обобщенными структурами, которые подчиняются конкретным правилам. Достаточно разобраться в общих принципах, и все конкретные примеры станут очевидными. Это позволяет сберечь немало сил, которые иначе расходовались бы понапрасну – ведь пришлось бы делать, по существу, одно и то же много раз с использованием незначительно различающихся языков. Однако у такого подхода есть один недостаток: как правило, он делает дисциплину более абстрактной. Вместо того чтобы говорить о знакомых вещах, таких как числа, обобщенный подход имеет дело с чем-то, подчиняющимся тем же правилам, что и числа, а называться это может, например, «нётерово кольцо», «тензорная категория» или «топологическое векторное пространство». Когда абстракции такого рода доводятся до крайности, трудно понять, что эти общности собой представляют, не говоря уже о том, как их использовать. Тем не менее они настолько полезны, что наш мир уже не смог бы без них функционировать. Хотите Netflix? Кто-то должен произвести математический расчет. Это не волшебство, это только кажется волшебством.

Четвертое свойство математики, очень важное для нашего рассказа, – возможность ее переноса. Это следствие ее общности и причина, по которой необходима такая высокая степень абстракции. Безотносительно задачи, давшей повод для разработки, любая математическая концепция или метод обладает таким уровнем общности, который делает его применимым для решения совершенно других задач. В результате любая задача, которую можно переформулировать и уложить в подходящие рамки, становится решаемой. Простейший и самый эффективный способ создания переносимой математики – заложить возможность переноса в проект с самого начала, сделав общность явной.

Последние 2000 лет математика черпает вдохновение из трех основных источников: процессов в природе, потребностей общества и склонности к поиску закономерностей, свойственной человеческому разуму. На этих трех столпах держится все здание. Настоящее чудо, что, несмотря на многообразие мотиваций, математика полностью едина. Каждая ее отрасль, каковы бы ни были ее истоки и цели, тесно связана с остальными отраслями, и эти взаимосвязи становятся все более прочными и все более сложными.

Это указывает на пятую причину невероятно высокой эффективности математики, на ее единство. А рядом идет и шестая причина, которую я иллюстрирую множеством примеров: ее разнообразие.

Реальность, красота, общность, возможность переноса, единство, разнообразие. В целом все это обусловливает полезность.

Да, все очень просто.

Анк-Морпорк, наигравшись с множеством форм управления, остановился на форме демократии, известной как «Один Человек, Один Голос». Тем самым Человеком был патриций; ему же принадлежал единственный Голос.