Аксиоматический метод понятий скоморохов. Развитие математического знания на основе аксиом. Современное развитие аксиоматической математики

Аксиоматический метод – способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, которые называют аксиомами теории, а все остальные положения теории вытекают как логические следствия аксиом. Большинство направлений современной математики, теоретическая механика, ряд разделов физики построены на основе аксиоматического метода. В математике аксиоматический метод дает возможность создания законченных, логичнозавершиних научных теорий. Не меньшее значение имеет и то, что математическая теория, построенная аксиоматически, часто находит применение в других науках.
В математике аксиоматический метод зародился в работах древнегреческих геометров. Блестящим образцом его применения вплоть до XIX в. была геометрическая система, известная под названием «Начала» Евклида (ок. 300 до н.э.). Хотя в то время не стоял еще вопрос об описании логических средств, применяемых для получения содержательных последствий из аксиом, в системе Евклида уже достаточно четко прослеживается идея получения всего основного содержания геометрической теории чисто дедуктивным путем, с определенного, относительно небольшого, числа утверждений – аксиом, истинность которых представлялась наглядно очевидной.
Открытие в начале XIX в. неевклидовой геометрии Н. И. Лобачевским и Я. Бойяи стало толчком к дальнейшему развитию аксиоматического метода. Они установили, что, заменив привычный и, казалось бы, единственно «объективно истинный» V постулат Евклида о параллельных прямых его отрицанием, можно развивать чисто логическим путем геометрическую теорию, столь же стройную и богатую содержанием, как и геометрия Евклида. Этот факт заставил математиков XIX в. обратить особое внимание на дедуктивный способ построения математических теорий, что привело к возникновению связанной с самим понятием аксиоматического метода и формальной (аксиоматической) математической теории новой проблематики, на основе которой выросла так называемая теория доказательств как основной раздел современной математической логики.
Понимание необходимости обоснования математики и конкретные задачи в этой области зародились в более или менее отчетливой форме уже в XIX в. Уточнение основных понятий анализа и сведения сложных понятий к простейшему на точной и логически все более прочной основе, а также открытие неевклидовых геометрий стимулировали развитие аксиоматического метода и возникновения проблем общего математического характера, таких, как непротиворечивость, полнота и независимость той или системы аксиом.
Первые результаты в этой области принес метод интерпретаций, который может быть описан следующим образом. Пусть каждому выходному понятию и соотношению данной аксиоматической теории Т поставлен в соответствие определенный конкретный математический объект. Совокупность таких объектов называется полем интерпретации. Всякому утверждению U теории Т естественным образом ставится в соответствие определенное высказывание U * об элементах поля интерпретации, которое может быть истинным или ложным. Тогда говорят, что утверждения U теории Т соответствии истинное или ложное в данной интерпретации. Поле интерпретации и его свойства обычно сами являются объектом рассмотрения определенной математической теории T 1, которая, в частности, может быть тоже аксиоматической.
Метод интерпретаций позволяет устанавливать факт относительной непротиворечивости, то есть доказать утверждения типа: «если теория T 1 непротиворечива, то непротиворечивая и теория Т». Пусть теория Т проинтерпретированы в теории T 1 таким образом, что все аксиомы А и теории Т интерпретируются истинными утверждениями А и * теории Т 1. Тогда всякая теорема теории Т, то есть всякое утверждение А, логически выведено из аксиом А и в Т, интерпретируется в T 1 определенным утверждением А *, которое можно вывести в Т из интерпретаций А * и аксиом А и, и следовательно истинным. Последнее утверждение опирается на еще одно предположение, что делается неявно нами, определенного сходства логических средств, применяемых в теориях Т и Т 1. Практически это условие обычно выполняется. Пусть теперь теория Т противоречива, то есть некое утверждение А этой теории выведено в ней вместе со своим отрицанием. Тогда из вышесказанного следует, что утверждение А * и «не А *» будут одновременно истинными утверждениями теории Т 1, т.е. теория Т 1 противоречива. Этим методом была, например, доказано (Ф. Клейн, А. Пуанкаре) непротиворечивость неевклидовой геометрии Лобачевского в предположении, что непротиворечивая геометрия Евклида, а вопрос о непротиворечивость гильбертово аксиоматизациы евклидовой геометрии был возведен (Д. Гильберт) к проблеме непротиворечивости арифметики.
Метод интерпретаций позволяет также решать вопрос о независимости систем аксиом: для доказательства того, что аксиома А теории Т не виводима из других аксиом этой теории и, следовательно, существенно необходима для получения всего объема данной теории, достаточно построить такую интерпретацию теории Т, в которой аксиома А была бы ошибочна, а все остальные аксиомы данной теории истинны. Вышеупомянутое возведения проблемы непротиворечивости геометрии Лобачевского к проблеме непротиворечивости евклидовой геометрии, а этой последней – к вопросу о непротиворечивость арифметики имеет своим следствием утверждение, что V постулат Евклида не виводимий из других аксиом геометрии, если только непротиворечивой является арифметика натуральных чисел.
Слабая сторона метода интерпретаций заключается в том, что в вопросах непротиворечивости и независимости систем аксиом он дает возможность получать только результаты, носят относительный характер. Важным достижением этого метода стал тот факт, что с его помощью была обнаружена особая роль арифметики как такой математической теории, к вопросу о непротиворечивости которой сводится аналогичный вопрос для целого ряда других теорий.
Дальнейшее развитие – в известном смысле это была вершина – аксиоматический метод получил в работах Д. Гильберта и его школы. В рамках этого направления было произведено дальнейшее уточнение понятия аксиоматической теории, а само понятие формальной системы. В результате этого уточнения оказалось возможным представлять сами математические теории как точные математические объекты и строить общую теорию, или метатеорию, таких теорий. При этом привлекательной представлялась перспектива (и Д. Гильберт был в свое время ею увлечен) решить на этом пути все главные вопросы обоснования математики. Всякая формальная система строится как точно очерченное класс выражений формул, в котором определенным точным образом выделяется подкласс формул, называют теоремами данной формальной системы. При этом формулы формальной системы сами не несут в себе никакой смысловой смысла, их можно строить по произвольным знаков или элементарных символов, руководствуясь только соображениями технической удобства. На самом деле способ построения формул и понятия теоремы той или формальной системы выбираются с таким расчетом, чтобы весь этот формальный аппарат можно было применять для как можно более адекватного и полного выражения той или конкретной математической (или не математической) теории, точнее, как ее фактического содержания, так и ее дедуктивной структуры. Всякую конкретную математическую теорию Т можно перевести на язык пригодной формальной системы S таким образом, что каждое осмысленное (ложное или истинное) выражения теории Т выражается известной формулой системы S.
Естественно ожидать, что метод формализации позволит строить весь положительный смысл математических теорий на такой точной и, казалось бы, надежной основе, как понятие выведенной формулы (теоремы формальной системы), а принципиальные вопросы типа проблемы непротиворечивости математических теорий решать форме доказательств соответствующих утверждений формальных систем, которые формализуют эти теории. Чтобы получить доказательства утверждений о непротиворечивость, не зависящих от тех мощных средств, которые в классических математических теориях раз и является причиной осложнений их обоснования, Д. Гильберт предлагал исследовать формальные системы т.н. финитными методами (см. метаматематики).
Однако результаты К. Геделя начале 30-х г. XX в. привели к краху основных надежд, что связывались с этой программой. К. Гедель показал следующее.
1) Всякая естественная, непротиворечивая формализация S арифметики или любой другой математической теории, содержащей арифметику (напр., теории множеств), неполная и непополняемые в том смысле, что: а) в S содержатся (содержательно истинные неразрешимые формулы, есть такие формулы А, ни А, ни отрицания А не виводими в S (неполнота формализованной арифметикы), б) какой бы конечным множеством дополнительных аксиом (напр., неразрешимыми в S формулам) расширять систему S, в новой, усиленной таким образом формальной системе неизбежно появятся свои неразрешимые формулы (непоповнюванисть; см. также Геделя теорема о неполноте).
2) Если формализованная арифметика действительности непротиворечива, то, хотя утверждение о ее непротиворечивость может быть выражено ее собственным языком, доведение этого утверждения невозможно провести средствами, формализуются в ней самой.
Это означает, что уже для арифметики принципиально невозможно исчерпать весь объем ее содержательно истинных суждений классом виводимих формул какой бы формальной системой и что нет никакой надежды получить какое-либо финитных доведение непротиворечивости арифметики, потому что, очевидно, всякое разумное уточнение понятия финитного доведение оказывается формализуемим в формальной арифметике.
Все это ставит определенные границы можливстям А. м. в том его виде, который он приобрел в рамках гильбертовського формализма. Однако и в этих границах он сыграл и продолжает играть важную роль в основании математики. Так, например, уже после описанных результатов К. Геделя им же в 1938-40 гг, а затем П. Коэном в 1963 г. на основе аксиоматического подхода с применением метода интерпретаций были получены фундаментальные результаты о совместимости (т.е. относительную непротиворечивость) и независимость аксиомы выбора и континуум-гипотезы в теории множеств. Что касается такого основного вопроса основ математики, как проблема непротиворечивости, и после результатов К. Геделя стало ясно, что для его решения, очевидно, не обойтись без других, отличных от финитистських, средств и идей. Здесь оказались возможными различные подходы, учитывая существование различных взглядов на допустимость тех или иных логических средств.
Из результатов о непротиворечивость формальных систем следует указать на доведение непротиворечивости формализованной арифметики, опирающегося на бесконечную индукцию к определенному счетно трансфинитной числа.
По П. С. Новиковым.

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

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

Такой абстрактный подход к аксиоматике в значительной мере был подготовлен открытием неевклидовых геометрий Н. И. Лобачевским, Я. Бойаи, К. Ф. Гауссом и Б. Риманом. Наиболее последовательное выражение новый взгляд на аксиомы как абстрактные формы, допускающие множество различных интерпретаций, нашел в известной работе Д. Гильберта «Основания геометрии» (1899г.). «Мы мыслим, - писал он в этой книге, - три различные системы вещей: вещи первой системы мы называем точками и обозначаем А, В, С,...; вещи второй системы мы называем прямыми и обозначаем а, b, с,...; вещи третьей системы мы называем плоскостями и обозначаем а, В, у,...». Отсюда видно, что под «точкой», «прямой» и «плоскостью» можно подразумевать любые системы объектов. Важно только, чтобы их свойства описывались соответствующими аксиомами. Дальнейший шаг на пути отвлечения от содержания аксиом связан с их символическим представлением в виде формул, а также точным заданием тех правил вывода, которые описывают, как из одних формул (аксиом) получаются другие формулы (теоремы). В результате этого содержательные рассуждения с понятиями на такой стадии исследования превращаются в некоторые операции с формулами по заранее предписанным правилам. Иначе говоря, содержательное мышление отображается здесь в исчислении. Аксиоматические системы подобного рода часто называют формализованными синтаксическими системами, или исчислениями.

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

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

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

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

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

Какие преимущества аксиоматический метод даст математике? Во-первых, он значительно расширяет границы применения математических методов и зачастую облегчает процесс исследования. При изучении конкретных явлений и процессов в той или иной области ученый может воспользоваться абстрактными аксиоматическими системами как готовыми орудиями анализа. Убедившись в том, что рассматриваемые явления удовлетворяют аксиомам некоторой математической теории, исследователь может без дополнительной трудоемкой работы сразу же воспользоваться всеми теоремами, которые следуют из аксиом. Аксиоматический подход избавляет специалиста конкретной науки от выполнения довольно сложного и трудного для него математического исследования.

Для математика этот метод дает возможность глубже понять объект исследований, выделить в нем главные направления, понять единство и связь разных методов и теорий. Единство, которое достигается с помощью аксиоматического метода, по образному выражению Н. Бурбаки, не есть единство, «которое дает скелет, лишенный жизни. Это питательный сок организма в полном развитии, податливый и плодотворный инструмент исследования...». Благодаря аксиоматическому методу, особенно в его формализованном виде, становится возможным полностью раскрыть логическую структуру различных теорий. В наиболее совершенном виде это относится к математическим теориям. В естественнонаучном знании приходится ограничиваться аксиоматизацией основного ядра теорий. Далее, применение аксиоматического метода дает возможность лучше контролировать ход наших рассуждений, добиваясь необходимой логической строгости. Однако главная ценность аксиоматизации, особенно в математике, состоит в том, что она выступает как метод исследования новых закономерностей, установления связей между понятиями и теориями, которые раньше казались обособленными друг от друга.

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

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

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

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

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

Анализ возникновения знания, процесса его формирования требует обращения к материалистической диалектике, как наиболее глубокому и всестороннему учению о развитии.

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

Пожалуй, одним из первых успешных применений аксиоматического метода стала геометрия древнегреческого математика Евклида (она появилась где-то в 330-320 гг. до н.э.). Евклидову аксиоматическую систему в общих словах можно охарактеризовать следующим образом. Изучение окружающего нас пространства дало возможность описать некоторые свойства объектов, которые получили название точка, прямая, плоскость, треугольник, круг и т.д. Несколько утверждений об этих объектах Евклид выбрал в качестве аксиом или постулатов. Их истинность, по его мнению, не нуждалось в доказательстве из-за их очевидности и легкого понимания. К числу аксиом он отнес суждения: «Через две точки можно провести только одну прямую», «Через прямую и точку вне ее может проходить лишь одна плоскость» и др. Из этих аксиом чисто логическим путем Евклиду удалось вывести все нужные геометрические утверждения и законы, которые обычно называются теоремами.

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

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

Пятый постулат Евклида (его можно сформулировать так: две параллельные прямые не пересекаются, сколько бы мы их не продолжали) казался математикам менее очевидным, чем остальные. Было предпринято множество попыток доказать этот постулат, посредством вывода его из остальных постулатов евклидовой системы. Но все эти попытки потерпели неудачу. В 1923 году Н.Н. Лобачевский и в 1933 г. Бойаи построили геометрию, в которой в качестве постулата фигурировало отрицание пятого постулата Евклида, т.е. в качестве аксиомы было взято суждение о том, что через точку вне прямой можно провести бесконечно много прямых, параллельных данной прямой. Первоначально многие математики встретили неевклидовую геометрию в штыки из-за ее явного противоречия воспринимаемому физическому пространству. Однако, в 1950 г. Фр. Клейн нашел очень удачную интерпретацию (разъяснение) этой геометрии. Если под «плоскостью» понимать внутренность какого-то круга евклидовой плоскости, под «точкой» - точку этого круга, а под «прямой» - хорду его окружности, то внутри круга будут выполняться все аксиомы и теоремы геометрии Лобачевского-Бойаи. Из этих открытий были сделаны важные заключения о любой аксиоматической системе: аксиомы этой системы должны удовлетворять требованиям независимости, полноты, непротиворечивости и она не должна быть вырожденной.

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

