Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые.
Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.
Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.
Николай Иванович Лобачевский (1792-1856)
Карл Фридрих Гаусс (1777-1855)
Янош Бойяи (1802-1860)
Математическое доказательство
Основным методом в математических исследованиях являются математические доказательства – строгие логические рассуждения. В силу объективной необходимости, указывает член-корреспондент РАН Л.Д.Кудрявцев[2], логические рассуждения (которые по своей природе, если они правильные, являются и строгими) представляют метод математики, без них математика немыслима. Следует отметить, что математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки ее данных, для выделения существенных из них и для выбора способа ее решения необходима еще математическая интуиция, позволяющая предвидеть нужный результат прежде, чем он будет получен, наметить путь исследования с помощью правдоподобных рассуждений. Но справедливость рассматриваемого факта доказывается не проверкой ее на ряде примеров, не проведением ряда экспериментов (что само по себе играет большую роль в математических исследованиях), а чисто логическим путем, по законам формальной логики.
Считается, что математическое доказательство является истиной в последней инстанции. Решение, которое основано на чистой логике просто не может быть неправильным. Но с развитием науки и задачи перед математиками ставятся всё более сложные.
“Мы вошли в эпоху, когда математический аппарат стал настолько сложным и громоздким, что с первого взгляда уже нельзя сказать - правдива или нет встреченная задача”, полагает Кейт Девлин из Стенфордского Университета Калифорнии, США. Он приводит в пример “классификацию простых конечных групп”, которую сформулировали еще в 1980 году, а полного точного доказательства не привили до сих пор. Скорее всего, теорема верна, но совершенно точно об этом говорить нельзя.
Компьютерное решение тоже невозможно назвать точным, ибо такие вычисления всегда имеют погрешность. В 1998 году Хейлс предложил решение теоремы Кеплера при помощи компьютера, сформулированной еще в 1611 году. Эта теорема описывает наиболее плотную упаковку шаров в пространстве. Доказательство было представлено на 300 страницах и содержало в себе 40000 строк машинного кода. 12 рецензентов проверяли решение в течение года, но стопроцентной уверенности в правильности доказательства они так и не достигли, и исследование отправили на доработку. В результате оно было опубликовано только через четыре года и без полной сертификации рецензентов.
Все последние вычисления для прикладных задач производятся на компьютере, но ученые считают, что для большей достоверности математические выкладки должны быть представлены без погрешностей.
Теория доказательства разработана в логике и включает три структурных компонента: тезис (то, что предполагается доказать), аргументы (совокупность фактов, общепринятых понятий, законов и т.п. соответствующей науки) и демонстрация (сама процедура развертывания доказательства; последовательная цепь умозаключений, когда n-ное умозаключение становится одной из посылок n+1-го умозаключения). Выделяются правила доказательства, указаны возможные логические ошибки.
Математическое доказательство имеет много общего с теми принципами, которые устанавливаются формальной логикой. Более того, математические правила рассуждений и операций, очевидно, послужили одной из основ в разработке процедуры доказательства в логике. В частности, исследователи истории становления формальной логики считают, что в свое время, когда Аристотель предпринял первые шаги по созданию законов и правил логики, он обратился к математической и к практике юридической деятельности. В этих источниках он и находил материал для логических построений задуманной теории.
В XX веках понятие доказательства утратило строгий смысл, что произошло в связи с обнаружением логических парадоксов, таившихся в теории множеств и особенно в связи с результатами, которые принесли теоремы К. Геделя о неполноте формализации.
Прежде всего, это коснулось самой математики, в связи, с чем было высказано убеждение, что термин "доказательство" не имеет точного определения. Но если уж подобное мнение (имеющее место и поныне) затрагивает саму математику, то приходят к выводу, согласно которому доказательство следует принять не в логико-математическом, а в психологическом смысле. При том подобный взгляд обнаруживают и у самого Аристотеля, считавшего, что доказать означает провести рассуждение, которое убедило бы нас в такой степени, что, используя его, убеждаем других в правоте чего-либо. Определенный оттенок психологического подхода находим у А.Е.Есенина-Вольпина. Он резко выступает против принятия истины без доказательства, связывая это с актом веры, и далее пишет: "Доказательством суждения я называю честный прием, делающий это суждение неоспоримым". Есенин-Вольпин отдает отчет, что его определение нуждается еще в уточнениях. Вместе с тем, сама характеристика доказательства как "честного приема" не выдает ли апелляцию к нравственно-психологической оценке?
Вместе с тем обнаружение теоретико-множественных парадоксов и появление теорем Геделя как раз содействовали и разработке теории математического доказательства, предпринятой интуиционистами, особенно конструктивистского направления, и Д.Гильбертом.
Иногда считают, что математическое доказательство носит всеобщий характер и представляет идеальный вариант научного доказательства. Однако оно - не единственный метод, есть и другие способы доказательных процедур и операций. Верно лишь то, что у математического доказательства немало сходного с формально-логическим, реализуемом в естествознании, и что математическое доказательство имеет определенную специфику, равно, как и набор приемов-операций. На этом мы и остановимся, опуская то общее, что роднит его с другими формами доказательств, то есть, не развертывая во всех шагах (даже и основных) алгоритм, правила, ошибки и т.п. процесса доказательства.
Математическое доказательство представляет рассуждение, имеющее задачей обосновать истинность (конечно, в математическом, то есть как выводимость, смысле) какого-либо утверждения.
Свод правил, применяемых в доказательстве, сформировался вместе с появлением аксиоматических построений математической теории. Наиболее четко и полно это было реализовано в геометрии Эвклида. Его "Начала" стали своего рода модельным эталоном аксиоматической организации математического знания, и долгое время оставались таковыми для математиков.
Высказывания, представляемые в виде определенной последовательности, должны гарантировать вывод, который при соблюдении правил логического оперирования и считается доказанным. Необходимо подчеркнуть, что определенное рассуждение является доказательством только относительно некоторой аксиоматической системы.
При характеристике математического доказательства выделяют две основные особенности. Прежде всего, то, что математическое доказательство исключает какие-либо ссылки на эмпирию. Вся процедура обоснования истинности вывода осуществляется в рамках принимаемой аксиоматики. Академик А.Д.Александров в связи с этим подчеркивает. Можно тысячи раз измерять углы треугольника и убедиться, что они равны 2d. Но математику этим ничего не докажешь. Ему докажешь, если выведешь приведенное утверждение из аксиом. Повторимся. Здесь математика и близка методам схоластики, которая также принципиально отвергает аргументацию опытно данными фактами.
К примеру, когда была обнаружена несоизмеримость отрезков, при доказательстве этой теоремы исключалось обращение к физическому эксперименту, поскольку, во-первых, само понятие "несоизмеримость" лишено физического смысла, а, во-вторых, математики и не могли, имея дело с абстракцией, привлекать на помощь вещественно-конкретные протяженности, измеряемы чувственно-наглядным приемом. Несоизмеримость, в частности, стороны и диагонали квадрата, доказывается, опираясь на свойство целых чисел с привлечением теоремы Пифагора о равенстве квадрата гипотенузы (соответственно - диагонали) сумме квадратов катетов (двух сторон прямоугольного треугольника). Или когда Лобачевский искал для своей геометрии подтверждение, обращаясь к результатам астрономических наблюдений, то это подтверждение осуществлялось им средствами сугубо умозрительного характера. В интерпретациях неэвклидовой геометрии, проведенных Кэли - Клейном и Бельтрами, также фигурировали типично математические, а не физические объекты.
Вторая особенность математического доказательства - его наивысшая абстрактность, которой оно отличается от процедур доказательства в остальных науках. И опять же, как в случае с понятием математического объекта, речь идет не просто о степени абстракции, а о ее природе. Дело в том, что высокого уровня абстрагирования доказательство достигает и в ряде других наук, например, в физике, космологии и, конечно, в философии, поскольку предметом последней становятся предельные проблемы бытия и мышления. Математику же отличает то, что здесь функционируют переменные, смысл которых - в отвлечении от любых конкретных свойств. Напомним, что, по определению, переменные - знаки, которые сами по себе не имеют значений и обретают последние только при подстановке вместо них имен определенных предметов (индивидные переменные) или при указании конкретных свойств и отношений (предикатные переменные), или, наконец, в случаях замены переменной содержательным высказыванием (пропозициональная переменная).