Риман изобрел инструменты, которые теперь активно используются всеми математиками. Нет ничего удивительного в том, что в этом случае обычно скупой на похвалу Гаусс выразил энтузиазм по отношению к работе другого ученого. В рамках расширенного представления о геометрии Римана мы видим, что евклидова геометрия — это пространство, определенное постоянной кривизны, равной нулю. Геометрия Лобачевского имеет кривизну -1, а сферическая геометрия — кривизну +1. Хотя Римана можно было бы считать новым Евклидом, его имя связано с очень своеобразной геометрией, которая преобразует сферу в плоскость.

Позднее Риман внес свой вклад в теоретическую физику, и его общее исследование измерения расстояний между точками в искривленных пространствах в конечном счете проложило путь к общей теории относительности. Пространство, в котором мы живем, больше не было евклидовым, теперь у нас появились математические инструменты, позволявшие исследовать истинную геометрию Вселенной.

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

ОСНОВНЫЕ АЛГЕБРАИЧЕСКИЕ ПРАВИЛА АРИФМЕТИКИ ДЛЯ ЛЮБЫХ ЧИСЕЛ X, YИ Z

х + у=у+ х сложение коммутативно — сумма двух чисел не зависит от порядка расположения слагаемых

X х у=ух х умножение коммутативно

х + 0 = х сложение имеет нейтральный элемент, ноль, который оставляет любое число неизменным

хх 1 = хумножение имеет нейтральный элемент, единицу, которая оставляет любое число неизменным

X х(у + z) = хх у+х х z умножение ассоциативно по отношению к сложению.

Британский математический анализ отставал от европейского. Здесь во многом виновата ньютоновская нотация флюксий и ее неполноценность по сравнению с символикой, предложенной Лейбницем, — dy/dx.После того как британцы, пусть поначалу и неохотно, приняли европейскую систему обозначений, они добились нескольких довольно заметных достижений. В 1817 году, когда английский математик Джордж Пикок (1791–1858) был назначен экзаменатором по математике в Кембриджском университете, символическая нотация Лейбница наконец заменила флюксии Ньютона. По словам Чарльза Бэббиджа (1791–1871), целью Аналитического общества, основанного в 1813 году, была разработка «принципов чистого „де-изма“ в противовес „староточкизму“ университета» [21] . Другая цель общества заключалась в том, чтобы «сделать мир более мудрым, чем он был, когда мы в него пришли». Пикок в своем «Трактате об алгебре» (1830) назвал эту дисциплину «иллюстративной наукой». Первым делом арифметическая алгебра была отделена от символической. Элементами арифметической алгебры были числа и арифметические операции, тогда как символическая алгебра — это «наука, расценивающая комбинации знаков и символов согласно определенным законам, которые в целом независимы от определенных значений этих символов». Это откровенно неопределенное утверждение открыло дверь к общим исследованиям в области алгебры.

Никому не известный преподаватель начальной школы из Линкольна Джордж Буль (1815–1864) написал, как теперь считают, первую работу по математической логике. Буль подружился с шотландским математиком Огастесом де Морганом (1806–1871), которого поддерживал в споре о логике с шотландским философом сэром Уильямом Гамильтоном (1788–1856). Последний, кстати, не был родственником ирландского математика сэра Уильяма Роуэна Гамильтона. Об этом споре теперь все забыли, но именно он вдохновил Буля, математика-самоучку и лингвиста, издать в 1847 году краткую работу, озаглавленную «Математический анализ логики». В том же году вышла публикация де Моргана «Формальная логика». Два года спустя, скорее всего при поддержке де Моргана, Буль был назначен профессором математики в недавно открывшемся Королевском Колледже в Корке. Буль был твердо уверен, что логика должна считаться частью математики, а не метафизики и что правила логики должны выводиться не путем рассуждений, а посредством построения из простых формальных элементов. Только после создания логической структуры можно давать лингвистическую интерпретацию. Он отвергал представление, согласно которому математика считалась наукой о числах и размерах (представление, восходящее к древним грекам), и считал, что любая последовательная символическая логическая система — часть математики. Впервые мы видим ясно сформулированное представление, согласно которому математика — это наука, где главное не столько содержание, сколько структура. В работе Буля «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854) эти идеи подробно разъяснялись, устанавливалась формальная логика и новая алгебра, которую теперь называют алгебраической логикой. Булева алгебра — по существу, алгебра классов объектов, и переменные вроде хтеперь обозначали не числа, а скорее ментальный акт выбора класса из заданного пространства. Например, хможет быть классом «мужчины» из пространства «люди». Символы подчиняются тем же правилам, что и в арифметической алгебре, за исключением дополнительной аксиомы, что x 2= х.В арифметике это уравнение верно только в случае, когда хравен 1 или 0, но в булевой алгебре это верно всегда — выбор класса «мужчин» дважды даст то же самое, что и однократный выбор. Кроме того, Буль придал символам 1 и 0 конкретные значения: 1 — это «всё», а 0 — «ничто». Эти идеи лежат в основе всемирной компьютерной революции, и мы снова вернемся к ним и подробно их рассмотрим в Главе 23.

Огастес де Морган был верным сторонником новой алгебры. Он родился в Индии, посещал Колледж Троицы в Кембридже, но не стал «оксфордианцем» или «кембриджианцем», потому как, хотя и принадлежал к англиканской церкви, де Морган отказался пройти теологический экзамен, необходимый для получения диплома. Вместо этого в возрасте двадцати двух лет он был назначен профессором недавно основанного светского Лондонского университета, позднее получившего название Университетского колледжа в Лондоне. Он значительно развил идеи Пикока, уже в 1830 году заявив, что «за одним-единственным исключением, в этой главе ни одно из понятий или знаков арифметики или алгебры не имеет ни малейшего значения. Предмет обсуждения этой главы — символы и законы их сочетания, позволяющие создать символическую алгебру, которая после этого может стать грамматикой для ста различных алгебр». Единственным исключением, по де Моргану, был символ равенства, по этой причине в выражении х=у хи удолжны иметь одно и то же значение. Это странно звучащее высказывание взято из книги «Тригонометрия и двойная алгебра» (1830): «двойная алгебра» относится к сдвоенной природе комплексных чисел в противоположность «одиночной алгебре» действительных чисел. Но де Морган, казалось, не сумел до конца понять важность собственного заявления: увидев подобие между одинарной и двойной алгебрами, он полагал, что тройной или четверной алгебры быть не может. В этом он сильно ошибался.

Несмотря на то что оба родителя Уильяма Роуэна Гамильтона умерли, когда он был еще ребенком, его дарование стало заметным очень рано. Талантливый лингвист, он уже в пятилетием возрасте читал тексты на греческом, иврите и латыни. Он проступил в Дублинский Тринити Колледж и в двадцать два года, еще не получив диплома о завершении образования, был назначен Королевским астрономом Ирландии, директором обсерватории Дансинка и преподавателем астрономии. Одной из его любимых тем было рассуждение о том, что пространство и время неразрывно связаны, причем геометрия — это наука о пространстве, а алгебра — наука о времени. В 1833 году он представил в ирландскую Королевскую академию характерное представление сложных чисел а + ibкак упорядоченной пары (а, b) со ставшими теперь стандартными геометрическими интерпретациями сложения и умножения: