Предмет и специфика математики

Слово «математика» произошло от др.-греч. mбthзma, что означает изучение, знание, наука, и др.-греч. mathзmatikуs, первоначально означающего восприимчивый, успевающий, позднее относящийся к изучению, математике. В частности, ars mathematica, означает искусство математики.

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

Николай Бурбаки (группа французских математиков) определяет современную математику как науку о структурах. Здесь под структурой понимается упорядоченное многообразие математических элементов (чисел, функций и т. п.)[1]. Для построения математической системы используются аксиоматический и конструктивистский методы. В первом методе исходят из аксиом и правил вывода из них других положений. Естественный язык заменяется математическими символами. Этот процесс называется формализацией. Вследствие того, что математика работает с чрезвычайно разнообразными и довольно сложными структурами, система обозначений также очень сложна. Современная система записи формул сформировалась на основе европейской алгебраической традиции, а также математического анализа (понятия функции, производной и т. д.). В современной математике распространены также сложные графические системы записи (например, коммутативные диаграммы), нередко также применяются обозначения на основе графов.

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

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