«Алгоризм был придуман в Греции. Это часть арифметики.
Придуман он был мастером по имени Алгоризм,
Который дал ему свое имя.
И поскольку его звали Алгоризм,
Он назвал свою книгу «Алгоризм».
Около 1250 года английский астроном и математик Иоанн Сакробоско написал труд по арифметике «Algorismus vulgaris», на столетия ставший основным учебником по вычислениям в десятичной позиционной системе счисления во многих европейских университетах. Во введении Сакробоско назвал автором науки о счете мудреца по имени Алгус (Algus). А в популярной средневековой поэме «Роман о розе» (1275–1280 годы) Жана де Мена «греческий философ Алгус» ставится в один ряд с Платоном, Аристотелем, Евклидом и Птолемеем! Встречался также вариант написания имени Аргус (Argus). И хотя согласно древнегреческой мифологии корабль «Арго» был построен Ясоном, именно этому Аргусу приписывалось строительство корабля.
Более того, «мастер Аргус» (или Алгус) стал в средневековой литературе олицетворением счетного искусства. И в уже упоминавшемся «Романе о Розе», и в известной итальянской поэме «Цветок», написанной Дуранте, имеются фрагменты, в которых говорится, что даже «mestre Argus» не сумеет подсчитать, сколько раз ссорятся и мирятся влюбленные. Великий английский поэт Джефри Чосер в поэме «Книга герцогини» (1369 год) писал, что даже «славный счетчик Аргус» (noble countour Argus) не сможет счесть чудовищ, явившихся в кошмарных видениях герою.
Впрочем, греческая версия была не единственной. Мифический Алгор (Algor) именовался то королем Кастилии (Rex quodam Castelliae), то индийским королем, то арабским мудрецом (philosophus Algus nomine Arabicus).
Однако со временем такие объяснения все менее занимали математиков, и слово algorism (или algorismus), неизменно присутствовавшее в названиях математических сочинений, обрело значение способа выполнения арифметических действий посредством арабских цифр, т. е. на бумаге, без использования счетной доски — абака. Именно в таком значении оно вошло во многие европейские языки. Например, с пометкой «устаревшее» оно присутствует в общепризнанном словаре английского языка «Webster’s New World Dictionary», изданном в 1957 году.
Древнегреческий абак (современная реконструкция)
Алгоритм — это искусство счета с помощью цифр, но поначалу слово цифра относилось только к нулю. Знаменитый французский трувер Готье де Куэнси около 1200 года в одном из стихотворений использовал сочетание algorismus-cipher (которое означало цифру «о») как метафору для характеристики абсолютно никчемного человека. Очевидно, понимание такого образа требовало соответствующей подготовки слушателей, а это означает, что новая система счисления уже была им достаточно хорошо известна.
Многие века абак был фактически единственным средством для практических вычислений, им пользовались все — и купцы, и менялы, и ученые. Достоинства вычислений на счетной доске разъяснял в своих сочинениях такой выдающийся мыслитель, как Герберт Аврилакский, ставший в 999 году папой римским под именем Сильвестра II. Новое с огромным трудом пробивало себе дорогу, и в историю математики вошло упорное противостояние лагерей абацистов (сторонников производства арифметических вычислений исключительно при помощи абака) и алгорисмиков, которые пропагандировали использование для вычислений арабских цифр. Интересно, что известный французский математик Никола Шюке в реестр налогоплательщиков города Лиона был вписан как алгорисмик (algoriste).
Но прошло не одно столетие, прежде чем новый способ счета окончательно утвердился, — столько времени потребовалось, чтобы выработать общепризнанные обозначения, усовершенствовать и приспособить к записи на бумаге методы вычислений. В Западной Европе учителей арифметики вплоть до XVII века продолжали называть магистрами абака — как, например, математика Никколо Тарталью.
Итак, сочинения по искусству счета назывались алгоритмами. Из многих сотен можно выделить и такие необычные, как написанный в стихах трактат «Carmen de Algorismo» (латинское carmen и означает «стихи») Александра де Вилла Деи или учебник венского астронома и математика Георга Пурбаха «Opus algorismi jocundissimi» («Веселейшее сочинение по алгоритму»).
Однако постепенно значение слова расширялось. Ученые начинали применять его не только к сугубо вычислительным, но и к другим математическим процедурам. Например, около 1360 года французский философ Николай Орем написал математический трактат «Algorismus proportionum» («Вычисление пропорций»), в котором впервые использовал степени с дробными показателями и фактически вплотную подошел к идее логарифмов. Когда же на смену абаку пришел так называемый счет на линиях, многочисленные руководства по нему стали называть «Algorithmus linealis» («Правила счета на линиях»).
Можно обратить внимание на то, что первоначальная форма algorismi спустя какое-то время потеряла последнюю букву, и слово приобрело более удобное для европейского произношения вид algorism. Позднее и оно, в свою очередь, подверглось искажению, скорее всего, по аналогии со словом arithmetic.
Счет на линиях (средневековый рисунок)
В 1684 году Г. В. Лейбниц в сочинении «Nova Methodus pro maximis et minimis, itemque tangentibus…» впервые использовал слово алгоритм (algorithmo) в еще более широком смысле: как систематический способ решения проблем дифференциального исчисления.
В XVIII веке в одном из германских математических словарей, «Vollstandiges mathematisches Lexicon» (изданном в Лейпциге в 1747 году), термин algorithmus все еще объясняется как понятие о четырех арифметических операциях. Но такое значение не было единственным, ведь терминология математической науки в те времена еще только формировалась. В частности, выражение algorithmus infinitesimalis применялось к способам выполнения действий с бесконечно малыми величинами. Пользовался словом алгоритм и Леонард Эйлер, одна из работ которого так и называется — «Использование нового алгоритма для решения проблемы Пелля» («De usu novi algorithmi in problemate Pelliano solvendo»). Мы видим, что понимание Эйлером алгоритма как синонима способа решения задачи уже очень близко к современному.
Однако потребовалось еще почти два столетия, чтобы все старинные значения слова вышли из употребления. Этот процесс можно проследить на примере проникновения слова алгоритм в русский язык.
Историки датируют 1691 годом один из списков древнерусского учебника арифметики, известного как «Счетная мудрость». Это сочинение известно во многих вариантах (самые ранние из них почти на сто лет старше) и восходит к еще более древним рукописям XVI века. По ним можно проследить, как знание арабских цифр и правил действий с ними постепенно распространялось на Руси. Полное название этого учебника — «Сия книга, глаголемая по еллински и по гречески «арифметика», а по немецки «алгоризма», а по русски «цифирная счетная мудрость»».
Таким образом, слово алгоритм понималось первыми русскими математиками так же, как и в Западной Европе. Однако его не было ни в знаменитом словаре В. И. Даля (1863–1866 годы), ни — спустя сто лет — в «Толковом словаре русского языка» под редакцией Д. Н. Ушакова (1935 год). Зато слово алгорифм можно найти и в популярном дореволюционном Энциклопедическом словаре братьев Гранат (1891–1903 годы), и в первом издании (1926 год) Большой советской энциклопедии (БСЭ). И там, и там оно трактуется одинаково — как правило, по которому выполняется то или иное из четырех арифметических действий в десятичной системе счисления. Однако к началу XX века для математиков слово алгоритм уже означало любой арифметический или алгебраический процесс, выполняемый по строго определенным правилам.
Алгоритмы становились предметом все более пристального внимания ученых, и постепенно это понятие заняло одно из центральных мест в современной математике. Что же касается людей, от математики далеких, то к началу 1940-х годов это слово они могли услышать разве что во время учебы в школе в сочетании «алгоритм Евклида». Несмотря на это, алгоритм все еще воспринимался как термин сугубо специальный, что подтверждается отсутствием соответствующих статей в менее объемных изданиях. В частности, его нет даже в десятитомной Малой советской энциклопедии (1957 год), не говоря уже об однотомных энциклопедических словарях. Но зато спустя десять лет, в третьем издании БСЭ (1969 год) алгоритм уже характеризуется как одна из основных категорий математики, «не обладающих формальным определением в терминах более простых понятий и абстрагируемых непосредственно из опыта».