Аль-Хорезми был не первым, кто использовал восстановление и редукцию — эти операции можно найти еще у Диофанта. Когда книгу Аль-Хорезми перевели на латынь, фигурирующий в заглавии «aljabr» превратился в «алгебру». Книга Аль-Хорезми по алгебре, наряду с еще одной его книгой, посвященной индийской десятичной системе счисления, распространилась в Европе столь широко, что само имя его обессмертилось в качестве научного термина: аль-Хорезми стал Алхоарисми, Алгорисми и в конце концов алгоритмом.
С XV по XVII век математические предложения двигались по дороге от словесных выражений к
Через несколько десятилетий после смерти Виета Рене Декарт опубликовал свое «Рассуждение о методе». В этом труде он применил математическую логику к человеческому мышлению. Для начала он подверг сомнению все свои убеждения, а после того, как все было отброшено, у него осталась лишь уверенность в том, что он существует. Тот аргумент, что нельзя подвергать сомнению собственное существование, коль скоро мыслительный процесс требует существования того, кто мыслит, нашел краткое выражение в знаменитой фразе из «Рассуждения» — «Я мыслю — следовательно, я существую». Это, наверное, наиболее известная в мире цитата, а сама книга считается краеугольным камнем западной философии. Декарт, однако, замысливал свой труд как введение к трем приложениям, составленным из других его научных работ. Одно из них — «La Geometrie» — в равной мере стало вехой в истории математики.
В своей «La Geometrie» Декарт вводит символы, ставшие затем стандартными алгебраическими обозначениями. Это первая книга, которая выглядит как современная публикация по математике, со всеми ее
То, что Лука Пачоли в 1494 году выразил бы как
4 Census p 3 de 5 rebus ae 0,
а Виет в 1591 году записал бы как
4 in A quad - 5 in A piano + 3 aequatur 0,
Декарт в 1637 году застолбил в виде
4
Замена слов буквами и символами представляла собой нечто большее, чем просто удобное сокращение записи. Начало символу x положило сокращение для «неизвестной величины», но коль скоро такое обозначение возникло, оно превратилось в мощное средство, способствующее мышлению. Просто слово или сокращение нельзя подвергнуть математическим операциям так, как это делается с символом, подобным
Пока задачи формулировались риторически, как это было в Египте, математики применяли изобретательные, но довольно бессистемные методы для их решения. Древние решатели задач были подобны участникам экспедиции, застрявшим в тумане и вынужденным полагаться лишь на несколько ухищрений, помогающих продвигаться вперед. Когда же задачи стали формулировать, используя символы, туман этот рассеялся, и перед математиками предстал мир с исключительно ясными очертаниями. Диво алгебры состоит в том, что порой одна лишь запись задачи в символическом виде уже почти дает ее решение.
Вернемся к тому фокусу, о котором я рассказал в начале главы. Я попросил вас назвать трехзначное число, в котором первая и последняя цифры различались бы по крайней мере на два. А далее требовалось получить второе число, переставив цифры в исходном числе в обратом порядке.