Но еще больше вопросов, связанных с аксиоматическим методом, возникло с открытием в XX1 веке парадоксов теории множеств. Они представляли собой рассуждения совершенно справедливые с интуитивной (содержательной) точки зрения, но тем не менее приводящие к противоречиям. Некоторые из них, например, парадокс «Лжец» были известны с древности. Напомним, что суть этого парадокса в следующем: некто говорит: «Я лгу». Если при этом он лжет, то сказанное им ложь, и, следовательно, он не лжет. Если же при этом он не лжет, то сказанное им истина, и, следовательно, он лжет. Так что в любом случае он лжет и не лжет одновременно. Однако связь парадокса «Лжец» с теорией множеств не была осознанной. Это случилось тогда, когда из аксиоматической теорией множеств, предложенной Г.Кантором и др. стали выводиться аналогичные парадоксы. Самый простой из них - парадокс Берри (2006). Суть его такова: множество всех натуральных чисел, которые могут быть названы по-русски посредством числа слогов (или букв), меньше некоторого конечного натурального числа, безусловно, конечно, следовательно, должно существовать наименьшее из чисел, которые не могут быть так названы. Но «наименьшее целое число, которое не может быть названо по-русски меньше, чем в пятьдесят слогов» (подсчитайте число слогов) есть выражение русского языка, содержащие менее пятидесяти слогов. Известны различные модификации этого парадокса. При исследовании систем аксиом арифметики, теории множеств и других аксиоматических теорий обнаружилось, что не существует полной системы аксиом, из которых можно было бы вывести такую простую теорию как арифметика (К.Гедель). Оказалось так же, что проблемы непротиворечивости систем аксиом теории множеств и других теорий чрезвычайно трудны. При попытках их решения математики и логики раскололись на враждующие между собой группировки. По мнению Гильберта и его формалистской школы, чтобы избавить математику от парадоксов нужно сформулировать ее в виде аксиоматической теории, после чего следует доказать непротиворечивость этой теории. По мнению интуиционистов, возглавляемых Бауэром, чтобы избавить математику от парадоксов, надо отказаться от признания универсального характера некоторых законов логики, в частности закона исключенного третьего.

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

Введение

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

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

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

Перед началом работы с пособием студенту необходимо внимательно ознакомиться с памяткой. В ней указан алгоритм изучения каждой темы. Темы можно изучать в произвольном порядке, кроме тем «Элементы комбинаторики» и «Элементы теории вероятностей». Вторая тема изучается после первой, так как использует формулы и определения, сформулированные в теме «Элементы комбинаторики».


ПАМЯТКА СТУДЕНТУ

Я слышу – и забываю,

Я вижу – и запоминаю,

Я делаю – и понимаю.

Конфуций

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

Каждый студент имеет возможность работать в индивидуальном режиме и изучать темы в произвольном порядке. Уровень трудности студент выбирает сам (первый либо второй), причем он в любое время может перейти от одного уровня сложности к другому. При выборе первого уровня сложности должны быть пройдены следующие этапы:

2 Решить задачи для самостоятельной работы (по выбору преподавателя).

3 Сдать зачет по теории (ответить на три вопроса из списка по выбору преподавателя).

4 Выполнить контрольную работу.

Выбрав второй уровень сложности, студент освобождается от теоретических вопросов по данной теме (3 этап).

Если тема содержит только теоретический материал, то сдается только зачет по теории (3 этап). Зачет по теории в этом случае также можно получить, выполнив и защитив реферат по данной теме (темы рефератов указаны в приложении).

На экзамен (зачет) выносятся те темы, по которым студент не успел отчитаться в установленные сроки.

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

В таблице 2 представлены показатели балльно-рейтинговой системы для выставления итоговой оценки по дисциплине.

Раздел (тема) Кол-во недель (часов) форма контроля
Аксиоматический метод 1 (4) зачет по теории
Элементы теории множеств 2 (8)
Элементы математической логики 2 (8) зачет по теории + контрольная работа
Элементы комбинаторики 2 (8) зачет по теории + контрольная работа
Элементы теории вероятности 3 (12) зачет по теории + контрольная работа
Элементы математической статистики 3 (12) зачет по теории + контрольная работа
Элементы математического моделирования 3 (12) зачет по теории
История математики 1 (4) зачет по теории
Резерв: 1 (4)
Номер и название темы Название показателя Количество баллов
1 Аксиоматический метод 7 Элементы математического моделирования 8 История математики 1 чтение ответов на вопросы 2 самостоятельное воспроизведение ответов 7-8 9-10
2 Элементы теории множеств 3 Элементы математической логики 4 Элементы комбинаторики 5 Элементы теории вероятности 6 Элементы математической статистики 1 решены все задачи базового уровня + прочитаны ответы на 3 вопроса по теории + контрольная работа решена на «2+» 2 решены все задачи базового уровня + прочитаны ответы на 3 вопроса по теории + контрольная работа решена на «3» 3 решены все задачи базового уровня + ответы на вопросы по теории даны самостоятельно + контрольная работа решена на «2+» 4 решены все задачи базового уровня + ответы на вопросы по теории даны самостоятельно + контрольная работа решена на «3» 5 решены все задачи базового уровня + решены все задачи повышенного уровня (самостоятельно даны ответы на вопросы по теории) + контрольная работа решена на «3+» 6 контрольная работа решена на «4-5»
Минимальная сумма баллов
Максимальная сумма баллов
Дополнительные бонусные баллы 1 контрольная работа решена на «4-5» 2 выполнено задание исследовательского характера 3 досрочная сдача всех тем 3-5 3-20

