Математического языка

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

Теорема – утверждение, вытекающее из аксиом.

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

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

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

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

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

Аксиоматический метод (дедуктивная система изложения) сводится к:

1) перечислению основных понятий,

2) изложению определений,

3) изложению аксиом,

4) изложению теорем,

5) доказательству этих теорем.

Внутри дедуктивной системы не могут быть решены два вопроса: 1) о смысле основных понятий, 2) об истинности аксиом. История естествознания свидетельствует, что возможность аксиоматического построения той или иной науки появляется лишь на довольно высоком уровне развития этой науки, на базе большого фактического материала, позволяет отчетливо выявить те основные связи и соотношения, которые существуют между объектами, изучаемыми данной наукой.

Аксиоматический метод позволяет сделать следующее:

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

Недостатки математического языка: - специфичность;

- ограниченная возможность отображения.

Достоинства математического языка:

- позволяет с помощью символов выражать мыслительные операции в сокращенном и свернутом виде;

- отличается большой прогностической силой.

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