Магия чисел. Математическая мысль от Пифагора до наших дней - [68]

Шрифт
Интервал

Такой была формулировка, по которой многие поколения школьников пытались воспринять элементарную геометрию до тех пор, пока «Элементы» Евклида в качестве школьных учебников не были отвергнуты. Для нашей цели нет необходимости переводить определение во вразумительную и легко воспринимаемую форму в символике, общепринятой сегодня. Но, даже не воспринимая смысла, а просто перечитывая это определение, как какое-нибудь упражнение по чтению, легко заметить, что за словами в дважды повторяемой фразе «любые числа, имеющие общие множители» прячется грандиозное предположение. «Числа с общими множителями» двух величин означает «одинаково кратные», например три или восемь раз взятая каждая из величин. Чтобы установить, находятся ли четыре величины в пропорции («любые» из определения), требуется проверить все пары чисел с общими множителями. Когда таких пар бесконечность, такая проверка выше человеческих сил. Но разве это возражение существенно? Не для тех, кто способен вообразить себя выполняющими бесконечное количество умножений и сравнений результатов, как то требуется по определению. Какая крайность более рациональна – вопрос спорный, если только не должно оказаться, что один или другой не вступает в противоречие своим преимуществом. Но определение обнаруживает, что в попытке избежать ловушек «числа» и обращаясь к геометрически (или визуально) интуитивной концепции «величины» мы теряем себя в той же самой бесконечности, как и прежде.

Теория измерения и сравнения величин была способна (с некоторым преувеличением) предоставить рациональный счет непрерывного движения. Но, как часто случалось, греческий гений испытывал антипатию ко всему переменному и динамичному, предпочитая увековечить себя в четко отличающихся объектах, каждый из которых стоит особняком от других в своей конечной завершенности и совершенстве. В их геометрии эта склонность к статичности в противоположность динамике произвела множество специальных теорем без единого намека на общий принцип, объединяющий значительное число в их единстве и целостности. Современная геометрия лишь пассивно интересуется частными теоремами. Что она ищет и находит? Всестороннее обобщение, из которого любое заданное или требуемое число частных теорем может быть получено однородными способами. Различие между античным подходом и современным как-то сравнили с разницей между попыткой зубилом по кусочку раздробить гранитную глыбу и той же самой попыткой, но уже с заложенным динамитом. Другое обычное сравнение уподобляет греческую математику Парфенону, а современную математику готическому собору. Древний храм – символ конца всего, что он представляет, собор же – символ неограниченной бесконечности.

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

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

Если бы он преуспел в этом, он бы приблизил по меньшей мере часть современной теории континуума.


Рекомендуем почитать
Стратегии решения математических задач

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


Вначале была аксиома. Гильберт. Основания математики

Давид Гильберт намеревался привести математику из методологического хаоса, в который она погрузилась в конце XIX века, к порядку посредством аксиомы, обосновавшей ее непротиворечиво и полно. В итоге этот эпохальный проект провалился, но сама попытка навсегда изменила облик всей дисциплины. Чтобы избавить математику от противоречий, сделать ее «идеальной», Гильберт исследовал ее вдоль и поперек, даже углубился в физику, чтобы предоставить квантовой механике структуру, названную позже его именем, — гильбертово пространство.


Симпсоны и их математические секреты

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


Жар холодных числ и пафос бесстрастной логики

Цель книги доктора философских наук Б. В. Бирюкова и кандидата философских наук В. Н. Тростникова - создать общую картину подготовки и развития логико-математических аспектов кибернетики. Авторы рассказывают о длительном развитии науки логики, возникшей еще в Древней Греции, прослеживают непрерывающуюся нить преемственности, тянущуюся от Аристотеля к "чуду XX века" - быстродействующим кибернетическим устройствам.


Истина и красота: Всемирная история симметрии

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


Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике.