Математика. Утрата определенности.

Безграничное применение алгебры вызвало множество протестов. Философ Томас Гоббс был в математике величиной далеко не первого порядка, тем не менее именно он выразил мнение многих математиков, выступив с протестом против «несметного полчища тех, кто применяет алгебру к геометрии». Гоббс утверждал, что алгебраисты ошибочно подменяют геометрию символами, и отозвался о книге Джона Валлиса по аналитической геометрии конических сечений как о «гнусной книге», покрытой «паршой символов». Против применения алгебры выступали многие видные математики, в том числе Блез Паскаль и Исаак Барроу; при этом они ссылались на то, что алгебра логически не обоснована, и по той же причине настаивали на чисто геометрических методах и доказательствах. Кое-кто из математиков полагал, будто отступление на позиции геометрии позволит логически обосновать алгебру (как мы уже отмечали, подобная позиция была ошибочной).

Но большинство математиков свободно применяли алгебру в чисто утилитарных целях. Ценность алгебры состояла в том, что она равно хорошо (как и геометрия) позволяла решать все те задачи, с которыми сталкивались математики, а превосходство алгебры даже при рассмотрении чисто геометрических проблем было столь очевидно, что математики бесстрашно погрузились в ее воды.

В отличие от Декарта, считавшего алгебру служанкой геометрии, Джон Валлис и Ньютон полностью сознавали силу алгебраических методов. И все же математики весьма неохотно отказались от геометрических подходов. По свидетельству Генри Пембертона, выпустившего третье издание ньютоновских «Начал», Ньютон не только постоянно выражал свое восхищение древнегреческой геометрией, но и сетовал на себя за то, что не следовал примеру античных математиков в большей мере. В письме к Дэвиду Грегори (1661-1708), племяннику Джеймса Грегори (1638-1675), Ньютон заметил: «Алгебра — это анализ для неумех в математике». Но в своей «Всеобщей арифметике» (1707) он приложил максимум усилий, чтобы убедительно показать превосходство алгебры. Арифметику и алгебру Ньютон излагал как основу математики, обращаясь к геометрии лишь в тех случаях, когда ему требовалось доказать то или иное утверждение. Тем не менее в целом «Всеобщая арифметика» была не более чем набором правил. Утверждения о числах или алгебраических методах лишь изредка подкреплялись доказательствами или интуитивными соображениями. По мнению Ньютона, буквы в алгебраических выражениях означают числа, а в достоверности арифметики никто не может усомниться.

Лейбниц также отметил все возрастающую главенствующую роль алгебры и по достоинству оценил эффективность алгебраических методов. По поводу замечаний некоторых математиков о том, что алгебраические утверждения не подкреплены доказательствами, Лейбниц счел нужным заявить: «Геометрам нередко удается несколькими словами выразить то, что требует громоздких рассуждений в анализе… применимость алгебры не вызывает сомнений, но с доказательностью у нее не все благополучно». Работу в современной ему алгебре Лейбниц назвал «смесью удачи и счастливого случая». Однако Леонард Эйлер в своем «Введении в анализ бесконечно малых» (1748) открыто и безоговорочно провозгласил превосходство алгебры над геометрическими методами греков. К середине XVIII в. сдержанное отношение к применению алгебры было окончательно преодолено. К тому времени алгебра напоминала раскидистое дерево с множеством ветвей, но почти полностью лишенное корней.

Развитие числовых систем и алгебры разительно отличается от развития геометрии. К III в. до н.э. геометрия имела уже дедуктивный характер. Немногие обнаружившиеся в ней пробелы и изъяны, как мы увидим в дальнейшем, оказались легко поправимыми. Что же касается арифметики и алгебры, то они никогда не были логически обоснованы. Казалось бы, отсутствие логического обоснования должно вызывать тревогу у всех математиков. Как могли европейцы, до тонкости изучившие дедуктивную геометрию греков, принять и применять различные типы чисел и алгебру, никогда не имевшие логического обоснования?