Содержательный исследование массовых школьных учебников по геометрии как форма методической и учебно-методической работы
Дипломная работа - Педагогика
Другие дипломы по предмету Педагогика
льной (аксиоматической) математической теории новой проблематики, на основе которой выросла теория доказательств как основной раздел современной математической логики.
Понимание необходимости обоснования математики и конкретные задачи в этой области зародились в более менее отчетливой форме уже в 19 веке. Уточнение основных понятий анализа и сведение более сложных (хотя и более очевидных интуитивно) понятий к простейшим логическим схемам, а также открытие неевклидовых геометрий, стимулировало оформление требований к любой системе аксиом.
Эти требования включают в себя полноту (возможность вывести из системы аксиом всё содержание теории), непротиворечивость (отсутствие в теории утверждений, выводимых из аксиом и противоречащих друг другу) и независимость (невозможность вывести какую-либо аксиому из других аксиом этой теории).
Первые результаты в этой области принес метод интерпретаций. Данный метод заключается в следующем: пусть каждому исходному понятию и отношению данной аксиоматической теории T поставлен в соответствие некоторый конкретный математический объект. Совокупность таких объектов называется полем интерпретации. Всякому утверждению теории T естественным образом ставиться в соответствие некоторое высказывание об элементах поля интерпретации, которое может быть истинным или ложным. Тогда говорят, что утверждение теории T составлено истинно или ложно в данной интерпретации. Поле интерпретации и его свойство обычно сами являются объектом рассмотрения какой - либо математической теории T, которая, также, может быть аксиоматической.
Слабая сторона метода интерпретаций состоит в то, что в вопросах непротиворечивости и независимости систем аксиом он дает возможность получить только результаты, носящие относительный характер. Важным достижением этого метода стало выявление особой роли арифметики как такой математической теории, к вопросу о непротиворечивости которой сводится аналогичный вопрос для целого ряда других теорий.
Дальнейшее развитие аксиоматический метод получил в работах Д. Гильберта и его школы. В рамках этого направления было выработано дальнейшее уточнение понятия аксиоматической теории, а именно понятие формальной системы. В результате этого уточнения оказалось возможным представить сами математические теории как точные математические объекты и строить их общую теорию, или метатеорию, таких теорий. При этом соблазнительной представлялась перспектива решить на этом пути главные вопросы обоснования математики. Всякая формальная система строится как точно очерченный класс выражений - формул, в котором некоторым точным образом выявляется подкласс формул, называемых теоремами данной формальной системы. При этом формулы формальной системы не несут в себе никакого содержательного смысла; их можно строить из произвольных знаков или элементарных символов, руководствуясь только соображениями технического удобства. На самом деле, способ построения формул и понятия теоремы, той или иной формальной системы, выбираются с таким расчетом, чтобы весь этот формальный аппарат можно было применить для возможно более адекватного и полного выражения той или иной конкретной математической (или не математической) теории. Всякую конкретную математическую теорию T перевести на язык подходящей формальной системы S таким образом, что каждое осмысленное (ложное или истинное) предложение теории T выражается некоторой формальной системы S [21]. Такой метод построения теории, Гильберт назвал методом формализации.
После этого открытия Гильберта естественно было надеяться, что метод формализации позволит строить все содержание математической теории на такой точной, и, казалось бы, надежной основе, как понятие выводимой формулы (теоремы формальной системы), а принципиальные вопросы типа проблемы непротиворечивости математической теории решать в форме доказательств соответствующих утверждений.
Однако исследование К. Геделя в начале 30-х гг. 20 в. привели к краху основных надежд. Гедель показал следующее:
1.всякая естественная непротиворечивая формализация S арифметики или любой другой математической теории, содержащей арифметику, не полна и непополнима;
2.если формализованная арифметика в действительности не противоречива, то, хотя утверждение о ее непротиворечивости выразимо на ее собственном языке, доказательство этого утверждения провести невозможно средствами, формализуемыми в ней самой. [21]
Это означает, что уже для арифметики принципиально не возможно исчерпать весь объем ее содержательно истинных суждений классом выводимых формул, какой - бы то ни было формальной системы и что нет никакой надежды получить доказательство непротиворечивости арифметики.
.3 Аксиоматика евклидовой геометрии
Современная система аксиом Евклидовой геометрии состоит из пяти групп и опирается на шесть основных неопределяемых понятия: точки, прямые и плоскости и трех видов отношений выражаемых словами принадлежит, между и движение.
Введем аксиомы, предложенные в математической энциклопедии. [21 стр 215]
1.Аксиомы принадлежности: 1.через каждые две точки можно провести прямую и при том только одну. 12. На каждой прямой лежат по крайне мере две точки. Существует хотя бы три точки не лежащие на одной прямой. 13. через каждые три точки не лежащие на одной прямой можно провести плоскость и при том только одну. 14. На каждой плоскости существует по крайне мере три точки