Logica matematica

La logica matematica è un sottocampo della matematica che esplora le applicazioni della logica formale alla matematica. Porta stretti legami con la metamatematica, i fondamenti della matematica e l'informatica teorica. I temi unificanti nella logica matematica includono lo studio del potere espressivo dei sistemi formali e il potere deduttivo dei sistemi di prova formale.

La logica matematica è spesso suddivisa nei campi della teoria degli insiemi, della teoria dei modelli, della teoria della ricorsività e della teoria delle prove. Queste aree condividono i risultati di base sulla logica, in particolare la logica del primo ordine e la definibilità. In informatica (in particolare nella classificazione ACM) la logica matematica comprende argomenti aggiuntivi non descritti in questo articolo; vedi Logica in informatica per quelli.

Lingua di supporto

ar-SA = العربية

ca-ES = català

cs-CZ = Čeština

DE-DE = Deutsch

en-US = inglese

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