🏛️✨ ОТ ОСНОВ ПРОШЛОГО К ОСНОВАМ РЕАЛЬНОСТИ. Mathesis Universalis: от философского идеала к цифровой реальности

Mathesis Universalis (лат. universalis — всеобщий; от греч. μάθησις — знание, наука) — философский концепт, получивший широкое распространение в XVI–XVII веках. Он обозначает гипотетическую универсальную науку, построенную по принципу исчисления и претендующую на роль всеобщего инструмента (органона) познания. Истоки этой идеи восходят к Аристотелю, а также к древневосточной традиции, где знание воспринималось как набор эффективных методов.
В средневековой арабской математике эта тенденция нашла отражение в стандартизации методов решения уравнений, что привело к формированию прообраза современной алгебры (сам термин «алгебра» происходит от арабского «аль-джебр», а «алгоритм» — от имени учёного аль-Хорезми). В XIII веке францисканец Раймонд Луллий предпринял попытку создания универсального алгоритма для автоматизации логических рассуждений («Великое искусство», опубликовано в 1480 г.).
XVI век ознаменовался активными поисками удобной алгебраической символики, способной стать основой для универсального исчисления (труды К. Рудольфа, М. Штифеля, Р. Бомбелли, П. Рамуса, С. Стевина, Ф. Виета). В конце столетия Джордано Бруно активно пропагандировал луллизм в Сорбонне.
XVII век стал «золотым веком» для идеи mathesis universalis. Именно тогда Рене Декарт разработал метод аналитической геометрии, позволяющий сводить решение геометрических задач к алгебраическим уравнениям. В рамках его программы физика должна была сводиться к геометрии, а та — к алгебре, которая, таким образом, становилась воплощением искомой универсальной науки. Несмотря на популярность метода Декарта, звучала и критика: так, Исаак Ньютон, признавая мощь аналитической геометрии, считал сведение геометрии к вычислениям искажением её природы.
Наибольшего прогресса в реализации этого проекта достиг Готфрид Вильгельм Лейбниц. Он разрабатывал проект «универсальной характеристики», где открытые им (независимо от Ньютона) дифференциальное и интегральное исчисления должны были стать лишь частью, посвящённой проблемам бесконечности. Лейбниц также создавал наброски «геометрической характеристики» (алгебраически-топологического метода) и ставил главной задачей формализацию логики и её сведение к исчислению для решения научных и метафизических проблем.
Реальное создание математической логики началось лишь в XIX веке, став мощным инструментом исследования оснований математики. Однако именно с её помощью в XX веке были доказаны теоремы о неразрешимости, показавшие невозможность полной реализации лейбницевского проекта во всей его полноте.
Вместе с тем, с 1930-х годов началось теоретическое изучение «машинного мышления» (теория алгоритмов), что привело к созданию электронно-вычислительных машин (1950-е) и бурному развитию компьютерной техники (1970-е). Прогресс в области вычислительной техники и её повсеместное внедрение в управление сложными процессами, а также применение в гуманитарных науках (лингвистике, экономике, психологии) позволили на практике решать задачи частичной замены человека в управлении, обработке информации и исследовательской деятельности.
ℹ️ Каждый четверг второй декады месяца с мая 2026 года на площадке БИБЛИО-ГЛОБУС разбираем историю науки прошлого, результаты настоящего и прогнозы на ближайшее будущее.🔥 Более подробная информация о мероприятиях ЦОНИИ будет анонсирована в ближайшее время.