Для получения зачета нужно набрать не менее 61 балла.

Для получения допуска на экзамен нужно набрать не менее 51 балла

Оценка «3 (посредственно)» выставляется, если набрано 61-67 баллов.

Оценка «3 (удовлетворительно)» выставляется, если набрано 68-73 балла.

Оценка «4 (хорошо)» выставляется, если набрано 74-83 балла.

Оценка «4 (очень хорошо)» выставляется, если набрано 84-90 баллов.

Оценка «5 (отлично)» выставляется, если набрано 91-100 баллов.


Тема 1: Аксиоматический метод

Математика - это орудие, специально приспособленное для того, чтобы иметь дело с отвлеченными понятиями любого вида, и в этой области нет предела ее могуществу.

П.Дирак

Если теорему так и не смогли доказать – она становится аксиомой.

Евклид

Сущность аксиоматического метода

Математика строится на основе понятий. Понятия бывают определяемые и неопределяемые. Под определением понимают точную формулировку того или иного понятия. Определить математическое понятие – это значит указать его характерные признаки или свойства, которые выделяют это понятие среди остальных. Обычный способ определения математического понятия заключается в указании: 1) ближнего рода, то есть более общего понятия, к которому относится определяемое понятие; 2) видового отличия, то есть тех характерных признаков или свойств, которые присущи именно этому понятию.

Пример 1. Определение: «Квадрат – это прямоугольник, у которого все стороны равны». Ближайшим родом, то есть более общим понятием является понятие прямоугольника, а видовым отличием будет указание, что у квадрата все стороны равны. В свою очередь для прямоугольника более общим понятием является понятие параллелограмма, для параллелограмма - понятие четырехугольника, для четырехугольника - понятие многоугольника и так далее. Но указанная цепочка не является бесконечной.

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

Связи и отношения между основными понятиями формулируются с помощью аксиом.

Аксиома - это математическое предложение, принимаемое в данной теории без доказательств.

К системе аксиом, на которой строится та или иная математическая теория, предъявляются требования непротиворечивости, независимости, полноты.

Система аксиом называется непротиворечивой , если из нее нельзя одновременно вывести два взаимоисключающих друг друга предложения: А , неА .

Система аксиом называется независимой , если ни одна из аксиом этой системы не является следствием других аксиом этой системы.

Система аксиом называется полной , если в ней доказуемо обязательно одно из двух: либо утверждение А , либо неА.

Предложение, которого нет в списке аксиом, должно быть доказано. Такое предложение называется теоремой .

Теорема - это математическое предложение, истинность которого устанавливается в процессе рассуждения, называемого доказательством.

Пример 2.

Аксиома: «Какова бы ни была прямая, существуют точки, принадлежащие этой прямой и точки, не принадлежащие ей».

Теорема: «Если диагонали четырехугольника пересекаются и точкой пересечения делятся пополам, то этот четырехугольник – параллелограмм».

Одним из основных методов современной математики является аксиоматический метод . Сущность его состоит в следующем:

1) перечисляются основные неопределяемые понятия и отношения строящейся теории (примеры отношений: следовать за..., лежать между...);

2) формулируются аксиомы, принимаемые в данной теории без доказательства, которые выражают связь между основными понятиями и их отношениями;

3) предложения, которых нет среди основных понятий и основных отношений, должны быть определены;

4) предложения, которых нет в списке аксиом, должны быть доказаны на основе этих аксиом и ранее доказанных предложений.

1.2 Геометрия Евклида – первая естественно научная теория

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

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

Греческий период развития геометрии начался в VII-VI вв. до н.э. под влиянием египтян. Отцом греческой математики считается знаменитый философ Фалес (640-548 гг. до н.э.). Фалесу, точнее, его математической школе принадлежат доказательства свойств равнобедренного треугольника, вертикальных углов. В дальнейшем геометром Древней Греции были получены результаты, охватывающие почти все содержание современного школьного курса геометрии.

Философская школа Пифагора (570-471 гг. до н.э.) открыла теорему о сумме углов треугольника, доказала теорему Пифагора, установила существование пяти типов правильных многогранников и несоизмеримых отрезков. Демокрит (470-370 гг. до н.э.) открыл теоремы об объемах пирамиды и конуса. Евдокс (410-356 гг. до н.э.) создал геометрическую теорию пропорций (т.е. теорию пропорциональных чисел).

Менехм и Аполлоний изучили конические сечения. Архимед (289-212 гг. до н.э.) открыл правила вычисления площади поверхности и объема шара и других фигур. Он же нашел приближенное значение числа π.

Особая заслуга древнегреческих ученых состоит в том, что они первыми поставили задачу строгого построения геометрических знаний и решили ее в первом приближении. Проблему поставил Платон (428-348 гг. до н.э.). Аристотелю (384-322 гг. до н.э.) – крупнейшему философу, основателю формальной логики – принадлежит четкое оформление идеи построения геометрии в виде цепи предложений, которые вытекают одно из другого на основе лишь правил логики. Эту задачу пытались решить многие греческие ученые (Гиппократ, Федий).

Евклид (330-275 гг. до н. э.) – крупнейший геометр древности, воспитанник школы Платона, жил в Египте (в Александрии). Составленные им «Начала» дают систематическое изложение начал геометрии, выполненное на таком научном уровне, что многие века преподавание геометрии велось по его сочинению. «Начала» состоят из 13 книг (глав):

I-VI – планиметрия;

VII-IХ – арифметика в геометрическом изложении;

X – несоизмеримые отрезки;

ХI-ХII – стереометрия.

В «Начала» были включены не все сведения, известные в геометрии. Например, в эти книги не вошли: теория конических сечений, кривые высших порядков.

Каждая книга начинается с определения тех понятий, которые в ней встречаются. Например, в книге I даны 23 определения. Приведем определения первых четырех понятий:

1 Точка есть то, что не имеет частей.

2 Линия есть длина без ширины.

3 Границы линии суть точки.

Евклид приводит предложения, принимаемые без доказательства, разделяя их на постулаты и аксиомы. Постулатов у него пять, а аксиом – семь. Вот некоторые из них:

IV И чтобы все прямые углы были равны.

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

Аксиомы

I Равные порознь третьему равны между собой.

II И если к равным прибавить равные, то получим равные.

VII И совмещающиеся равны.

Евклид не указал, в чем заключается различие между постулатами и аксиомами. До сих пор нет окончательного решения этого вопроса.

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

«Начала» Евклида сыграли огромную роль в истории математики и всей человеческой культуры. Эти книги переведены на все основные языки мира, после 1482 г. они выдержали около 500 изданий.

Недостатки системы Евклида. С точки зрения современной математики изложение «Начал» следует признать несовершенным. Назовем основные недостатки этой системы:

1) многие понятия включают такие, которые в свою очередь должны быть определены (например, в определениях 1-4 главы 1 используются понятия ширины, длины, границы, которые также должны быть определены);

2) список аксиом и постулатов недостаточен для построения геометрии строго логическим путем. Например, в этом списке нет аксиом порядка, без которых нельзя доказать многие теоремы геометрии; заметим, что на это обстоятельство обратил внимание Гаусс. В указанном списке отсутствуют также определения понятия движения (совмещения) и свойств движения, т.е. аксиом движения. В списке не хватает также аксиомы Архимеда (одной из двух аксиом непрерывности), которая играет важную роль в теории измерений длин отрезков, площадей фигур и объектов тел. Заметим, что на это обратил внимание современник Евклида Архимед;

3) постулат IV явно лишний, его можно доказать как теорему. Особо отметим пятый постулат. В книге I «Начал» первые 28 предложений доказаны без ссылок на пятый постулат. Попытка минимизировать список аксиом и постулатов, в частности доказать постулат V как теорему, проводилась со времен самого Евклида. Прокл (V в. н. э.), Омар Хайям (1048-1123 гг.), Валлис (XVII в.), Саккери и Ламберт (XVIII в.), Лежандр (1752-1833 гг.) также пытались доказать постулат V как теорему. Их доказательства были ошибочными, но они привели к положительным результатам – к рождению еще двух геометрий (Римана и Лобачевского).

Неевклидовы геометрические системы. Н.Лобачевский (1792-1856 гг.), который открыл новую геометрию – геометрию Лобачевского, также начал с попытки доказательства постулата V.

Николай Иванович развил свою систему до объема «Начал» в надежде получить противоречие. Не получил, но сделал в 1826 г. правильный вывод: существует геометрия, отличная от геометрии Евклида.

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

Лобачевский был первым, но не единственным, кто сделал вывод о существовании другой геометрии. Гаусс (1777-1855 гг.) высказал эту идею еще в 1816 г. в частных письмах, но в официальных публикациях заявление не сделал.

Три года спустя после публикации результатов Лобачевского (в 1829 г.), т.е. в 1832 г., вышла работа венгра Я. Бойяи (1802-1860 гг.), который в 1823 г. пришел к выводу о существовании другой геометрии, но опубликовал позже и в менее развитом, чем у Лобачевского, виде. Поэтому справедливо, что эта геометрия носит имя Лобачевского.

