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

Определение "Математическая логика" в Большой Советской Энциклопедии


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




"БСЭ" >> "М" >> "МА" >> "МАТ" >> "МАТЕ"

Статья про "Математическая логика" в Большой Советской Энциклопедии была прочитана 461 раз
Бургер двойного помола
Жаренный морской черенок

TOP 20