Математическая логика, логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики, возникновением множеств теории, где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.
А. А. Марков.
Большая Советская Энциклопедия М.: "Советская энциклопедия", 1969-1978
Математическая модель Математическая модель, приближённое описание какого-либо класса явлений внешнего мира, выраженное с помощью математической символики. М. м. — мощный метод познания внешнего мира, а также...
Математическая статистика Математическая статистика, раздел математики, посвященный математическим методам систематизации, обработки и использования статистических данных для научных и практических выводов. При э...
Математическая физика Математическая физика, теория математических моделей физических явлений; занимает особое положение и в математике, и в физике, находясь на стыке этих наук. М. ф. тесно связана с физико...