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

За многие века, на протяжении которых европейские математики упорно пытались понять природу различных типов чисел, на передний план выступила еще одна фундаментальная логическая задача — задача обоснования алгебры. Первой работой, существенно упорядочившей новые результаты, было «Великое искусство» Дж. Кардано. В этой книге Кардано показал, как решать кубические уравнения (например, x³ + 3x² + 6x = 10) и уравнения четвертой степени (типа х⁴ + 3x³

+ 6x² + 7x + 5 = 0). Примерно за сто лет арсенал алгебры пополнился многими важными результатами, часть которых была известна еще арабским математикам: методом математической индукции, биномиальной теоремой и приближенными методами вычисления корней уравнений разных степеней. Основной вклад в сокровищницу алгебры внесли Виет, Гарриот, Жирар, Ферма, Декарт и Ньютон. Но все эти новые результаты фактически не были доказаны. Правда, Кардано, а позднее Бомбелли и Виет привели в обоснование своих методов решения кубических уравнений и уравнений четвертой степени кое-какие геометрические соображения, но, поскольку эти математики игнорировали отрицательные и комплексные корни, приведенные ими соображения заведомо не могли рассматриваться как доказательства. Кроме того, появление уравнений высших степеней, например четвертой и пятой, означало, что геометрия, ограниченная в те времена трехмерным пространством, не могла служить основой доказательств. Результаты, полученные другими авторами, чаще всего оказывались всего лишь более или менее удачными догадками, подсказанными конкретными примерами.

Шаг в правильном направлении сделал Виет. Со времен Древнего Египта и Вавилона и вплоть до появления работы Виета математики решали уравнения первой степени, квадратные, кубические и уравнения четвертой степени, ограничиваясь всякий раз лишь какими-либо конкретными числовыми значениями коэффициентов. При подобном подходе уравнения 3x² + 5x + 6 = 0 и 4x² + 7x + 8 = 0 считались различными, хотя было ясно, что оба уравнения решаются одним и тем же методом. Кроме того, ученые стремились избежать отрицательных чисел; поэтому такое, например, уравнение, как x²

− 7x + 8 = 0, принято было записывать в виде x² + 8 = 7x. Возникало множество типов уравнений одной и той же степени, каждый из которых приходилось рассматривать в отдельности. Главный вклад Виета в развитие алгебры состоял в введении буквенных коэффициентов.

По образованию и роду занятий Виет был юристом; математика же была для него «хобби», которому он посвящал свободное от работы время, печатая и рассылая свои работы за собственный счет. Отдельные математики использовали буквенные обозначения и до Виета, но делали это лишь от случая к случаю. Виет был первым, кто продуманно ввел буквенные обозначения и систематически их использовал. Основное новшество состояло в том, что буквами обозначались не только неизвестные или степени неизвестных, но, как правило, и коэффициенты уравнений. Такой подход позволял единообразно рассматривать все квадратные уравнения, записав их (в современных обозначениях) в виде ax² + bx + c = 0, где буквенные коэффициенты a, b и c

могут означать любые числа, а x —неизвестную величину (или неизвестные величины), значения которой требуется найти.

Виет назвал свою новую алгебру logistica speciosa (исчисление типов), противопоставляя ее тому, что он назвал logistica numerosa (исчисление чисел). Он хорошо понимал, что изучение квадратного уравнения общего вида ax²

 + bx + c = 0 эквивалентно изучению всего класса квадратных уравнений. Проводя в своем сочинении «Введение в аналитическое искусство» (In artem analyticam isagoge, 1591) различие между logistica numerosa и logistica speciosa, Виет обозначил границу между арифметикой и алгеброй. По его словам, алгебра — это метод, позволяющий производить действия над типами или видами, т.е. logistica speciosa; арифметика же и теория решений уравнений с конкретными числовыми коэффициентами образуют logistica numerosa. Тем самым Виет возвел алгебру на более высокий уровень, превратив ее в науку об общих типах форм и уравнений: ведь результат, полученный в общем случае, охватывает бесконечно много частных случаев.