Математическа логика
от Уикипедия, свободната енциклопедия
Математическата логика е дял от математиката, който се занимава с формалните системи по отношение начина, по който те декодират интуитивните концепции на математическите обекти като множества, числа, доказателства и изчисления. Често се дели на рекурсивна теория, теория на множествата и др.
Преди математическата логика е била наричана символна логика, за разлика от философската логика и метаматематиката. Последното наименование е все още в употреба.
В крайна сметка математическата логика все пак не се отнася толкова до логика на математиката, колкото до математика на логиката.
виж Логика
[редактиране] Външни линкове
- Вилнис и Карлис (Латвийски университет), учебник по логика (английски език) Introduction to Mathematical Logic.