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