А. Степанов - Число и культура

Вместе с внедрением регулярного оппозиционного мышления в разных областях культуры, не исключая самой математики, неизменно происходило образование троек логических единиц. Возьмем такую знакомую вещь как сравнение величин. Говоря "пять больше, чем два", мы осуществляем простейшую бинарную операцию, в подобных утверждениях всегда фигурируют пары величин, n = 2. Сколько всего типов таких отношений должно существовать? – В этом "всего" заранее инсталлированы качества полноты и замкнутости. Связность также обеспечена, т.к. разные виды отношений не изолированы друг от друга, составляя логически компактный пакет. Разновидностей в результате оказывается три: больше, меньше, равно . Читатель, вероятно, обратит внимание на то, что в данном примере функцию элементов приняли на себя отношения (отношения сравнения), но это не собьет нас с толку, ибо в системах S количества элементов и отношений совпадают, см. условие (1). С отношениями больше-меньше-равно мы по сути встречались применительно к времени: раньше-позже-одновременно.

Формирование тройственности холистических структур, коль скоро конституированы бинарные отношения, требовало порой веков и тысячелетий. Личные и коллективные драмы, подлинные революции духа сопровождали этот процесс, и не надо думать, что все было гладко у самих математиков. Об одной истории утверждения тройственности, вероятно, стоит рассказать.

О том, что существуют целые и дробные числа, знали еще до первых цивилизаций Египта и Междуречья. Свойства названных чисел продолжали выяснять и впоследствии (так, Фалес доказал бесконечность натурального ряда, Эвклид – неограниченность ряда чисел простых, от эпохи к эпохе совершенствовались приемы обращения с правильными и неправильными дробями и т.д.). Вплоть до античности люди не без оснований думали: помимо натуральных и дробных чисел, никаких других нет. Эти числа были привычны, их происхождение освящено мифологическими авторитетами вроде Прометея, Гермеса, они удовлетворяли потребностям практики: с их помощью можно выразить любую величину (длину палки, площадь участка земли, размер урожая…). Причем, как выражаются сейчас, с любой – сколь угодно высокой – степенью точности, тогда же без затей предполагали: точно. Феноменальные достижения раннегреческой математики, впервые открывшей строгое доказательство как таковое (об этом много написано, см., напр., [142]или [128]), не просто двигались истинным вдохновением, но и сопровождались подлинным апофеозом числа, способного, казалось, взять любые преграды. Пифагорейцы утверждали: "Числа правят миром", – и построили на этом полуфилософию-полурелигию.

Какой же должна была быть их реакция, когда греческий математик Гиппазий, взяв прямоугольный треугольник с двумя катетами размером по единице (простейший объект для теоремы самого Пифагора) очень изящно и совершенно строго доказал, что длина гипотенузы этого треугольника не выражается никаким – ни целым, ни дробным – числом? Предположение о представимости такого числа (теперь мы записываем его как √2 ) в виде дроби приводило к логическому противоречию, что равносильно для математиков смертному приговору. Гипотенуза есть, она предъявлена, но ее длину невозможно записать "никаким" числом. Имеют ли тогда числа право претендовать на управление целым миром, если им не удается справиться даже с простейшею ситуацией? Нетрудно представить чувства, охватившие пифагорейцев и других математиков, шок – вероятно, слишком мягко. Никакие усилия не помогали найти выход из положения и спасти репутацию.

Потрясение оказалось настолько глубоким, что побудило пифагорейцев вообще отказаться от чисто арифметического способа рассуждений, впредь ограничиваясь наглядной геометрией и даже алгебраические по характеру задачи решая геометрическим способом (так называемая геометрическая алгебра).(12) Остальные математики также постарались подальше отойти от места крушения колосса и в дальнейшем огибать опасную зону на почтительном расстоянии. Любопытный и по-своему знаменательный исторический факт: на протяжении двух тысячелетий математики знали о доказательстве Гиппазия, но предпочитали о нем поменьше упоминать, спасаясь солидарным полуумолчанием от "парадокса".

Помимо √2, было найдено немало других чисел с аналогичными свойствами – √3, √5 и т.д.,(13) – доказательства строились по уже известному алгоритму. Лишь в Возрождение – в обстановке крушения авторитетов, традиций, в эпоху великих открытий, в контексте принципиально новых математических задач (собственно алгебраических) и методов их решения – был не только чрезвычайно расширен класс таких чисел, но и с ними научились подобающим образом обходиться. Впрочем, название, ставшее термином, сохранило печать былых драм: числа иррациональные , явный оксюморон (как может число противоречить разуму?).