Чарльз Бэбидж (1791—1871) - страница 7
Бэбидж писал, что Общество должно было способствовать распространению принципов чистого «d-изма» [>1 Бэбидж имеет здесь в виду трактовку производной как отношения дифференциалов (y'=dy/dx), которая была принята в европейских странах.]. 185, с. 25]. Но в скором времени «Аналитическое общество» значительно переросло эти задачи. Оно стало пропагандистом новых идей в математике и дало толчок ее развитию в Англии.
«Аналитическое общество» стало проводить регулярные заседания, на которых его члены выступали с научными докладами, обсуждали появляющиеся в печати работы. «Аналитическое общество» развило довольно большую издательскую деятельность, в частности, стало публиковать свои труды. Бэбидж, Гершель и Пикок в 1816 г. перевели с французского языка «Трактат по дифференциальному и интегральному исчислению» профессора Политехнической школы в Париже С. Ф. Лакруа (1765— 1843), дополнив его в 1820 г. двумя томами примеров [16]. Все три друга в это время много занимались математикой.
Вначале движение, начатое «Аналитическим обществом», мало затрагивало алгебру, но постепенно многие идеи (особенно Пикока), имевшие популярность в -Обществе, оказались решающими для пересмотра предмета алгебры. В «Аналитическом обществе» обострился интерес к символике, формализации различных теорий в математике. В Великобритании всегда в большом почете были «Начала» Евклида с их аксиоматическим построением, поэтому английские математики доброжелательно отнеслись к попыткам аксиоматического изложения алгебры.
В начале XIX в. возникла необходимость обосновать действия с комплексными числами. Проблема привлекла внимание многих математиков, в том числе и членов «Аналитического общества». К этому времени английские математики еще не достигли уровня математиков континента в новых разделах математического анализа. Это также послужило одной из причин увлечения английских математиков логическими проблемами алгебры. Английская алгебраическая школа, основы которой были заложены в «Аналитическом обществе», внесла существенный вклад в формирование и развитие новой алгебры. Фундаментальный «Трактат по алгебре» (1830) Пикока был первой серьезной попыткой развития аксиоматических принципов в алгебре.
Пикок разделил алгебру на «арифметическую» и «символическую». Он считал, что арифметику можно считать отправной точкой для обобщений в символической алгебре. Символическую алгебру Пикок определял так: «Алгебра может быть определена как наука об общих суждениях, производимых символическим языком». Символы алгебры могут представлять количества любого вида, а операции, над ними выполняемые, «вводятся соответствующими определениями и допущениями, которые и будут составлять первые принципы науки».
В другом фундаментальном труде «Символическая алгебра» (1837) Пикок обсуждает предмет алгебры и содержание алгебраической операции, рассматривает принципы теоретического построения алгебры как дедуктивной науки. Он пишет о том, что основные принципы алгебры должны быть такими, чтобы логические следствия, вытекающие из них, не содержали противоречий. Это требование, считает Пикок, будет выполнено, если алгебра будет проверять свои основные положения «на принципах какой-нибудь более простой и известной науки, например, арифметики». Пикок неоднократно подчеркивал существенную роль интерпретации при формальном построении алгебры. Он писал, что тем символам, к которым примешиваются алгебраические операции, можно давать не только арифметические значения, но и другие — физические, геометрические и т. д.
В 60-х годах XX в. Дж. М. Дабей обнаружил в Британском музее неопубликованную работу Бэбиджа «Философия анализа», написанную в 1821 г. Эта работа содержит многие мысли, очень близкие к идеям Пикока, которые тот изложил в 1830 г. в своей книге. Нет сомнения, что Пикок был знаком и с рукописью и со взглядами Бэбиджа. По-видимому, роль Бэбиджа в формировании новой алгебры значительнее, чем это принято считать [104].
В 1815—1817 гг. Бэбидж опубликовал в «Философских трудах» три работы по математическому анализу [3, 4, 6]. Гершель опубликовал в записках Королевского общества статью о новых применениях математического анализа. Он писал в Энциклопедии также статьи о свете, метеорологии и истории математики.