Реферат: Основные этапы становления и структура современной математики

Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. Но это не значит, что эти вопросы вообще неразрешимы.

История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.

Образцом аксиоматического построения математической науки является элементарная геометрия. Система аксиом геометрии были изложены Евклидом (около 300 г. до н. э.) в непревзойденном по своей значимости труде “Начала”. Эта система в основных чертах сохранилась и по сей день.

Основные понятия: точка, прямая, плоскость основные образы; лежать между, принадлежать, движение.

Элементарная геометрия имеет 13 аксиом, которые разбиты на пять групп. В пятой группе одна аксиома о параллельных (V постулат Евклида): через точку на плоскости можно провести только одну прямую, не пересекающую данную прямую . Это единственная аксиома, вызывавшая потребность доказательства. Попытки доказать пятый постулат занимали математиков более 2-х тысячелетий, вплоть до первой половины 19 века, т.е. до того момента, когда Николай Иванович Лобачевский доказал в своих трудах полную безнадежность этих попыток. В настоящее время недоказуемость пятого постулата является строго доказанным математическим фактом.

Аксиому о параллельных Н.И. Лобачевский заменил аксиомой: Пусть в данной плоскости дана прямая и лежащая вне прямой точка. Через эту точку можно провести к данной прямой, по крайней мере, две параллельные прямые.

Из новой системы аксиом Н.И. Лобачевский с безупречной логической строгостью вывел стройную систему теорем, составляющих содержание неевклидовой геометрии. Обе геометрии Евклида и Лобачевского, как логические системы равноправны.

Три великих математика в 19 веке почти одновременно, независимо друг от друга пришли к одним результатам недоказуемости пятого постулата и к созданию неевклидовой геометрии.

Николай Иванович Лобачевский (1792-1856)

Карл Фридрих Гаусс (1777-1855)

Янош Бойяи (1802-1860)

Математическое доказательство

Основным методом в математических исследованиях являются математические доказательства – строгие логические рассуждения. В силу объективной необходимости, указывает член-корреспондент РАН Л.Д.Кудрявцев[2] , логические рассуждения (которые по своей природе, если они правильные, являются и строгими) представляют метод математики, без них математика немыслима. Следует отметить, что математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки ее данных, для выделения существенных из них и для выбора способа ее решения необходима еще математическая интуиция, позволяющая предвидеть нужный результат прежде, чем он будет получен, наметить путь исследования с помощью правдоподобных рассуждений. Но справедливость рассматриваемого факта доказывается не проверкой ее на ряде примеров, не проведением ряда экспериментов (что само по себе играет большую роль в математических исследованиях), а чисто логическим путем, по законам формальной логики.

Считается, что математическое доказательство является истиной в последней инстанции. Решение, которое основано на чистой логике просто не может быть неправильным. Но с развитием науки и задачи перед математиками ставятся всё более сложные.

“Мы вошли в эпоху, когда математический аппарат стал настолько сложным и громоздким, что с первого взгляда уже нельзя сказать - правдива или нет встреченная задача”, полагает Кейт Девлин из Стенфордского Университета Калифорнии, США. Он приводит в пример “классификацию простых конечных групп”, которую сформулировали еще в 1980 году, а полного точного доказательства не привили до сих пор. Скорее всего, теорема верна, но совершенно точно об этом говорить нельзя.

Компьютерное решение тоже невозможно назвать точным, ибо такие вычисления всегда имеют погрешность. В 1998 году Хейлс предложил решение теоремы Кеплера при помощи компьютера, сформулированной еще в 1611 году. Эта теорема описывает наиболее плотную упаковку шаров в пространстве. Доказательство было представлено на 300 страницах и содержало в себе 40000 строк машинного кода. 12 рецензентов проверяли решение в течение года, но стопроцентной уверенности в правильности доказательства они так и не достигли, и исследование отправили на доработку. В результате оно было опубликовано только через четыре года и без полной сертификации рецензентов.

Все последние вычисления для прикладных задач производятся на компьютере, но ученые считают, что для большей достоверности математические выкладки должны быть представлены без погрешностей.

Теория доказательства разработана в логике и включает три структурных компонента: тезис (то, что предполагается доказать), аргументы (совокупность фактов, общепринятых понятий, законов и т.п. соответствующей науки) и демонстрация (сама процедура развертывания доказательства; последовательная цепь умозаключений, когда n -ное умозаключение становится одной из посылок n+1 -го умозаключения). Выделяются правила доказательства, указаны возможные логические ошибки.

Математическое доказательство имеет много общего с теми принципами, которые устанавливаются формальной логикой. Более того, математические правила рассуждений и операций, очевидно, послужили одной из основ в разработке процедуры доказательства в логике. В частности, исследователи истории становления формальной логики считают, что в свое время, когда Аристотель предпринял первые шаги по созданию законов и правил логики, он обратился к математической и к практике юридической деятельности. В этих источниках он и находил материал для логических построений задуманной теории.

В XX веках понятие доказательства утратило строгий смысл, что произошло в связи с обнаружением логических парадоксов, таившихся в теории множеств и особенно в связи с результатами, которые принесли теоремы К. Геделя о неполноте формализации.

Прежде всего, это коснулось самой математики, в связи, с чем было высказано убеждение, что термин "доказательство" не имеет точного определения. Но если уж подобное мнение (имеющее место и поныне) затрагивает саму математику, то приходят к выводу, согласно которому доказательство следует принять не в логико-математическом, а в психологическом смысле. При том подобный взгляд обнаруживают и у самого Аристотеля, считавшего, что доказать означает провести рассуждение, которое убедило бы нас в такой степени, что, используя его, убеждаем других в правоте чего-либо. Определенный оттенок психологического подхода находим у А.Е.Есенина-Вольпина. Он резко выступает против принятия истины без доказательства, связывая это с актом веры, и далее пишет: "Доказательством суждения я называю честный прием, делающий это суждение неоспоримым". Есенин-Вольпин отдает отчет, что его определение нуждается еще в уточнениях. Вместе с тем, сама характеристика доказательства как "честного приема" не выдает ли апелляцию к нравственно-психологической оценке?

Вместе с тем обнаружение теоретико-множественных парадоксов и появление теорем Геделя как раз содействовали и разработке теории математического доказательства, предпринятой интуиционистами, особенно конструктивистского направления, и Д.Гильбертом.

Иногда считают, что математическое доказательство носит всеобщий характер и представляет идеальный вариант научного д?