1. Исторические периоды развития математики.

Период зарождения математики, на протяжении которого был накоплен достаточно большой фактический материал;

Период элементарной математики, начинающийся в VI—V веках до н. э. и завершающийся в конце XVI века («Запас понятий, с которыми имела дело математика до начала XVII века, составляет и до настоящего времени основу „элементарной математики“, преподаваемой в начальной и средней школе»);

Период математики переменных величин, охватывающий XVII—XVIII века, «который можно условно назвать также периодом „высшей математики“»;

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

2. Сущность аксиоматического метода. Свойства системы аксиом.

АКСИОМАТИЧЕСКИЙ МЕТОД — метод построения теорий, в соответствии с которым разрешается пользоваться в доказательствах лишь аксиомами и ранее выведенными из них утверждениями. Основания для применения аксиоматического метода могут быть разными, что обычно приводит к различению аксиом не только по их формулировкам, но и по их методологическим (прагматическим) статусам. Например, аксиома может иметь статус утверждения, или статус предположения, или статус лингвистического соглашения о желаемом употреблении терминов.

Свойства:

Непротиворечивость

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

Полнота

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

Независимость аксиом

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

Разрешимость

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

3. Характеристика современного периода развития математики.

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

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