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

Математическая логика - это подполе математики, изучающее применение формальной логики к математике. Он тесно связан с метаматематикой, основами математики и теоретической информатикой. Объединяющие темы в математической логике включают изучение выразительной силы формальных систем и дедуктивной силы формальных систем доказательства.

Математическая логика часто делится на поля теории множеств, теории моделей, теории рекурсии и теории доказательств. Эти области разделяют основные результаты по логике, особенно логику первого порядка и определенность. В информатике (в частности, в Классификации ACM) математическая логика охватывает дополнительные темы, не описанные в этой статье; см. Логику в области информатики для них.

Язык поддержки

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

ru-US = английский

es-ES = Español

fa-IR = فارسى

fr-FR = français

he-IL = עִבְרִית

hu-HU = Magyar

it-IT = italiano

ja-JP = 日本語

ko-KR = 한국어

nl-NL = Nederlands

pl-PL = polski

pt-PT = Português

ru-RU = Русский

sr-RS = Српски

sv-SE = Svenska

uk-UA = українська

zh-CN = 中文