Навигация
Проблема несоизмеримых или Первый кризис в основании математики
45717
знаков
0
таблиц
0
изображений
2 Проблема несоизмеримых или Первый кризис в основании математики
Как видно из предыдущего исторического экскурса, твердого понимания что такое число долгое время не было. С точки зрения древних греков, числом было только натуральное число большее единицы. Несколько более прогрессивная система счисления была у вавлонян, использущих шестидесятиричные дроби. Вавилоняне знали теорему Пифагора и сталкивались с проблемой извлечения корней из чисел не имеющих точного квадрата. Однако, нет данных о том, рассматривали ли они этот вопрос теоретически. «Обладание подобной[шестидесятиричной] системой и вытекающая отсюда уверенность в числовых расчетах неизбежно приводили к «наивному» понятию действительного числа, почти совпадающему с тем, которое в наши дни можно встретить в элементарных учебниках математики (связанное с десятичной системой счисления) или у физиков и инженеров. Это понятие не поддается точному определению, но его можно выразить, сказав, что число рассматривается как определенное благодаря возможности получать его приближенные значения и вводить их в вычисления.»[2, стр. 146]. Такой же прагматический подход к иррациональным числам был распространен в Индии и Китае.
Несмотря на несовершенную систему счисления, строгость и теоретичность греческой математики способствовала развитию представлений о числе. Как уже было отмечено выше, каждое число греки видели как сумму единиц. Единица была образующей каждого числа, а все числа состояли измерялись единицей. Такой же подход был к геометрическим объектам. В основе теории соизмеримости лежала идея о том, что существует единая единица измерения всех отрезков, такая что каждый отрезок можно отождествить с натуральным числом, по количеству в нем единичных отрезков. Отсюда естественным образом следовало, что отношение двух отрезков можно было описать двумя целыми числами, или, говоря современным языком, рациональным числом. Подобные взгляды были распространены в греческой философии; так, пифагорейцы считали, что под все можно подвести число, Фалес пытался объяснить многообразие мира из единого начала.
Однако благодаря теореме Пифагора открыта иррациональность, которая была серьезным ударом учению пифагорейцев. Школой Пифагора было установлено, что отношение диагонали квадрата к его стороне не может быть рациональным числом. Доказательство этого факта имеется в «Началах» Евклида. Полагают, что это и есть пифагорейское доказательство [10, стр. 73]. Приведем его в современной трактовке[10, стр. 73].
Пусть 
— диагональ квадрата, а 
— его сторона. Тогда их отношение равно отношению целых чисел. Выберем такие числа, чтобы они были взаимопростыми.
Возведем эту дробь в квадрат 
. По теореме Пифагора 
, следовательно
(1)
Отсюда следует, что 
- четное число. Из свойств четных и нечетных чисел следует, что и 
четное, следовательно 
. Подставляя в (1), имеем
Из чего следует что, 
четное число, а значит и n четное, что невозможно т.к. m и n взамопростые.
Это замечательный пример того, что математики называют красивым доказательством, некоторые исследователи полагают, что это было первое в истории доказательство «от противного»[1, стр.235]. Возможно, доказательству этой теоремы предшествовали попытки найти практически общую меру этих двух величин[7, стр. 92].
Это открытие потрясло греков. «...проблема несоизмеримости получила громкую известность среди широких кругов образованных людей»[10, стр. 73]. Есть легенда о том, что Пифагор в благодарность богам принес в жертву сто быков[7, стр. 91]. Возможно было даже мнение что этот результат должен остаться тайным[1, стр.235].
Несоизмеримость не имела геометрического осмысления. Это явление назвали «алогон», не поддающееся осмыслению. Термин «иррациональность» является латинским переводом этого слова[7, стр.91]. В истории математики крушение пифагорейской арифметики называют Первым кризисом математики.
Вслед за открытием иррациональности 
последовало открытие иррациональности чисел 
, сделанное Теодором(Феодором) из Кирены. Ученик Теодора Теэтет(начало IV в. до н.э.) доказал несколько теорем и критериев несоизмеримости, в частности он предложил метод для доказательства иррациональностей вида 
. Теэтет классифицировал иррациональности, также он считается творцом общей теории делимости.
Похожие работы
... военно-операционные узлы и контрольно-измерительные пункты, подготавливаемые и обслуживаемые соответствующими предприятиями и учреждениями (частями связи) Народного комиссариата связи. Технической предпосылкой зарождения и развития теории глубокого боя стало масштабное перевооружение Красной Армии после окончания гражданской войны. В конце 1920-х и на протяжении большей части 1930-х годов ...
... что все события происходили в геологическом масштабе времени. Относительно простой, примитивный организм не мог возникнуть мгновенно даже после того, как на первобытной Земле были созданы условия, благоприятные для зарождения жизни. Протеиноиды – термические белки. Образуются при самопроизвольном синтезе аминокислотных цепей. Длина и состав протеиноидов зависит от состава исходной аминокислоты, ...
... человеческих знаний зародилась именно в меркантилизме. В 1615г. в «Трактате политической экономии» французский представитель меркантилизма А. Монкретьен (1575-1621) предложил специальный термин для характеристики экономической теории в эпоху меркантилизма – «политическая экономия», который прочно укоренился в экономической науке и использовался весьма длительный период. Политическая экономия в ...
... обратить взор на вклад именно этого ученого в развитие нефтяной науки и нефтедобычи России в целом. По мнению автора и многих исследователей именно И.М.Губкину принадлежит роль в зарождении науки о разработке нефтяных месторождений, что прослеживается в материалах приводимых в следующем параграфе. 2. Зарождение науки о разработке нефтяных и газовых месторождений Для осуществления управления ...
0 комментариев