Никому не известный преподаватель начальной школы из Линкольна Джордж Буль (1815–1864) написал, как теперь считают, первую работу по математической логике. Буль подружился с шотландским математиком Огастесом де Морганом (1806–1871), которого поддерживал в споре о логике с шотландским философом сэром Уильямом Гамильтоном (1788–1856). Последний, кстати, не был родственником ирландского математика сэра Уильяма Роуэна Гамильтона. Об этом споре теперь все забыли, но именно он вдохновил Буля, математика-самоучку и лингвиста, издать в 1847 году краткую работу, озаглавленную «Математический анализ логики». В том же году вышла публикация де Моргана «Формальная логика». Два года спустя, скорее всего при поддержке де Моргана, Буль был назначен профессором математики в недавно открывшемся Королевском Колледже в Корке. Буль был твердо уверен, что логика должна считаться частью математики, а не метафизики и что правила логики должны выводиться не путем рассуждений, а посредством построения из простых формальных элементов. Только после создания логической структуры можно давать лингвистическую интерпретацию. Он отвергал представление, согласно которому математика считалась наукой о числах и размерах (представление, восходящее к древним грекам), и считал, что любая последовательная символическая логическая система — часть математики. Впервые мы видим ясно сформулированное представление, согласно которому математика — это наука, где главное не столько содержание, сколько структура. В работе Буля «Исследование законов мышления, на которых основываются математические теории логики и вероятностей» (1854) эти идеи подробно разъяснялись, устанавливалась формальная логика и новая алгебра, которую теперь называют алгебраической логикой. Булева алгебра — по существу, алгебра классов объектов, и переменные вроде х теперь обозначали не числа, а скорее ментальный акт выбора класса из заданного пространства. Например, х может быть классом «мужчины» из пространства «люди». Символы подчиняются тем же правилам, что и в арифметической алгебре, за исключением дополнительной аксиомы, что x2 = х. В арифметике это уравнение верно только в случае, когда х равен 1 или 0, но в булевой алгебре это верно всегда — выбор класса «мужчин» дважды даст то же самое, что и однократный выбор. Кроме того, Буль придал символам 1 и 0 конкретные значения: 1 — это «всё», а 0 — «ничто». Эти идеи лежат в основе всемирной компьютерной революции, и мы снова вернемся к ним и подробно их рассмотрим в Главе 23.
Огастес де Морган был верным сторонником новой алгебры. Он родился в Индии, посещал Колледж Троицы в Кембридже, но не стал «оксфордианцем» или «кембриджианцем», потому как, хотя и принадлежал к англиканской церкви, де Морган отказался пройти теологический экзамен, необходимый для получения диплома. Вместо этого в возрасте двадцати двух лет он был назначен профессором недавно основанного светского Лондонского университета, позднее получившего название Университетского колледжа в Лондоне. Он значительно развил идеи Пикока, уже в 1830 году заявив, что «за одним-единственным исключением, в этой главе ни одно из понятий или знаков арифметики или алгебры не имеет ни малейшего значения. Предмет обсуждения этой главы — символы и законы их сочетания, позволяющие создать символическую алгебру, которая после этого может стать грамматикой для ста различных алгебр». Единственным исключением, по де Моргану, был символ равенства, по этой причине в выражении х=у х и у должны иметь одно и то же значение. Это странно звучащее высказывание взято из книги «Тригонометрия и двойная алгебра» (1830): «двойная алгебра» относится к сдвоенной природе комплексных чисел в противоположность «одиночной алгебре» действительных чисел. Но де Морган, казалось, не сумел до конца понять важность собственного заявления: увидев подобие между одинарной и двойной алгебрами, он полагал, что тройной или четверной алгебры быть не может. В этом он сильно ошибался.
Несмотря на то что оба родителя Уильяма Роуэна Гамильтона умерли, когда он был еще ребенком, его дарование стало заметным очень рано. Талантливый лингвист, он уже в пятилетием возрасте читал тексты на греческом, иврите и латыни. Он проступил в Дублинский Тринити Колледж и в двадцать два года, еще не получив диплома о завершении образования, был назначен Королевским астрономом Ирландии, директором обсерватории Дансинка и преподавателем астрономии. Одной из его любимых тем было рассуждение о том, что пространство и время неразрывно связаны, причем геометрия — это наука о пространстве, а алгебра — наука о времени. В 1833 году он представил в ирландскую Королевскую академию характерное представление сложных чисел а + ib как упорядоченной пары (а, b) со ставшими теперь стандартными геометрическими интерпретациями сложения и умножения:
(а, b) + (с, d) = (а + с, b + d)
(а, b) х (с, d) = (ас - bd, ad + bc)
Затем он попытался распространить систему двумерных сложных чисел до трех измерений. Поначалу это казалось довольно просто — он просто определил z = а + ib + jc с длиной, равной √ (а2 + b2 + с2). Определение сложения тоже было довольно простым, но умножение просто не будет работать: невозможно менять сомножители местами без изменения результата. Эта проблема и числа более высокого порядка не давали ему покоя больше десяти лет. Затем, 16 октября 1843 года, он шел с женой вдоль Королевского канала, и вдруг на него снизошло озарение: нужно использовать четверки, а не тройки и отбросить закон коммутативности. В результате четверки выглядели так: z=a + ib +jc + kd c i2 =j2 = k2 = ijk = -1. Это означало, что ij = k, но ji = -k, так что переместительный закон был отброшен. Но в целом структура была последовательной. Так возникла новая алгебра. Гамильтон остановился и вырезал формулу ножом на камне Бротонского моста. В тот день он оповестил ирландскую Королевскую академию, что на следующей встрече он желает прочитать лекцию о кватернионах — так он назвал свои четверки.
Важность этого открытия — не только в создании новой алгебры, но и в том, что математики получали свободу построения новых видов алгебры. Это первая подробная теория о некоммутативной алгебре. Свойство некоммутативности означает, что при трех измерениях общая последовательность двух вращений даст различные результаты в зависимости от того, в каком порядке они будут выполняться, в отличие от того, что происходит при двух измерениях. Оставшуюся часть жизни Гамильтон развивал новую алгебру и в 1853 году опубликовал «Лекции о кватернионах». Большая часть этой работы посвящена применению кватернионов в геометрии, дифференциальной геометрии и физике. Как мы увидим в следующей главе, Джеймс Клерк Максвелл сформулировал свои уравнения электромагнетизма в нотации кватернионов. Гамильтон был до одержимости твердо уверен, что кватернионы — ключ к полному описанию законов Вселенной. Он умер в 1865 году, почти завершив свой труд «Основы теории кватернионов», который был отредактирован и издан его сыном уже после смерти ученого.
Не только алгебра вырвалась из цепей геометрии, но и геометрия вышла за рамки пространственных концепций (см. Главу 16). И алгебру, и геометрию все больше рассматривали как абстрактные конструкции, простыми частными случаями которых были знакомая нам арифметическая алгебра и двух- и трехмерная геометрия.