Общему признанию геометрии Лобачевского в значительной степени способствовали работы геометров после Лобачевского. В 1868 г. итальянский математик Э.Бельтрами (1825-1900 гг.) доказал, что на поверхности постоянной отрицательной кривизны (так называемая псевдосфера) имеет место геометрия Лобачевского. Уязвимым местом доказательства непротиворечивости геометрии Лобачевского, основанного на интерпретации Бельтрами, было то, что, как показал Д.Гильберт (1862-1943 гг.), в евклидовом пространстве не существует полной поверхности постоянной отрицательной кривизны без особенностей. Поэтому на поверхности постоянной отрицательной кривизны можно интерпретировать только часть плоской геометрии Лобачевского. Этот недостаток был устранен А.Пуанкаре (1854-1912 гг.) и Ф.Клейном (1849-1925 гг.).

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

Дальнейшие исследования евклидовой геометрии показали неполноту системы аксиом и постулатов Евклида. Исследование аксиоматики Евклида завершил в 1899 г. Гильберт.

Аксиоматика Гильберта состоит из пяти групп:

Аксиомы связи (принадлежности);

Аксиомы порядка;

Аксиомы конгруэнтности (равенства, совпадения);

Аксиомы непрерывности;

Аксиома параллельности.

Эти аксиомы (всего их 20) относятся к объектам трех родов: точек, прямых, плоскостей, а также к трем отношениям между ними: «принадлежит», «лежит между», «конгруэнтен». Конкретный смысл точек, прямых, плоскостей и отношений не указан. Они косвенно определены через аксиомы. Благодаря этому построенная на основе аксиом Гильберта геометрия допускает различные конкретные реализации.

Геометрическая система, построенная на перечисленных аксиомах, называется евклидовой геометрией, так как совпадает с геометрией, изложенной Евклидом в «Началах».

Геометрические системы, отличные от евклидовой, называются неевклидовыми геометриями. Согласно общей теории относительности, в пространстве ни та, ни другая не являются абсолютно точными, однако в малых масштабах (земные масштабы являются также достаточно «малыми») они вполне пригодны для описания пространства. Причиной того, что на практике применяются евклидовы формулы, является их простота.

Гильберт всесторонне исследовал свою систему аксиом, показал, что она непротиворечива, если не противоречива арифметика (т.е. на самом деле доказана содержательная или так называемая внешняя непротиворечивость). Он завершил многовековые исследования геометров по обоснованию геометрии. Эта работа была высоко оценена и в 1903 г. отмечена премией имени Лобачевского.

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

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

Предмет математики

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

Известны два подхода к определению предмета математики. Одно определение дано Ф.Энгельсом, другое – коллективом французских математиков под общим псевдонимом Н.Бурбаки.

Согласно Ф. Энгельсу, «чистая математика имеет своим объектом пространственные формы и количественные отношения действительного мира, стало быть, – весьма реальный материал. Тот факт, что этот материал принимает чрезвычайно абстрактную форму, может лишь слабо затушевывать его происхождение из внешнего мира». Хотя это предложение нельзя считать полным определением математики, поскольку оно не указывает метод, цели изучения математики, но отражает то, что объект изучения создан умом человека не произвольно, а в связи с реальным миром.

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

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

Эта фундаментальная идея лежит в основе понятия абстрактной структуры. Н.Бурбаки выделяют три основных типа структур, которые играют важную роль при построении ими современной математики.

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

Структуры порядка характеризуются тем, что на рассматриваемом множестве задается отношение порядка (сравнение на числовых множествах), для которого выполняются следующие свойства: рефлексивность, симметричность, транзитивность.

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

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

Общей чертой различных понятий, объединенных родовым названием «математическая структура», является то, что они применимы ко множеству элементов, природа которых не определена. Построить аксиоматическую теорию структуры – значит вывести логические следствия из аксиом структуры, отказавшись от каких-либо других предложений относительно рассматриваемых элементов, от всяких гипотез относительно их «природы».

На основе сказанного Н.Бурбаки делают вывод: «В своей аксиоматической форме математика представляется скоплением абстрактных форм – математических структур, и оказывается (хотя по существу и неизвестно почему), что некоторые аспекты экспериментальной действительности как будто в результате предопределения укладываются в некоторые из этих форм».

Итак, по Н.Бурбаки, математика – это «скопление математических структур», не имеющих к действительности никакого отношения. Следует сказать, что этот взгляд на математику разделялся многими учеными, которые считали, что определение Ф. Энгельса устарело.

Накопленный в XVII и XVIII вв. огромный фактический материал привел к необходимости углубленного логического анализа и объединения его с новых точек зрения. Связь математики с естествознанием приобретает все более сложные формы. Новые теории стали возникать не только в результате непосредственных запросов практики, естествознания и техники, но также из внутренних потребностей самой математики. Наиболее важные из них: развитие теории функций, теории групп, связанной с исследованием проблемы разрешимости алгебраических уравнений в радикалах, создание неевклидовых геометрий.

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

Третья особенность математики XIX в. обусловлена усиленным вниманием к вопросам обоснования, критического пересмотра исходных положений (аксиом), построению строгой системы определений и доказательств, а также к критическому рассмотрению логических приемов, употребляемых при этих доказательствах. Г. Рузавин так пишет о математике этого периода: «Если раньше основным предметом ее изучения были метрические количественные отношения между величинами и пространственными формами, то, начиная с середины XIX в. она все больше и больше обращается к анализу взаимосвязей неметрической природы». Такое расширение области исследования математики сопровождалось возрастанием абстрактности ее понятий и теорий.

Революционный переворот во взглядах на математику был связан как раз с ее обоснованием, новым пониманием аксиоматического метода. Открытие в 1826 г. Н.Лобачевским того, что замена пятого постулата Евклида о параллельных его отрицанием («Через точку вне прямой проходит более одной прямой, не пересекающей данную»), и выводы из системы аксиом абсолютной геометрии (где выполняются все аксиомы Евклида, кроме аксиомы параллельности) и аксиомы параллельности Лобачевского не привели к логическим погрешностям.

Это развило столь же стройную и богатую содержанием геометрию, как и геометрия Евклида, послужило толчком в изменении взглядов на математику. Сразу встал вопрос о необходимости обоснования новой геометрии, исследовании ее непротиворечивости (из данной системы аксиом нельзя получить двух взаимоисключающих выводов). В этой связи получает дальнейшее развитие аксиоматический метод: 1) решается проблема непротиворечивости, полноты и независимости системы аксиом; 2) появляется новый взгляд на аксиоматическую теорию как бессодержательную, формально-логическую систему. Решение этих проблем было предложено Д. Гильбертом.

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

Таким образом, подход Н.Бурбаки к определению математики как «скоплению абстрактных, бессодержательных, математических структур» был предопределен новым пониманием аксиоматического метода.

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

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

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

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

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

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

  • Аксиоматический метод впервые был успешно применен Евклидом для построения элементарной геометрии. С того времени этот метод претерпел значительную эволюцию, нашел многочисленные приложения не только в математике, но и во многих разделах точного естествознания (механика, оптика, электродинамика, теория относительности, космология и др.).

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

    Такой абстрактный подход к аксиоматике в значительной мере был подготовлен открытием неевклидовых геометрий Н. И. Лобачевским, Я. Бойаи, К. Ф. Гауссом и Б. Риманом. Наиболее последовательное выражение новый взгляд на аксиомы как абстрактные формы, допускающие множество различных интерпретаций, нашел в известной работе Д. Гильберта «Основания геометрии» (1899г.). «Мы мыслим, - писал он в этой книге, - три различные системы вещей: вещи первой системы мы называем точками и обозначаем А, В, С,...; вещи второй системы мы называем прямыми и обозначаем а, b, с,...; вещи третьей системы мы называем плоскостями и обозначаем а, В, у,...». Отсюда видно, что под «точкой», «прямой» и «плоскостью» можно подразумевать любые системы объектов. Важно только, чтобы их свойства описывались соответствующими аксиомами. Дальнейший шаг на пути отвлечения от содержания аксиом связан с их символическим представлением в виде формул, а также точным заданием тех правил вывода, которые описывают, как из одних формул (аксиом) получаются другие формулы (теоремы). В результате этого содержательные рассуждения с понятиями на такой стадии исследования превращаются в некоторые операции с формулами по заранее предписанным правилам. Иначе говоря, содержательное мышление отображается здесь в исчислении. Аксиоматические системы подобного рода часто называют формализованными синтаксическими системами, или исчислениями.

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

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

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

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

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

    Какие преимущества аксиоматический метод даст математике? Во-первых, он значительно расширяет границы применения математических методов и зачастую облегчает процесс исследования. При изучении конкретных явлений и процессов в той или иной области ученый может воспользоваться абстрактными аксиоматическими системами как готовыми орудиями анализа. Убедившись в том, что рассматриваемые явления удовлетворяют аксиомам некоторой математической теории, исследователь может без дополнительной трудоемкой работы сразу же воспользоваться всеми теоремами, которые следуют из аксиом. Аксиоматический подход избавляет специалиста конкретной науки от выполнения довольно сложного и трудного для него математического исследования.

    Для математика этот метод дает возможность глубже понять объект исследований, выделить в нем главные направления, понять единство и связь разных методов и теорий. Единство, которое достигается с помощью аксиоматического метода, по образному выражению Н. Бурбаки, не есть единство, «которое дает скелет, лишенный жизни. Это питательный сок организма в полном развитии, податливый и плодотворный инструмент исследования...». Благодаря аксиоматическому методу, особенно в его формализованном виде, становится возможным полностью раскрыть логическую структуру различных теорий. В наиболее совершенном виде это относится к математическим теориям. В естественнонаучном знании приходится ограничиваться аксиоматизацией основного ядра теорий. Далее, применение аксиоматического метода дает возможность лучше контролировать ход наших рассуждений, добиваясь необходимой логической строгости. Однако главная ценность аксиоматизации, особенно в математике, состоит в том, что она выступает как метод исследования новых закономерностей, установления связей между понятиями и теориями, которые раньше казались обособленными друг от друга.

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

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

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

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

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

    Анализ возникновения знания, процесса его формирования требует обращения к материалистической диалектике, как наиболее глубокому и всестороннему учению о развитии.