Специальное (дефектологическое) образование

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

РОССИЙСКОЙ ФЕДЕРАЦИИ

ФГБОУ «БАШКИРСКИЙ ГОСУДАРСТВЕННЫЙ ПЕДАГОГИЧЕСКИЙ УНИВЕРСИТЕТ им. М. АКМУЛЛЫ»

 

Факультет педагогики

Специальное (дефектологическое) образование

 

Реферат на тему

 

«Суть аксиоматического метода»

 

 

Выполнил: студент

1-го курса

по специальности СДОС на базе СПО

Иркабаева А.З

 

Проверил:

 

 

Доцент кафедры прикладной информатики:

Титова Л.Н. _________/ ________ ________

7 октября 2017 г. (зачет/незачет) (подпись)

 

 

УФА – 2017

 

 

Содержание

Введение…………………. 3

I. Основные понятия аксиоматической теории……….. 4

1.1.Основные этапы развития аксиоматического метода в науке

1.2.Понятие аксиоматической теории…………….. 7

1.3.Как возникают аксиоматические теории………. 10

Заключение………………… 11

Список используемой литературы……… 12

 

 

ВВЕДЕНИЕ

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

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

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

Во введении описана актуальность темы, сформулирована цель, дана структура реферата.

В первой главе даны основные этапы развития аксиоматического метода и основные понятия аксиоматической теории.

Во второй главе описывается построение евклидовой геометрии на основе системы аксиом Вейля.

В заключении сформулированы основные выводы к работе.

 

I. ОСНОВНЫЕ ПОНЯТИЯ АКСИОМАТИЧЕСКОЙ ТЕОРИИ

 

1.1 Основные этапы развития аксиоматического метода в науке.

Формирование современного понимания существа аксиоматического метода происходило на протяжении более чем двухтысячелетней истории развития науки.

Истинное начало науки о геометрических фигурах и телах, конечно же, теряется в глубине тысячелетий. Начальное оформление первых геометрических представлений обычно связывают с древнейшими культурами Вавилона и Египта (3-2 тысячелетия до н.э.). С VII века до н.э. начинается в период развития геометрии трудами греческих учёных. Пифагорейская школа в VI-V веках до н.э. продолжила геометрические исследования. Её основоположник Пифагор (560-470 или 580-500 г.г. до н.э.) в молодости около двадцати лет учился мудрости в Египте, ещё десяти – в Вавилоне.

Гениальный ученик Платона великий Аристотель (384-322 г.г. до н.э.), перешагнул через мистические догмы Платона, выявил его рациональные требования научного обоснования всякого знания всякой научной деятельности. Он охватил почти все достигнутые для его времени отрасли знания, стал основоположником научного метода и многих наук. Наука, по Аристотелю, представляет собой последовательность предложений, относящихся к некоторой области. Среди этих предложений имеются основные, которые настолько очевидны, что не требуют доказательств. Это – аксиомы. Остальные предложения должны быть выведены из них. Это – теоремы. Эта научная доктрина Аристотеля была принята как руководство к действию, прежде всего, математики. И когда примерно полстолетия спустя появился гениальный труд Евклида «Начала», то в его структуре явно просматривалась печать схемы Аристотеля.

Более 2000 лет «Начала» служили единственным руководством, по которому учились геометрии юноши и взрослые в странах запада и востока. Это была первая в истории человечества поистине научная книга: в ней геометрия была представлена как аксиоматическая теория, исходя из тех принципов, формулировки которых восходили к Аристотелю и Платону.

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

11 февраля 1826 г. в заседании Физико-математического факультета Казанского университета профессор Н.И. Лобачевский (1792-1856 г.г.) сообщил об открытие: V постулат Евклида лежит в основе теории параллельных прямых. Значения открытия Лобачевского неизмеримо велико для геометрии. Во-первых, он «закрыл» проблему V постулата, стоявшую перед геометрами 2000 лет, доказав, что V постулат логически не зависит от остальных аксиом геометрии, т.е. не является их необходимым следствием. Во-вторых, V постулат потому именно не вытекает из остальных постулатов, что наряду с геометрией Евклида, в которой этот постулат верен, возможна другая «воображаемая», геометрия, в которой V постулат не выполняется. В-третьих, открытие Лобачевского дало новый взгляд на суть аксиоматического метода, который получил своё дальнейшее развитие. Аксиомы – это вовсе не самоочевидные истины. Это – утверждения о каких-то первоначальных понятиях, принимаемые без доказательств и кладущиеся в основе теории, из которых все дальнейшие утверждения теории логически выводятся. Истинно то, что может быть логически доказано (выведено) из принятых аксиом. И, в-четвёртых, открытие новой, как её обычно называют, неевклидовой геометрии положило конец существовавшеё до Лобачевского точке зрения, согласно которой евклидова геометрия представлялась единственно мыслимым учением о пространстве.

Геометрические исследования, начатые Лобачевским, привели к тому, что в начале XX века было сформировано фундаментальнейшее понятие современной математики – понятие (математического или геометрического) пространства как некой совокупности однородных объектов произвольной природы (точек, векторов, фигур, функций и т.п.), взаимное отношения между которыми удовлетворяют той или иной системе аксиом. Такое понимание позволило геометрическим идеям, оплодотворённым аксиоматическим методом, проникнуть во многие области математики, физики и других наук. При этом и сама геометрия стала развиваться всё шире, математика становилась всё более единой наукой, а границы её многообразных областей, в том числе и геометрии, становились всё менее чёткими. Поистине цементным раствором, соединившим прочнейшими связями основания всех областей математики, явилась в XX веке математическая логика. С её помощью был исследован сам процесс доказательства, процесс вывода теорем из аксиом. Тем самым аксиоматический метод получил дальнейшее своё развитие и достиг в определённом смысле вершины. Это направление было начато в работах Гильберта и получило название метода формализации и обоснования математики. Можно сказать, что в XX веке состоялся третий этап развития аксиоматического метода

 

1.2 Понятие аксиоматической теории.

Исторический процесс развития взглядов на существо математики как науки привел к формированию фундаментальной концепции аксиоматического метода и понятия аксиоматической теории. Суть их состоит в следующем. Выбирается ряд первоначальных понятий, которые не определяются и используются без объяснения их смысла. Вместе с тем, все другие понятия, которые будут использоваться, должны быть строго определены через первоначальные неопределённые понятия и через понятия, смысл которых был определён раньше. Высказывания, определяющее таким способом значение понятия, называется определением, а само понятие, смысл которого определён, носит название определяемого понятия. Евклид сделал попытку строго определить все первоначальные понятия геометрии: точки, прямой, плоскости и т.д. Но совершенно ясно, что эти понятия должны определяться через какие-то другие, те в свою очередь, должны опираться на следующие понятия, и так далее, так что процесс бесконечен. Таким образом, первоначальные понятия аксиоматической теории не определяются.

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

Можно более точно сформировать понятие теоремы аксиоматической теории и её доказательства. Доказательством утверждения С, сформулированного в терминах данной теории, называется конечная последовательность В1, В2, …, В5 высказываний теории, в которой каждое высказывание есть либо аксиома, либо оно получено из одного или более предыдущих высказываний данной последовательности по логическим правилам вывода, а последнее высказывание В5 есть утверждение С. При этом, С называется теоремой или доказуемым утверждением аксиоматической теории. Обозначение: |- С. Каждая аксиома аксиоматической теории является её теоремой доказательство аксиомы есть одноэлементная последовательность, состоящая из неё самой.

Итак, если в обыденной жизни за термином «аксиома» утвердился его изначальный смысл (в переводе с греческого «аксиома» означает «достойный признания), именно смысл самоочевидной, безусловной истины, то в математике, при построении аксиоматических теорий, аксиомы условны. Они «достойны признания» не сами по себе, не ввиду их самоочевидной истинности, а потому что на их основе строится та или иная аксиоматическая теория. При новом выборе системы аксиом прежние аксиомы становятся теоремами. Коротко говоря, аксиомы – это то, из чего выводятся теоремы, а теоремы – то, что выводится из аксиомы.

Суть аксиоматического построения математической теории состоит в том, что сначала выбирается ряд первоначальных понятий, который не определяются и используются без объяснения их смысла. Ранее, формулируется ряд первоначальных утверждений. Об этих первоначальных понятиях, которые принимаются без доказательства и которые называются аксиомами. Наконец, исходя из выбранной системы аксиом, доказывают новые утверждения о первоначальных понятиях, а также о понятиях, которые определяются в процессе развития аксиоматической теории. Эти доказываемые утверждения называются теоремами, а совокупность всех теорем, выводимых (доказываемых) из данной системы аксиом, называется аксиоматической теорией, построенной на базе этой системы аксиом.

 

 

1.3. Как возникают аксиоматические теории.

 

Можно указать два пути, по которым происходило становление тех или иных аксиоматических теорий, известных в математике.

Первый путь состоит в том, что та или иная математическая теория, достигнув достаточно высокого уровня развития, принимает характер аксиоматической теории. Именно таким путём были аксиоматизированы следующие математические теории: арифметика (на основе системы аксиом Дж. Пиано), геометрия (на основе разнообразных систем аксиом, в частности, Д. Гильберта, Г. Вейля, М. Пиери и т.д.), теория вероятностей (аксиоматика А.Н. Колмогорова) и другие.

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

 

 

ЗАКЛЮЧЕНИЕ

По результатам данного реферата, можно сделать следующие выводы:

Аксиоматический метод – фундаментальнейший метод организации и умножения научного знания в самых разных его областях – сформировался на протяжении более чем двухтысячелетней истории древней науки. У истоков идеи аксиоматического метода стоят титаны древнегреческой мысли Платон, Аристотель, Евклид.

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

 

СПИСОК ИСПОЛЬЗУЕМЫХ ИСТОЧНИКОВ

 

1.Базылев В.Т., Дуничев К.И. Геометрия Учебное пособие для студентов физ.-мат. факультетов пединститутов. - М., «Просвещение» 1975.

2.Игошин В.И. Основания геометрии – Саратов, «Научная книга», 2004.

3.Игошин В.И. Векторная алгебра – Саратов, «Научная книга», 2005.

4.Столл Р. Множества. Логика. Аксиоматические теории – М., «Просвещение», 1968.

5.Метод аксиоматический – В кн. «Философская энциклопедия», т. 3 – М Сов. Энциклопедия, 1964.