Измерять и навязывать. Социальная история искусственного интеллекта. Маттео ПасквинеллиЧитать онлайн книгу.
правилами, которые традиционно существуют лишь у определенной группы мастеров. Она же и передает эти правила. Ритуалы, подобные Агничаяне, – это не только упражнения в геометрии. Они обучают процедурному знанию, которое не сводится к абстракции и основано на продолжительной «механической» тренировке. Кроме того, они показывают, как религия может побуждать к точности, а духовные упражнения – использоваться как средство трудовой дисциплины[74].
Агничаяна – уникальный артефакт в истории человеческой цивилизации: это самый древний задокументированный ритуал, который практикуется по сей день, хотя из-за сложности и проводится лишь несколько раз в столетие[75]. На протяжении тысячелетий с его помощью передавались и сохранялись сложные парадигмы знания, и благодаря комбинаторному механизму Агничаяны этот ритуал можно определить как первичный пример алгоритмической культуры. Что же позволяет интерпретировать как алгоритм столь древний ритуал? Согласно одному из самых распространенных в компьютерной науке определений, алгоритм, как уже упоминалось, – это конечная процедура пошаговых инструкций для преобразования ввода в вывод вне зависимости от данных и с наилучшим использованием имеющихся ресурсов[76]. Рекурсивные мантры, которые направляют рабочих на строительной площадке огненного алтаря, напоминают правила компьютерной программы: вне зависимости от контекста алгоритм Агничаяны позволяет точно распределить кирпичи и построить Шьеначити. Историки обнаружили, что индийская математика с древних времен носила преимущественно алгоритмический характер. Это означает, что задачи предлагалось решать не с помощью логической демонстрации, а путем пошаговой процедуры[77].
Так, итальянский математик Паоло Целлини утверждает, что ритуал Агничаяны свидетельствует о более сложной технике, чем следование жесткому правилу, а именно – об эвристическом методе пошаговой аппроксимации. Известно, что ведическая математика раньше, чем это произошло у других цивилизаций, познакомилась с бесконечно большими и бесконечно малыми числами. В древних сутрах перемножались огромные позиционные числа индуистской системы счета для охвата необъятных просторов вселенной (мыслительное упражнение, которое невозможно себе представить, например, в аддитивных шумерских, греческих и римских системах счисления). Ведическая математика также была знакома с иррациональными числами, например квадратным корнем, который во многих случаях (например, √2) можно рассчитать только приблизительно. В мантрах шульба-сутр пропеваются самые древние (и доскональные) объяснения вычислительных процедур (например, так называемого вавилонского алгоритма) для приближенного выражения квадратного корня. Процедуры приближения могут показаться громоздкими, слабыми и неточными по сравнению с математическими функциями и геометрическими теоремами, но их роль в истории математики и техники важнее, чем это принято считать. В книге по истории методов постепенного прироста (включая, среди прочего,
74
Разделение труда в Агничаяне также напоминает сложную оперативную цепь (chaîne opératoire), которую французский антрополог Андре Леруа-Гуран выявил во многих родовых (изначально не иерархических, а спонтанных и кооперативных) практиках изготовления инструментов. См.: Sellet F. Chaîne opératoire: The Concept and its Applications // Lithic Technology 18, nos. 1–2 (1993): 106–112.
75
Последние ритуалы прошли в 1955, 1975 (церемония задокументирована Фрицем Сталем) и 2011 годах.
76
См. также: Chabert J.-L. (ed.). A History of Algorithms: From the Pebble to the Microchip. Berlin: Springer, 1999. P. 2. (Chabert J.-L. Histoire d’algorithmes: Du caillou à la puce. Paris: Belin, 1994. P. 6.) «Алгоритм – это конечная последовательность правил, применяемая в определенном порядке к конечному набору данных для получения за конечное число шагов определенного результата вне зависимости от данных». Перевод мой: французский оригинал дает более точное определение, поскольку в английском издании отсутствует оборот «вне зависимости от данных».
77
Sriram M. S. Algorithms in Indian Mathematics // Contributions to the History of Indian Mathematics. Gurgaon: Hindustan Book Agency, 2005. P. 153–182.