Lógica matemática

A lógica matemática é um subcampo da matemática que explora as aplicações da lógica formal à matemática. Possui estreitas conexões com a metamatemática, os fundamentos da matemática e a ciência da computação teórica. Os temas unificadores da lógica matemática incluem o estudo do poder expressivo dos sistemas formais e o poder dedutivo dos sistemas formais de prova.

A lógica matemática é frequentemente dividida nos campos da teoria dos conjuntos, teoria dos modelos, teoria da recursão e teoria da prova. Essas áreas compartilham resultados básicos de lógica, particularmente lógica de primeira ordem e definibilidade. Na ciência da computação (particularmente na Classificação ACM), a lógica matemática abrange tópicos adicionais não detalhados neste artigo; veja Logic em ciência da computação para aqueles.

Suporte Linguagem

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

de-DE = Deutsch

en-US = Inglês

es-ES = Español

fa-IR = فارْسِى

fr-FR = français

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

hu-hu = magiar

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 = 中文