Феномен науки

Почему же греки, несмотря на их высокую математическую культуру и обилие одаренных математиков, так и не смогли создать алгебраического языка? Обычный ответ на этот вопрос таков, что этому помешала именно их высокая математическая культура, конкретнее — высокий уровень требований к логической строгости теории, ибо иррациональные числа, которыми, как правило, выражаются значения геометрических величин, греки не могли рассматривать как числа; если отрезки были несоизмеримы, то считалось, что числового отношения для них просто не существует. Это объяснение, хотя оно и верно в общих чертах, следует вместе с тем признать неточным и поверхностным. Стремление к логической строгости не может быть само по себе отрицательным фактором в развитии математики. Если оно выступает в качестве отрицательного фактора, то, очевидно, лишь в комбинации с какими-то другими факторами и вряд ли следует решающую роль в этой комбинации приписывать именно стремлению к строгости. Совершенная логическая строгость в окончательных формулировках и доказательствах не мешала Архимеду пользоваться нестрогими наводящими соображениями. Почему же она помешала созданию алгебраического языка? Здесь дело, конечно, не просто в высоком стандарте логической строгости, а во всем строе мышления, в философии математики. Декарт, создав современный алгебраический язык, вышел за рамки греческого канона, но это вовсе не значит, что он погрешил против законов логики или пренебрегал доказательствами. И иррациональные числа он мыслил как «точные», а вовсе не как замененные на свои приближенные значения. Некоторые неполадки с логикой начались уже после Декарта, в эпоху бурного развития анализа бесконечно малых. Тогда математики были так увлечены потоком открытий, что им просто было не до логических тонкостей. В XIX в. появилось время подумать, и под анализ была подведена более прочная логическая основа.

Причины ограниченности греческой математики мы уясним себе после того, как разберем сущность переворота в математике, произведенного Декартом.

11.5. Арифметическая алгебра

Успехи геометрии оттеснили на задний план искусство решения уравнений. Однако оно продолжало развиваться и породило арифметическую алгебру. Возникновение алгебры из арифметики — это типичный метасистемный переход. Когда ставится задача о решении уравнения — независимо от того, формулируется ли она на обычном разговорном языке или на специализированном, — это еще задача арифметическая. И когда указывается общий метод решения — на примерах, как это делается в начальной школе, или даже в виде формулы, мы все еще не выходим за пределы арифметики. Алгебра начинается тогда, когда сами уравнения становятся объектом деятельности, когда изучаются свойства уравнений и правила их преобразования. Наверно, каждый, кто помнит, как он познакомился с алгеброй в школе (если только это было на уровне понимания, а не зазубривания), помнит и то радостное чувство изумления, которое испытываешь, когда оказывается, что разнотипные арифметические задачи, приемы решения которых представлялись друг с другом совершенно не связанными, решаются путем однотипных преобразований уравнений по нескольким простым и понятным правилам. Все ранее известные методы вписываются в стройную систему, открываются новые методы, вводятся в рассмотрение новые уравнения и целые классы уравнений (закон разрастания предпоследнего уровня), появляются новые понятия, не имеющие решительно никакого смысла в рамках собственно арифметики: отрицательные, иррациональные и мнимые числа.

Принципиальной необходимости создания специализированного языка для развития алгебры нет. Однако на деле только созданием специализированного языка завершается метасистемный переход в головах людей. Специализированный язык дает возможность убедиться, что мы имеем дело с некоей новой реальностью — в данном случае с уравнениями, которые можно рассматривать как объект выкладок, подобно объектам предыдущего уровня — числам. Людям свойственно не замечать воздуха, которым они дышат, и языка, которым все время пользуются. Созданный же вновь специализированный язык выпадает из сферы естественного языка и представляется частью неязыковой действительности. Это способствует метасистемному переходу. И, конечно, огромную роль играют практические удобства использования специализированного языка: обозримость выражений, уменьшение затрат на переписывание и т. п.