Я вот этого не поняла - как философ, опредеивший для себя по учению Платона приматом именно разум и логику может с омерзением отвернуться от чего то, что ему логически доказано?
Мне это тоже непонятно, но это исторический факт. Я на скорую руку собрал несколько цитат с Интернета.
----------
Одно из наиболее известных доказательств Евклида от противного — доказательство существования так называемых иррациональных чисел. По-видимому, иррациональные числа первоначально были открыты пифагорейцами несколькими столетиями раньше, но понятие иррационального числа вызывало у Пифагора столь сильное отвращение, что он отрицал существование иррациональных чисел.
Когда Пифагор провозгласил, что Вселенной управляют числа, он имел в виду только целые числа и их отношения, называемые рациональными числами. Иррациональное же число не является ни целым, ни дробью, и именно это обстоятельство казалось Пифагору отвратительным. Действительно, иррациональные числа настолько необычны, что их невозможно записать в виде конечных десятичных дробей или бесконечных периодических дробей. Например, такая бесконечная периодическая непрерывная дробь, как 0,111111..., — число весьма и весьма обыкновенное: оно равно дроби 1/9. То, что единица повторяется неограниченно много раз, означает лишь, что данное десятичное число обладает очень простой и регулярной структурой. В свою очередь такая строгая регулярность, несмотря на неоднократное (в действительности — бесконечнократное) повторение, означает, что данную бесконечную десятичную дробь можно записать в виде обыкновенной дроби. Но если вы захотите представить иррациональное число в виде десятичной дроби, то у вас получится бесконечная дробь, структура которой не будет регулярной и сколько-нибудь обозримой.
Для Пифагора идея красоты математики состояла в том, что рациональные числа (целые числа и обыкновенные дроби) позволяют объяснить все явления в природе. Эта путеводная философия ослепила Пифагора, не давая ему увидеть существование иррационального числа и, возможно, даже привела к казни одного из его учеников. Легенда рассказывает о том, что один из учеников Пифагора по имени Гиппас на досуге забавлялся с числом ?2, пытаясь найти эквивалентную ему обыкновенную дробь. В конце концов он понял, что такой дроби не существует, т.е. ?2 — иррациональное число. Совершив столь важное открытие, Гиппас, должно быть, пришел в неописуемый восторг, чего нельзя было сказать о его учителе. Пифагор определял все происходящее в мире с помощью рациональных чисел, и существование иррациональных чисел ставило под сомнение его идеал. Открытие Гиппаса могло бы повлечь за собой период споров и сомнений, и Пифагору пришлось бы признать новый источник чисел. Но Пифагор не хотел признать свои заблуждения и в то же время не мог разрушить аргументацию Гиппаса силой логики. К своему вечному позору, он приговорил Гиппаса к смерти через утопление.
Отец логики и математического метода прибег к силе, но так и не признал, что был неправ. Это было его самым позорным деянием и, возможно, величайшей трагедией греческой математики. Иррациональные числа обрели <права гражданства> в математике только после смерти Пифагора.
-------------
Исследуя свойства чисел, греки продвинулись основательно. Особо математиков поразило открытие иррациональных чисел (что видно из самого названия). Мир чисел оказался значительно богаче и сложней, чем представлялось поначалу. Видимо, появление иррациональных чисел было продиктовано геометрией, хотя Евклид доказал свою знаменитую теорему чисто алгебраически.
Сейчас это — хорошо известная школьная теорема: если n/m - несократимая дробь, то не существует таких n и m, чтобы выполнялось равенство n2/m2 = 2.
Иррациональные числа смутили адептов божественного порядка в мире чисел, но не поколебали.
Из теоремы, в частности, следует: иррациональных чисел вида, например, корень n-ой степени из р , где n - натуральное, а p - простое, неизмеримо больше, чем рациональных. Заметим, впрочем, что на самом деле проблема - "кого больше" существенно хитрей, если разговор идет о "бесконечных множествах". Теория множеств тогда, конечно, была неизвестна, но простая идея, что каждому рациональному числу (целому или дроби) можно поставить в соответствие бесконечно много иррациональных, - бесспорно, была ясна греческим математикам.
------------------------------
2. Первая научная школа Эллады
Стоя у истока греческой науки, Пифагор был вынужден заниматься всем сразу: арифметикой и геометрией, астрономией и музыкой. И цель он себе поставил богатырскую: разобраться в строении Вселенной и человеческого общества (от движения звезд до политической борьбы), а на основе такого знания исправить все, что происходит в мире не наилучшим образом. Решить вторую часть этой задачи Пифагор не сумел. На старости лет он погиб в городской усобице, пытаясь установить в Кротоне "республику ученых". Но в постижении Вселенной через математику Пифагор сделал огромный шаг вперед. Он первый заметил, что сила и единство науки основаны на работе с ИДЕАЛЬНЫМИ объектами. Например, прямая линия - это не тетива натянутого лука и не луч света: ведь они имеют небольшую толщину, а линия толщины не имеет. То же относится к геометрической плоскости и поверхности воды в спокойном озере, или к числу 5 и пяти пальцам на руке. Идеальные объекты (будь то числа или фигуры) встречаются только в математическом рассуждениии - зато там без них не обойтись. Только для них верны строгие научные выводы! Поэтому математика является как бы "вторым зрением" человека: она открывает разуму идеальные объекты, тогда как обычные чувства говорят нам о свойствах природных тел. Но если так, то какое из двух зрений важнее? Пифагор не сомневался на этот счет. Конечно, идеальные объекты важнее природных тел, поскольку о них мы знаем все - и знаем наверняка. Несовершенные природные тела являются лишь грубоватым подобием идеальных математических сущностей. Но где можно увидеть эти сущности в чистом виде?
Конечно, на небе! Ведь видно, что звезды и планеты - это идеальные точки, а Луна и Солнце - идеальные шары. Земля, видимо, тоже шар - но далекий от идеального. А все звезды расположены на поверхности огромной прозрачной сферы, которая равномерно вращается вокруг Земли. Солнце, Луна и пять планет движутся по небу иначе - значит, они не прикреплены к звездной сфере, а лежат на особых сферах. Если бы еще удалось понять связи между восемью небесными сферами: измерить их радиусы, или хотя бы отношения этих радиусов...
Такова первая научная модель мира, предложенная Пифагором. Согласно ей, все природные тела и процессы суть искаженные подобия идеальных тел и движений - а закономерности идеальных объектов выражаются с помощью чисел. Короче говоря: числа правят миром через свойства геометрических фигур! Но если так, то любые свойства чисел приобретают особое (даже мистическое) значение. Есть числа четные - а есть нечетные; есть простые, и есть составные. И еще есть дроби - то есть, отношения натуральных чисел; их Пифагор из осторожности называл не числами, а "величинами". О том, что возможны даже иррациональные числа, Пифагор долгое время не подозревал...
Конечно, столь замечательную модель надо проверить на практике. Пифагор занимался этим делом всю жизнь. Начал он с большой удачи: обнаружил связь между высотой звука и длиной того инструмента (флейты, или струны), который издает звук. Оказалось, что благозвучие (симфония) возникает, когда длины разных струн относятся между собою, как близкие целые числа: 2/1, 3/2, 4/3 и так далее.
Из этого факта Пифагор сделал смелый вывод: весь мир упорядочен с помощью дробей! Например, окружность имеет длину, в 22/7 раза превышающую ее диаметр. Правда, не ясно, как это доказать... Зато ясно, как вычислить отношение длины диагонали квадрата или куба к длине ребра этой фигуры. Это можно сделать на основе знаменитой теоремы Пифагора!
Согласно ей, сумма площадей квадратов, построенных на катетах прямоугольного треугольника, равна площади квадрата, построенного на гипотенузе этого треугольника. Пифагор проделал необходимые вычисления и получил удивительный результат: отношение диагонали квадрата к его стороне не может быть равно никакой дроби!
Пифагор был потрясен. Значит, даже среди идеальных тел геометрии не господствует полная симфония! Этот факт нужно скрыть от невежд до той поры, когда знатоки разберутся до конца в гармонии математического мира! Так и было сделано. Поэтому учение Пифагора не отразилось в какой-либо книге, а передавалось из уст в уста - со строгим запретом откровенничать с чужаками.
После смерти Пифагора союз его учеников распался, и первая научная школа Эллады перестала существовать. Подойдя вплотную к открытию иррациональных чисел, пифагорейцы не сумели сделать последний шаг. Они также не успели создать стереометрию - геометрию фигур в пространстве, среди которых особенно выделяются правильные многогранники. Сколько их в природе? Куб, тетраэдр и октаэдр были давно известны; пифагорейцы добавили к ним додекаэдр, но икосаэдр не заметили. А без стереометрии не получается удобная астрономия! Создать все это сумели только ученые из Афинской школы.
3. Афинское содружество ученых: школа Платона
В Афинах с 511 года до н.э. процветала демократическая республика. Здесь не было никаких секретов, обсуждению подвергалось все: от сообщений о том, что с неба выпал железный дождь, до преданий о том, как финикийцы за три года проплыли вокруг Африки и вернулись в Средиземное море мимо Геркулесовых столпов (так эллины называли горы по берегам пролива Гибралтар). Высочайший накал культурной жизни и научных споров привлекал в Афины самых талантливых ученых Эллады. Среди них был Анаксагор из Клазомен - последний питомец научной школы Милета. Он жил примерно в 500-428 годах до н.э. и около 460 года до н.э. переехал в Афины, где стал другом прославленного политика Перикла.
По складу ума Анаксагор был противоположен Пифагору: не математик, а физик, предпочитающий измерения и расчеты строгим логическим доказательствам. Он не верил ни в каких богов, кроме (может быть) Мирового Разума, а все небесные тела считал подобными Земле (то есть - не идеальными). Например, Солнце - это раскаленный камень, а метеориты - осколки Солнца, упавшие на Землю. Луна же - холодный шар, освещаемый Солнцем и равный ему: это заметно во время солнечных затмений. А как можно вычислить диаметр Солнца или Луны?
Очень просто: нужно спросить купцов, прибывающих в Афины вскоре после солнечного затмения! В каких городах Эллады видели полное затмение, а в каких - частичное? Расстояния между городами нам известны; по ним мы рассчитаем размер лунной тени на Земле, равный диаметру самой Луны или Солнца! Сказано - сделано. На основе опросов и расчетов Анаксагор заключил, что диаметр Луны или Солнца примерно равен диаметру полуострова Пелопоннес, где расположена Спарта. Так впервые стереоме
трия была успешно применена в астрономии и стала самостоятельной наукой - хотя не столь полной и строгой, как планиметрия. Например, связь между площадью круга и объемом шара оставалась не известна еще 200 лет - пока ее не выяснил Архимед.
Мы знаем теперь, что Анаксагор ошибся в оценке диаметра Луны примерно в 5 раз, а в оценке размера Солнца - еще больше, поскольку Солнце дальше от Земли, чем Луна. Однако математическая основа метода Анаксагора безупречна - если учесть зону частичного (а не только полного) солнечного затмения. Но современников Анаксагора волновали иные проблемы. Астроном подвергся осуждению благочестивых афинских граждан. Как он смеет измерять размеры бога Гелиоса (Солнца) и богини Гекаты (Луны)? Это - кощунство и богохульство! Астронома привлекли к суду, и даже заступничество Перикла не помогло; Анаксагор предпочел покинуть Афины. Вскоре после его изгнания в Афинах родился мальчик Аристокл; позднее он стал учеником Сократа и получил прозвище Платон - "Широкоплечий".
Платон жил в 427-347 годах до н.э. и характером напоминал Пифагора. Он тоже хотел постичь весь мир и исправить в нем все, что неправильно. Но через сто лет после Пифагора всем было ясно: в науке не надо секретничать! В 387 году до н.э. Платон основал Академию - первый общедоступный университет Европы, который действовал более 8 веков - до 529 года. Свое название эта школа получила от имени древнего героя Академа. Ему была посвящена роща, в которой прогуливались ученики Платона, ведя бесконечные споры обо всем на свете. Требование к участникам споров было одно: хорошее знание геометрии. Кто ее освоил - тот может постичь все, что пожелает, ибо геометрия правит всем миром! При этом сам Платон, кажется, не сделал крупных открытий в математике: основные теоремы геометрии были уже всем известны, а споры кипели вокруг их осмысления. Например: есть ли предел дробления природных тел? Демокрит из Абдеры считает, что существуют мелкие частицы - атомы, которые нельзя разделить пополам. Напротив - Зенон из Элеи уверен, что каждый отрезок можно неограниченно делить пополам, не достигая неделимой точки. Кто из них прав? Может быть, правы оба - но в разных областях? Допустим, что Зенон прав относительно идеальных математических сущностей, а Демокрит прав относительно природных тел. В таком случае получают разумное решение предложенные Зеноном парадоксы - вроде Ахиллеса и черепахи, которую быстроногий герой никогда не догонит.
Но если прав Демокрит, то геометрам нужно подумать о форме загадочных атомов. Это, наверное, самые совершеннвые тела - вроде правильных многогранников, которых в природе всего 5 (как было доказано). Интересно, атомы каких веществ имеют форму тетраэдра, куба и октаэдра? Может быть, такова форма атомов воздуха, воды и огня?
Если же прав Зенон, то путем последовательного деления пополам можно сколь угодно точно установить длину любого отрезка - даже диагонали квадрата, которая несоизмерима с его стороной. Интересно: можно ли таким путем узнать точную длину окружности и площадь круга?
Эта задача не покорилась ученикам Платона. Они не смогли построить циркулем и линейкой ни отрезок с длиною, равной длине данной окружности, ни квадрат с площадью, равной площади данного квадрата. Так проблема "квадратуры круга" вошла в число классических задач древности - наряду с удвоением куба и трисекцией угла.
В середине 4 века до н.э. наследники Платона поднялись на вершину классической геометрии - но в то же время достигли пределов этой науки. После этого школа Платона разделилась. Одни питомцы Академии принялись наводить порядок в уже освоенном мире планиметрии и стереометрии; другие старались выйти за его пределы с помощью новых методов работы.
Самым упрямым и непослушным из учеников Платона был Аристотель из Стагиры. Он жил с 384 по 322 год до н.э., и после смерти учителя основал в Афинах свою школу - Ликей. Позднее Аристотель уехал в Македонию, где стал учителем царевича Александра - будущего завоевателя Эллады и восточных стран. Аристотель считал, что главные открытия в геометрии уже сделаны. Пора переносить ее методы в другие науки: физику и зоологию, ботанику и политику. Но самое важное орудие геометрии - это логический метод рассуждений, который ведет к верным выводам из любых верных предпосылок. Этот метод Аристотель изложил в книге "Органон"; сейчас ее называют началом математической логики.
Впрочем, для обоснования физической науки одной логики мало; нужны эксперименты, измерения и расчеты вроде тех, которые проводил Анаксагор. Ставить опыты Аристотель не любил. Он предпочитал угадывать истину интуитивно - и в итоге нередко заблуждался, а поправить его было некому. Поэтому греческая физика состояла, в основном, из гипотез: иногда гениальных, но порою грубо ошибочных. Доказанных теорем в этой науке не было.
В противоположность Аристотелю, Евдокс из Книда не выходил за рамки точных наук: математики и астрономии. Зато в этой области он превзошел Пифагора, создав первую теорию иррациональных чисел.
Основная идея Евкдокса проста: назовем "числом" (или "величиной") длину любого отрезка! В таком случае все числа можно изобразить точками на луче, ведущем из центра в бесконечность. Одна из этих точек особенно замечательна: это правый конец отрезка длины 1. Другие замечательные точки - концы отрезков, соизмеримых с единичным отрезком. Их мы называем рациональными числами.
Но, согласно Пифагору, есть отрезки, не соизмеримые с единичным отрезком. Их длины (которые мы называем иррациональными числами) тоже можно сравнивать между собой. Например, соизмерима ли диагональ единичного куба с диагональю единичного квадрата? Оказывается, нет - потому, что их отношение (равное ..6) - иррациональное число. Таким образом, иррациональные числа распадаются на классы чисел, соизмеримых друг с другом. Один из таких классов порожден числом ..2, другой - числом ..3, третий - числом ..6. А что дальше? Можно доказать, что для любого простого числа Р число ..Р иррационально; первым это сделал ровесник и однокашник Евдокса - афинянин Тэетет. Несколько позже другой афинянин - Евклид - доказал, что множество простых чисел бесконечно. Значит, множество всех чисел (или всех отрезков) похоже на бесконечный архипелаг. Лишь один его остров составлен из рациональных чисел! Так мал оказался "симфоничный" мир Пифагора в рамках огромной математической Вселенной...
Большинство геометров Эллады испугались нежданной бесконечности и не стали изучать ее свойства. Только Тэетет заметил, что в множестве иррациональных островов есть свой порядок. До одних островов можно добраться из рациональной гавани с помощью линейки и циркуля - за один ход, или за несколько ходов. До других островов так добраться нельзя: по этой причине некоторые задачи на построение неразрешимы. Например, построить биссектрису угла совсем легко; построить правильный пятиугольник гораздо сложнее, а разделить произвольный угол на три равные части не удается. Мы знаем сейчас причину такой разницы: первые две задачи сводятся к решению квадратных уравнений, а трисекция угла требует решения кубического уравнения. Но эллины не знали таких понятий, как многочлен или алгебраическое уравнение. Они не владели даже позиционной системой счисления. Без такого аппарата греческая арифметика (в отличие от геометрии) не имела опоры в наглядном воображении ученых, и не могла помочь геометрии при решении ее самых трудных задач.
Нам сейчас кажется странным, что Евдокс не развил теорию чисел в более простом направлении. Ведь он фактически открыл числовой луч. Почему он не открыл числовую прямую, введя нуль и отрицательные числа? Видимо, Евдокс попал в плен к придуманному им самим определению: числа суть длины отрезков. Что такое отрезок длины (-2)? Чем он отличается от отрезка длины 2? На такой вопрос Евдоксу было бы нечего ответить. Другое дело, если бы отрицательные числа уже были в ходу у математиков Эллады. Например, такое число может обозначать долг купца - если положительное число изображает его имущество. Тогда имущество нищего придется изобразить нулем! Но увы - это "купеческое" представление о числах сложилось где-то на Ближнем Востоке через 5-6 веков после открытий Евдокса...
Архимед из Сиракуз - величайший ученый в истории Эллады и во всей Античности. По интересам он был скорее физик (как Анаксагор или Аристарх), но по методам работы - универсальный геометр и начинающий алгебраист. Юность он провел в Александрии, учась у Аристарха и Конона - ученика Евклида. Там он подружился с Эратосфеном. Всю жизнь друзья переписывались, причем Эратосфен представлял собою весь коллектив Александрийского Музея. Архимед же один стоил целой академии наук.
Гения в науке можно распознать по тому, как быстро он осваивает достижения предшественников и как неудержимо бросается вперед с этого стартового рубежа. Для Архимеда стартовыми опорами стали Евклид и Евдокс. Высшим достижением Евдокса была геометрическая теория чисел, которая привела к построению числового луча из точек. Высшее достижение Евклида - это вычисление объема пирамиды методом "исчерпания", когда фигура разбивается на тонкие ломтики-призмы, а их объемы суммируются с помощью арифметики.
Сопоставив эти две теории, Архимед понял, что любую плоскую или пространственную фигуру можно разбить на мельчайшие области-песчинки (как Евдокс разбил на точки луч), а потом суммировать площади или объемы песчинок, как Евклид суммировал объемы ломтиков пирамиды. При этом арифметика и геометрия работают, как две руки - передавая задачу из ладони в ладонь, пока она не будет решена. Конечно, это трудное ремесло - даже два разных ремесла; но Архимеду то и другое было по плечу.
Несмотря на неудобную запись чисел, Архимед уверенно суммировал последовательности натуральных чисел, или их квадратов, или кубов. Используя эти суммы и не зная таких понятий "из будущего", как многочлен и интеграл, Архимед, по сути дела, интегрировал многчлены - и ни разу не ошибся в этой работе! Сначала он вычислил площадь фигуры, ограниченной отрезками параболы и прямой. Затем были найдены объемы тел, полученных при вращении этой фигуры вокруг разных осей; по этим данным Архимед нашел центр тяжести плоской фигуры. Сейчас такие задачи решают студенты-математики, сдающие зачет на первом курсе; но сделать это впервые в истории было гораздо трудней!
Покорив первые вершины в неведомом хребте Математического Анализа, Архимед пожелал новых подвигов. Его увлекла главная проблема астрономии - движение планет вокруг Солнца. Архимед был уверен: существует простое описание этого движения, и найти его можно тем же "методом песчинок"! Конечно, понадобятся точные измерения положений планет; придется очень много вычислять; и, наверное, полезны будут механические модели Солнечной системы...
Пройти этот путь до конца Архимед не сумел. Великая проблема движения планет была решена только 18 веков спустя. Ради этого результата были потрачены жизни трех замечательных ученых: астронома Браге, вычислителя Непира и математика Кеплера. В своей работе они использовали алгебраический аппарат, изобретенный учеными итальянцами - а также числовые координаты на плоскости, введенные Декартом. Без этих новых понятий (не говоря уже о позиционной системе записи чисел) "метод песчинок" не обладал нужной мощностью; с ними он превратился в могучий Математический Анализ. Архимед предвидел это будущее - но не мог ни достичь его одним прыжком, ни убедить своих коллег-современников присоединиться к его геройскому штурму.
В 212 году до н.э. гордый консул Метелл, взяв штурмом Сиракузы, доставил в Рим небывалый трофей: металлическую модель Солнечной системы из подвижных сфер и окружностей, изготовленную самим Архимедом. Тот экспериментировал с нею, когда нехватало прямых наблюдений над звездами и планетами. В наши дни такой прибор называют "механическим аналоговым компьютером". Римляне с изумлением глядели на чудесную игрушку,
вертели ее так и сяк... Как это похоже на современного ребенка, который играет за экраном компьютера, не подозревая о том, на что способна эта машина! |
Дерево сообщений
Поиск
Новая тема
Настройки