История математики. От счетных палочек до бессчетных вселенных

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

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