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

Нам не известно доподлинно, как Диофант пришел к своим уравнениям (см. [34]). Поскольку Диофант не пользовался геометрией, маловероятно, что он лишь переложил методы Евклида, приспособив их к решению квадратных уравнений. К тому же у Евклида не встречаются неопределенные уравнения: Диофант был первым из математиков, занявшихся систематическим исследованием таких уравнений. Мы не знаем, существовала ли преемственность в науке в конце александрийского периода, и поэтому нам трудно установить, в какой мере сказались на работах Диофанта идеи его древнегреческих предшественников. Использованные Диофантом методы решения уравнений имеют гораздо больше общего с традициями вавилонской математики. Ее влияние на Диофанта косвенно подтверждается и другими фактами. Однако алгебра Диофанта существенно отличается от вавилонской: Диофант ввел символику и стал систематически решать неопределенные уравнения. В целом деятельность Диофанта стала заметной вехой в истории алгебры.

Работы Герона и Диофанта, Архимеда и Птолемея по различным вопросам арифметики и алгебры не отличались по своему стилю от «рецептурных» текстов египтян и вавилонян, содержавших четкие указания относительно того, что и в какой последовательности следует делать. Дедуктивные, проводимые «по всей форме» доказательства геометрии Евклида, Аполлония и Архимеда были здесь преданы забвению. Все проблемы рассматривались индуктивно: автор указывал способ решения конкретной задачи, предположительно пригодный для решения более широкого круга задач, границы которого были нечетки. Нужно ли говорить, что при этом различные типы чисел (целые числа, дроби, иррациональные числа) вообще не определялись, если не считать маловразумительных определений целых чисел, предложенных Евклидом. Не существовало и аксиоматической основы, на которой можно было бы построить дедуктивную систему, пригодную для решения арифметических и алгебраических проблем.

Таким образом, греки завещали потомкам две совершенно различные математические науки: с одной стороны — дедуктивную, систематически развитую и излагаемую, хотя и не свободную от ошибок, геометрию, с другой — эмпирическую арифметику и алгебру как ее обобщение. Поскольку, согласно представлениям греческих мыслителей классического периода, математические результаты должны были выводиться дедуктивно и базироваться на явно заданной аксиоматической основе, возникновение независимых арифметики и алгебры, не обладающих собственной логической структурой, привело к одной из величайших аномалий в истории математики.

Индийцы и арабы, подхватившие эстафету развития математики после окончательного уничтожения арабами эллинистической (александрийской) греческой цивилизации, в еще большей мере нарушили концепцию математики, сложившуюся у греков классического периода. Подобно своим предшественникам — грекам, индийские и арабские математики использовали целые числа и дроби, но они, не колеблясь, оперировали и иррациональными числами. Именно они ввели новые, верные, правила сложения, вычитания, умножения и деления иррациональных чисел. Как же индийцам и арабам удалось придумать правила, лишенные логического обоснования и тем не менее оказавшиеся верными? Загадка решается довольно просто: индийцы и арабы рассуждали по аналогии. Так, правило √ab = √a∙√b они считали верным для любых чисел 

a и b,

поскольку оно выполнялось, например, в случае √36 = √4∙√9. Фактически индийцы считали, не оговаривая этого специально, что с квадратными корнями из целых чисел можно обращаться так же, как с целыми числами.

Индийцы были менее изощренными математиками, чем греки, и не видели, какие логические трудности таятся в понятии иррационального числа. Интересуясь «рецептурной», или алгоритмической, стороной вычислений, индийцы не заметили те различия, которым греки придавали столь большое значение. Но производя сложение и вычитание, умножение и деление иррациональных чисел по таким же правилам, по каким производятся арифметические операции над рациональными числами, индийцы внесли посильный вклад в развитие математики. Кроме того, вся их арифметика была полностью независимой от геометрии.

Введя в обращение отрицательные числа для обозначения денежных долгов, или пассива, индийцы преумножили и без того многочисленные логические трудности математиков (положительные числа при таком подходе должны означать наличность, или актив). Первым ввел отрицательные числа Брахмагупта (около 628 г.), но он лишь сформулировал правила четырех арифметических действий над отрицательными числами, не приведя никаких определений, аксиом или теорем. Выдающийся индийский математик XII в. Бхаскара обратил внимание на то, что квадратный корень из положительного числа имеет два значения — положительное и отрицательное. Бхаскара рассмотрел также вопрос о квадратном корне из отрицательных чисел и пришел к выводу, что такой корень не существует, так как иначе его квадрат должен был бы быть отрицательным числом, а отрицательное число не может быть квадратом.