Математическая логика является наукой о законах математического мышления. Предметом математической логики являются математические теории в целом, которые изучаются с помощью математических языков.
Сфера применения математической логики очень широка. С каждым годом растет глубокое проникновение идей и методов математической логики в информатику, вычислительную математику, лингвистику, философию. Мощным импульсом для развития и расширения области применения математической логики стало появление электронно-вычислительных машин. Принцип работы большинства компьютеров основан на ней. Так же автоматическое доказательство, верификация программ, логическое программирование, теория категорий (применяется в некоторых областях Computer Science)не возможны без математической логики.
Созданный в математической логике. аппарат исчислений оказался применимым в математической лингвистике, изучающей язык математич. методами
Еще надо выделить теорию вычислимости - это самостоятельная большая область математики, тесно связанная с логикой.
Методы и понятия математической логики является основой, ядром интеллектуальных информационных систем. Средства математической логики стали эффективным рабочим инструментом для специалистов многих отраслей науки и техники.
