Римские цифры, узелки инков и буква x в магазине: как запись чисел определила всю историю математики

Математика обычно кажется чем-то оторванным от повседневности: будто числа и теоремы существуют в чистом виде, вне бумаги, языка и человеческих привычек. Но реальная история математики устроена куда приземленнее. Многие идеи менялись не только из-за новых доказательств, но и из-за того, как люди учились записывать числа, уравнения и логические конструкции. Историк математики Дэвид Даннинг из Смитсоновского института рассказывает: система записи в математике не просто обслуживает готовую мысль, а часто направляет ее, ускоряет одни открытия и тормозит другие.

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

Самый наглядный пример связан с числами. Современная позиционная система, которую обычно называют индуистско-арабской, возникла в Индии, затем распространилась через арабский мир и позже укоренилась в Европе, во многом благодаря торговым сообществам. Ее преимущество перед римскими цифрами было не в красоте и не в престижности, а в удобстве вычислений. Римская запись требует новых символов при переходе к более крупным разрядам, тогда как индуистско-арабская обходится 10 знаками и позволяет выразить сколь угодно большие натуральные числа. Но еще важнее другое: вместе с такой записью приходят привычные алгоритмы сложения, умножения и переноса разрядов. То, что сегодня школьнику кажется рутиной, исторически было мощным инструментом, который резко упростил работу с большими числами.

При этом запись чисел не сводится только к письму в привычном смысле. Даннинг напоминает о кипу инков, где сложная числовая информация кодировалась системой узелков на шнурах, и о римском счете на пальцах, который в Европе сохранялся довольно долго и позволял показывать числа до 9999 двумя руками. История математики поэтому не выглядит прямой линией от примитивного к совершенному. Разные культуры создавали собственные способы фиксации чисел, и победа письменной записи была связана не с единственно возможным путем, а с тем, что именно она оказалась особенно удобной для накопления, передачи и усложнения вычислительных практик.

Особенно хорошо влияние записи видно на примере анализа. В XVII веке Исаак Ньютон и Готфрид Лейбниц независимо подошли к созданию математического аппарата, который позже назовут исчислением. Но двигались они не одинаково. Ньютон мыслил гораздо теснее с геометрией. Его Principia устроена по образцу Евклида: определения, аксиомы, диаграммы, геометрические построения. На том этапе именно геометрия воспринималась как более фундаментальная часть математики, а алгебру многие считали полезным, но все же вспомогательным инструментом. Лейбниц, напротив, стремился построить предельно символическую и алгебраическую систему, где запись сама помогает думать и преобразовывать выражения. В таком подходе нотация уже не просто оформляет решение, а становится частью самого мышления.

Именно запись Лейбница в итоге победила и легла в основу современного математического анализа. Наиболее заметный символ, знак интеграла, вырос из вытянутой буквы S как обозначения суммы. Дифференциальная запись вида dy/dx тоже оказалась очень удачной: она допускала преобразования и манипуляции, которых ньютоновская система не поощряла. Но Даннинг подчеркивает, что дело было не только в техническом удобстве. Нотация Лейбница закрепилась потому, что ее подхватил круг европейских математиков, а затем на ней выросла целая исследовательская традиция с Эйлером, Лагранжем и Лапласом. В Англии переход шел заметно медленнее. Там долго сохраняли верность ньютоновской записи, хотя основная математическая работа в Европе уже велась на другом языке. Лишь к середине XIX века британская математика окончательно перешла на лейбницеву систему, и переход произошел не одномоментно, а через смену поколений, учебных программ и экзаменационных практик.

Еще сложнее картина выглядела в математической логике. Здесь долго не было одной общей системы записи, и множественность нотаций стала частью самой дисциплины. Джордж Буль в середине XIX века исходил из того, что логику можно математизировать, а потому использовал уже знакомую алгебраическую символику. Готлоб Фреге, напротив, хотел показать, что математика вырастает из логики, и поэтому сознательно отказался от привычных математических обозначений, создав в Begriffsschrift совершенно особую форму записи. Для читателей такая ситуация означала постоянное переключение между разными системами со своими возможностями и ограничениями. Логика на раннем этапе не имела одной ясной прикладной задачи, поэтому разные авторы строили запись под разные цели.

Именно в такой среде позже выросли самые важные результаты XX века о пределах формальных систем и природе вычислений. Работы Курта Гёделя, Алана Тьюринга и Алонзо Чёрча в 1930-х были связаны уже не просто с новой записью, а с вопросом о том, что вообще может сделать система символов. Иначе говоря, сама форма записи и ее выразительные возможности превратились в предмет строгого математического исследования. Даннинг считает неслучайным тот факт, что подобные мета-вопросы оформились именно там, где долго сосуществовало много конкурирующих нотаций и где математикам постоянно приходилось замечать различия между ними.

История на бумаге не заканчивается. Даннинг не считает, что математика подошла к пределу письменной записи. Компьютеры уже открыли дорогу к моделям и симуляциям, которые невозможно уместить на печатной странице. В будущем таких форм представления, вероятно, станет больше. Но и здесь нет полного разрыва с прошлым. В конце XIX века в математике был настоящий расцвет физических моделей: гипсовые поверхности и объемные конструкции стояли почти в каждом математическом кабинете и помогали развивать интуицию для уравнений и геометрических форм. Модель тогда служила не украшением аудитории, а инструментом исследования. Компьютерные представления можно рассматривать как продолжение той же линии, только на новом техническом уровне.

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

Хороший пример того, как запись уходит в повседневный язык, дает переменная x. Когда школьники впервые сталкиваются с буквами вместо чисел, прием кажется искусственным и даже странным. Но исторически и сама идея складывалась постепенно. Сегодня символ x давно вышел за пределы школьной алгебры. Им спокойно пользуются люди, которые вовсе не считают себя сильными в математике: буква просто обозначает неизвестное. Фраза вроде «допустим, у меня x фунтов яблок» уже не требует объяснений. Запись, которая когда-то была специальным инструментом, стала частью обычного мышления.