Мы не найдем другой такой сферы, где бы поворот в сторону открытого знания совершился столь наглядным образом, как в сфере представлений о математическом доказательстве, которые впервые возникли у греков. Возьмем к примеру теорему Пифагора, доказывающую, что площадь квадрата, стороной которого является гипотенуза прямоугольного треугольника, равна сумме площадей квадратов, стороны которых являются катетами этого треугольника.
Эта теорема в качестве эмпирического положения была известна еще древним египтянам, которые широко использовали ее при землемерных вычислениях. И понимали, как это представляется, что в руках у них надежное правило, не знающее исключений. Тем не менее египтяне даже не пытались доказать это правило; мало того, даже само понятие доказательства было чуждо египетской математике.
Напротив, Евклидовское геометрическое доказательство, как и предшествующее ему пифагоровское (несмотря на то, что доказательство у Пифагора было чрезвычайно примитивным, намного более примитивным, чем то, которое использовал 150 лет спустя Евклид в своих Основаниях геометрии), покоилось на незыблемых принципах. Это было абсолютное доказательство, справедливое для любого прямоугольного треугольника, не терпящее никаких исключений. Эмпирически, с точки зрения практики, у доказательства нет никакого преимущества. Теоремой Пифагора можно пользоваться независимо от того, знаешь ты ее доказательство или не знаешь, а доказательство является исключительно идеалом чистого умозрения. Обратим внимание на другое столь же знаменитое доказательство Евклида — доказательство того, что среди натуральных чисел не существует самого большого простого числа. Доказательство Евклида гласит: предположим, что существует самое большое простое число. Построим число, являющееся произведением всех простых чисел, включая то, которое считается самым большим, и прибавим к нему единицу. Это новое число — то есть произведение всех простых чисел плюс единица — либо само является простым числом, либо является произведением простых чисел, каждое из которых больше, чем число, названное нами самым большим простым числом. И действительно, рассматриваемое нами число, то есть произведение всех простых чисел, включая то, которое считается самым большим, плюс единица, не делится без остатка ни на самое первое из простых чисел, то есть на два, ни на три, ни на пять, ни на семь, ни на одиннадцать, ни на тринадцать, ни на любое другое простое число. Значит, оно может делиться только на такое простое число, которое больше того числа, про которое мы предположили, что оно является самым большим простым числом. Следовательно, наше исходное предположение неверно и самого большого простого числа не существует. Ради чего мы целиком привели это доказательство? Ради двух вещей, которые мы можем из него понять. Во-первых, что это доказательство не потеряло своей актуальности и поныне и является базисом того, что в современной математике называется теорией чисел. Большое число теорем в той или иной мере связано с этим евклидовским доказательством, в том числе доказанное уже в 19 столетии утверждение, что между кратными числами находится по крайней мере одно простое число.
