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

от Уикипедия, свободната енциклопедия

Математическата логика е дял от математиката, който се занимава с формалните системи по отношение начина, по който те декодират интуитивните концепции на математическите обекти като множества, числа, доказателства и изчисления. Често се дели на рекурсивна теория, теория на множествата и др.

Преди математическата логика е била наричана символна логика, за разлика от философската логика и метаматематиката. Последното наименование е все още в употреба.

В крайна сметка математическата логика все пак не се отнася толкова до логика на математиката, колкото до математика на логиката.


виж Логика

[редактиране] Външни линкове