Конструктивная математика

Министерство образования РФ

СФ ПГУ

Дисциплина “Информатика и математика”

РЕФЕРАТ

«Конструктивная математика»

Студентка:

Группа:

Преподаватель:

Северодвинск

2003

Содержание:

I. Вступление. История конструктивной математики 3 - 4 стр.

II.Основная часть.

1. Характерные черты конструктивной математики. 4 -11 стр.

2. Конструктивная семантика как совокупность способов

понимания суждений в конструктивной математике. 11-15 стр.

3. Структура конструктивной математики.

1).Конструктивное действительное число. 15 стр.

2).Конструктивный объект. 16 -17 стр.

3).Конструктивное метрическое пространство. 17-18 стр.

III.Заключение.Роль «конструирования» в математике. 18-19 стр.

IV. Список литературы. 20 стр.

I.ВСТУПЛЕНИЕ

ИСТОРИЯ КОНСТРУКТИВНОЙ МАТЕМАТИКИ

Конструктивная математика, конструктивное направление в математике, -математика, строящаяся в соответствии с тем или иным конструктивным математическим мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математических объектов с возможностью их построения и отвергающим в силу этого ряд установок традиционной теоретико – множественной математики, приводящих к появлению чистых теорем существования (в частности, абстракцию актуальной бесконечности и универсальный характер исключенного третьего закона ). Конструктивизм в математике проявлялся на протяжении всей ее истории, хотя, по- видимому, только К.Гаусс впервые отчетливо выразил принципиальное для конструктивной математики различие становящейся (потенциальной) и актуальной математической бесконечности и возразил против употребления последней. Дальнейшие критические шаги в этом направлении были сделаны Л.Кронекером, А. Пуанкаре и особенно Л Брауэром. В критике Л. Брауэра, совпавшей по времени с кризисом оснований математики конца ХIX-начала XX в. в., энергично отвергалась как вера в экзистенциональный характер бесконечных множеств, так и убеждение в допустимости неограниченной экстраполяции классических логических принципов, в особенности закона исключенного третьего. В качестве альтернативы теоретико- множественному подходу Л.Брауэр, а затем и его последователи, разработали оригинальную программу построения математики, известную ныне под названием интуиционизм. Интуиционистскую математику Л.Брауэра можно считать первой систематической попыткой построения математики на конструктивной основе. Параллельно успехам интуиционистов в созданной Д.Гильбертом с целью обоснования теоретико – множественной математики доказательств теории был четко выявлен ряд первоначальных понятий, послуживших впоследствии отправной точкой отличных от интуиционизма конструктивных течений. Значительная часть соответствующих работ (при этом обнаружился достаточно широкий спектр толкования различными исследователями терминов «конструктивный», «эффективный» и т. д.) опиралась на успехи, достигнутые (опять – таки под влиянием идей Д. Гильберта) в изучении математического понятия алгоритма . Один из наиболее последовательных и законченных подходов к построению конструктивной математики на этой основе доставляется основанной А.А.Марковой советской школой конструктивной математики, формирование основных понятий которой относится к 50-м г.г. ХХ в. Сам термин «конструктивная математика» часто употребляется в узком смысле слова для наименования математики, строящейся советским конструктивным направлением.

II.ОСНОВНАЯ ЧАСТЬ.

1. ХАРАКТЕРНЫЕ ЧЕРТЫ КОНСТРУКТИВНОЙ МАТЕМАТИКИ.

Конструктивная математика коротко может быть охарактеризована следующими основными чертами:

· предметом изучения являются конструктивные процессы возникающие в результате их выполнения конструктивные объекты ;

· рассмотрение конструктивных процессов и объектов производится в рамках абстракции потенциальной осуществимости с полным исключением идеи актуальной бесконечности;

· интуитивное понятие эффективности связывается с точным понятием алгоритма;

· используется специальная, учитывающая специфику конструктивных процессов и объектов конструктивная логика .

Понятия конструктивного процесса и объекта являются первоначальными; представления о них имеют своим источником практическую материальную деятельность человека. Примерами конструктивных процессов могут служить сборка часов на конвейере, полная или частичная разборка их в ремонтной мастерской, набор текстов (с корректурами ) в типографии, формирование и расформирование железнодорожных составов и пр. Характерной чертой конструктивных процессов является протекающее по отдельным шагам оперирование в рамках некоторых четко указанных правил с элементарными, заведомо отличимыми друг от друга объектами, считающимися неразложимыми в ходе этих процессов. Возникающее в результате фигуры, составленные из исходных элементарных объектов, и считаются конструктивными объектами. Конструктивная математика не имеет необходимости углубляться в общее понятие конструктивного процесса и объекта, поскольку для ее нужд оказывается вполне достаточным один специальный вид конструктивных объектов – слова в том или ином алфавите.

Построение слов (это понятие также представляется первоначальным) происходит на следующей основе.

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать