Новая педагогика » Содержательный анализ массовых школьных учебников по геометрии как форма методической и учебно-методической работы » Особенности современного аксиоматического подхода

Особенности современного аксиоматического подхода

Страница 2

Эти требования включают в себя полноту (возможность вывести из системы аксиом всё содержание теории), непротиворечивость (отсутствие в теории утверждений, выводимых из аксиом и противоречащих друг другу) и независимость (невозможность вывести какую-либо аксиому из других аксиом этой теории).

Первые результаты в этой области принес метод интерпретаций. Данный метод заключается в следующем: пусть каждому исходному понятию и отношению данной аксиоматической теории T поставлен в соответствие некоторый конкретный математический объект. Совокупность таких объектов называется полем интерпретации. Всякому утверждению теории T естественным образом ставиться в соответствие некоторое высказывание об элементах поля интерпретации, которое может быть истинным или ложным. Тогда говорят, что утверждение теории T составлено истинно или ложно в данной интерпретации. Поле интерпретации и его свойство обычно сами являются объектом рассмотрения какой – либо математической теории T, которая, также, может быть аксиоматической.

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

Дальнейшее развитие аксиоматический метод получил в работах Д. Гильберта и его школы. В рамках этого направления было выработано дальнейшее уточнение понятия аксиоматической теории, а именно понятие формальной системы. В результате этого уточнения оказалось возможным представить сами математические теории как точные математические объекты и строить их общую теорию, или метатеорию, таких теорий. При этом соблазнительной представлялась перспектива решить на этом пути главные вопросы обоснования математики. Всякая формальная система строится как точно очерченный класс выражений - формул, в котором некоторым точным образом выявляется подкласс формул, называемых теоремами данной формальной системы. При этом формулы формальной системы не несут в себе никакого содержательного смысла; их можно строить из произвольных знаков или элементарных символов, руководствуясь только соображениями технического удобства. На самом деле, способ построения формул и понятия теоремы, той или иной формальной системы, выбираются с таким расчетом, чтобы весь этот формальный аппарат можно было применить для возможно более адекватного и полного выражения той или иной конкретной математической (или не математической) теории. Всякую конкретную математическую теорию T перевести на язык подходящей формальной системы S таким образом, что каждое осмысленное (ложное или истинное) предложение теории T выражается некоторой формальной системы S. Такой метод построения теории, Гильберт назвал методом формализации.

Страницы: 1 2 3


Другое по теме:

География – ее значение в воспитании будущего поколения
Люди живут и работают в разных природных зонах: на равнинах и в горах, среди лесов и на степных просторах, в холодной тундре и в знойной пустыне. Они возделывают землю, разводят живот­ных, добывают и перерабатывают полезные ископаемые, вы­плавляют металлы, строят города, прокладывают дороги и т. д. ...

Взаимосвязь лепки с другими видами деятельности и занятиями
С изобразительной деятельностью. Изобразительная деятельность, кроме лепки, включает ещё такие виды занятий, как рисование, аппликация и конструирование. Каждый из этих видов имеет свои возможности в отображении впечатлений ребёнка об окружающем мире, которые конкретизируются в зависимости от особе ...

Организация коррекционно-логопедических мероприятий
Исследование выдвинутой гипотезы проведено на базе Муниципального бюджетного дошкольного образовательного учреждения (МБДОУ) «Детский сад комбинированного вида №10 «Алёнушка» г. Канска Красноярского края. Адрес: 663600 Красноярский край, г. Канск, ул. Калинина, 37. Заведующая: Цыганова Валентина Ва ...

Категории

Copyright © 2019 - All Rights Reserved - www.edubrilliant.ru