Математика. Утрата определенности.

Первое известное нам логически последовательное изложение теории целых чисел содержится в VII, VIII и IX книгах «Начал» Евклида. В них Евклид предлагает, например, такие определения: «Единица есть [то], через что каждое из существующих считается единым; число же — множество, составленное из единиц» ([25], кн. VII-X, с. 9). Ясно, что подобные определения мало что говорят — в их формулировках отражается тот факт, что как в арифметике Евклида, так и в его геометрии проявляется непонимание необходимости неопределяемых понятий. При выводе свойств целых чисел Евклид использует уже упоминавшиеся общие понятия. К сожалению, некоторые из приведенных им доказательств ошибочны. Тем не менее древние греки и их преемники считали, что теория целых чисел обоснована вполне удовлетворительно. Более того, они, не церемонясь, позволяли себе говорить об отношениях целых чисел (у последующих поколений математиков такие отношения получили название дробей), хотя отношения целых чисел не были ими никак определены.

В логическом развитии теории чисел древние греки столкнулись с трудностью, оказавшейся для них непреодолимой. Как известно, пифагорейцы в V в. до н.э. первыми подчеркнули важность целых чисел и отношений целых чисел для изучения природы. Более того, именно в целых числах и их отношениях пифагорейцы видели «меру» всего. Когда же обнаружилось, что некоторые отношения, например отношение гипотенузы равнобедренного прямоугольного треугольника к катету, непредставимы в виде отношения целых чисел, это и удивило, и обеспокоило пифагорейцов. Отношения, представимые в виде отношений целых чисел, пифагорейцы назвали соизмеримыми, а отношения, непредставимые в виде отношений целых чисел, получили название несоизмеримых. Так, иррациональное число √2 может служить примером несоизмеримого отношения. Открытие несоизмеримых соотношений легенда приписывает Гиппазию из Метапонта (V в. до н.э.). По преданию, в тот момент, когда Гиппазий пришел к этому открытию, пифагорейцы находились в открытом море — и они выбросили Гиппазия за борт, обвинив его в том, что он привнес в мироздание элемент, противоречивший пифагорейскому учению о сводимости всех явлений природы к целым числам или к их отношениям.

Доказательство того, что число √2 несоизмеримо с 1, т.е. иррационально, было предложено пифагорейцами. По Аристотелю, они доказали иррациональность

√2 методом от противного (reductio ad absurdum), иначе говоря, избрали косвенный метод доказательства. Пифагорейцы показали, что если гипотенуза равнобедренного прямоугольного треугольника была бы соизмерима с катетом, то одно и то же число должно было бы быть и четным, и нечетным, что невозможно. Доказательство проводилось следующим образом. Предположим, говорили пифагорейцы, что отношение гипотенузы к катету представимо в виде a/b, где a и b — взаимно-простые целые числа (т.е. предполагается, что общие множители, которые первоначально могли входить в числа a и b, уже сокращены). Если a/b = √2,

то a² = 2b². Так как a² — четное число, a также четно, поскольку квадрат любого нечетного числа нечетен.{62} Так как числитель и знаменатель отношения a/b не имеют общих делителей и a четно, число 

b должно быть нечетно. Число a как четное представимо в виде a = 2c, поэтому a² = 4c², а так как а² = 2b², то 4c²

= 2b², или  2c² = b². Следовательно, b² — четное число. Но тогда b также четное число, поскольку если бы оно было нечетным, то и квадрат его был бы нечетным. Но по доказанному ранее b — нечетное число; таким образом, мы приходим к противоречию.

Пифагорейцы и древнегреческие мыслители классического периода, как правило, не принимали иррациональных чисел, ибо в их понимании иррациональные числа не были числами. Действительно, предложенное пифагорейцами доказательство говорит, что число √2 непредставимо в виде отношения целых чисел, но умалчивает о том, что такое иррациональное число. Жители Древнего Вавилона, как уже отмечалось, умели работать с иррациональными числами, но они, безусловно, не знали, что используемые ими десятичные (точнее, шестидесятеричные) приближения таких чисел не могут быть абсолютно точными. Мы можем восхищаться жизнелюбием древних вавилонян, но математиками они были неважными. Совсем иной склад ума был у древних греков: они не могли довольствоваться приближениями.