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

Не только алгебра вырвалась из цепей геометрии, но и геометрия вышла за рамки пространственных концепций (см. Главу 16). И алгебру, и геометрию все больше рассматривали как абстрактные конструкции, простыми частными случаями которых были знакомая нам арифметическая алгебра и двух- и трехмерная геометрия.

Теорема 1

Все операции с языком как инструментом рассуждения могут быть выполнены с помощью системы знаков, состоящих из следующих элементов:

1. буквенные символы, такие, как х, у и т. д., которые отображают объекты наших концепций.

2. Знаки операций, такие, как +, -, х, описывают операции, являющиеся предметом наших размышлений, при помощи которых концепции и объекты комбинируются или решаются, чтобы сформировать новые концепции, вовлекающие те же самые элементы.

3. Знак равенства, =.

И эти символы логики используются, подчиняясь определенным законам, отчасти согласующимся с законами, соответствующими тем, что приняты в алгебре, а частично отличающимся от них.

Джордж Буль.

Исследование законов мышления, на которых основываются математические теории логики и вероятностей (1854)

Молодая американская математика проявила себя именно в области создания новых алгебр. Бенджамин Пирс (1809–1890), профессор математики в Гарварде и директор Геодезической службы, был очень впечатлен работой Гамильтона и начал широко распространять его идеи в США. Пирс начал составлять таблицы для 162 различных алгебр. Каждая алгебра начиналась с нескольких — от двух до шести — элементов, которые могли быть скомбинированы при помощи двух операций — ассоциативного умножения и сложения. В сложении всегда был нейтральный элемент ноль, однако умножение порой не имело нейтрального элемента 1. Каждая из этих «линейных ассоциативных алгебр» разворачивалась в матрицу. Из-за того что профессор Гарварда в 1870-е годы был вынужден издавать свою работу литографическим способом, некоторые заключили, что в США экономические трудности. Работа была записана переписчицей от руки и напечатана в количестве всего 100 экземпляров. Сын Бенджамина, Чарльз Сандерс Пирс (1839–1914), продолжил работу отца и показал, что из всех 162 алгебр только в трех была уникально определенная операция деления — в арифметической алгебре, алгебре комплексных чисел и алгебре кватернионов. В Англии Уильям Кингдон Клиффорд (1845–1879) создал свои алгебры (в том числе алгебру октонианов и бикватернионов). Он сделал это прежде всего для того, чтобы изучить движение в неевклидовом пространстве. Все эти новшества увели ученых далеко от той алгебры, которую знали в начале столетия.

Здесь история разветвляется на множество переплетающихся путей. Последователи Буля применили математику к логике, создав алгебраическую логику; итальянский математик Джузеппе Пеано (1858–1932), а позднее английский математик и философ Бертран Рассел (1872–1970) стремились вывести математику из логики — эту затею можно определить как логицизм. Другие ученые, тревожась из-за появления новых математических структур, начали искать твердый фундамент математики — то, на чем сможет надежно стоять все здание этой науки. О практических результатах этого поиска можно узнать из главы 23.

Если человек не знает, как рассуждать логично, — а я должен отметить, что большинство довольно хороших, да и выдающихся математиков подпадают под эту категорию, — но просто пользуется счетом на пальцах, слепо делая выводы по аналогии с другими выводами, которые оказались правильными, он, конечно, будет постоянно делать ошибки в отношении нон-финитных чисел. Истина заключается в том, что такие люди вообще не рассуждают. Однако для того меньшинства, что способно рассуждать, рассуждение о нон-финитных числах оказывается проще, чем рассуждение о числах финитных, поскольку [в первом случае] не требуется сложный силлогизм транспонируемого количества. Например, то, что целое больше своих частей, не является аксиомой, в отличие от мнения Евклида, в высшей степени плохого логика. Это теорема, легко доказуемая с помощью силлогизма транспонируемого количества, но не иначе. Она верна в отношении конечных множеств, но ошибочна в отношении бесконечных. Так, четные числа являются частью целых чисел. Тем не менее четных чисел не меньше, чем всех целых чисел; это несложная теорема, поскольку если любое число в целом ряде целых чисел удвоится, результатом будет ряд четных чисел:

1,2, 3, 4, 5, 6 и т. д.

2, 4, 6, 8,10,12 и т. д.

Так что для каждого числа существует отдельное четное число. На самом деле существует столько же отдельных удвоенных чисел, сколько существует вообще отдельных чисел. Но все удвоенные числа являются четными…

Чарльз Сандерс Пирс[22].

Закон разума (1892)[23]

18. Поля деятельности

С середины восемнадцатого века события в дифференциальном и интегральном исчислениях шли рука об руку с развитием математического анализа физических явлений, особенно движения. Исследуемые темы включали термодинамику, астрономическую механику, гидродинамику, оптику, электричество и магнетизм. Ученые составляли дифференциальные уравнения, описывая эти явления, а затем разрабатывали методы, необходимые для их решения. Единственное точное решение было трудно найти, а потому математики сосредоточились на методах приблизительного решения. Хотя упомянутые выше явления физически выглядели совершенно по-разному, все они в некотором смысле были связаны со средой. Со времени появления ньютоновских «Начал» бушевали споры относительно реальности «действия на расстоянии»: как, например, тяготение может действовать на большом расстоянии? Что такое тяготение и магнетизм — разные проявления одной и той же силы или совершенно различные явления? Возможно ли, что пространство заполнено некоей средой, известной как эфир? Если да, то что такое эфир и каковы его свойства? Чтобы проиллюстрировать все эти вопросы, я сосредоточусь на истории теории потенциала и ее связи с электромагнетизмом.