Математическа логика
From Wikipedia, the free encyclopedia
Математическата логика е дял от математиката, съвременна форма на формалната логика. Тя се интересува от теорията на логическите константи и предикати от произволна степен и връзките между тях. Днес математическа логика е обширна област от математическото знание. Тя има приложение в математическия анализ, теорията на множествата и топологията, алгебрата, информатиката, а също в някои области на теоретичната физика.