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

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

Предмет математической логики и теории алгоритмов наряду со специальными знаниями описывает взаимосвязи между научным подходом в познании реального мира, логикой и математикой. Содержание математической логики последних 100 лет включает в себя не только традиционную логическую и математическую проблематику, но некоторые вопросы философии, психологии и искусственного интеллекта.

Математическая логика возникла, когда в логических исследованиях стали применять математические методы.

Что такое математическая логика? Прежде чем выяснить это, необходимо ответить на вопрос — что есть логика? Перечислим несколько различных определений, серьезных и не очень. Джон Локк (John Locke; 1632–1704 гг., английский философ): «Логика есть анатомия мышления». Джон Стюарт Милль (John Stuart Mill; 1806–1873 гг., английский философ): «Логика не тождественна знанию, хотя область ее и совпадает с областью знания. Логика есть общий ценитель и судья всех частных исследований. Она не задается целью находить очевидность; она только определяет, найдена очевидность или нет. Логика не наблюдает, не изобретает, не открывает — она судит.