Mathematische Logik

Mathematische Logik ist ein Teilgebiet der Mathematik, das die Anwendungen der formalen Logik auf die Mathematik untersucht. Sie steht in engem Zusammenhang mit der Metamathematik, den Grundlagen der Mathematik und der theoretischen Informatik. Die einigenden Themen der mathematischen Logik umfassen das Studium der Ausdruckskraft formeller Systeme und die deduktive Kraft formaler Beweissysteme.

Mathematische Logik wird oft in die Bereiche Mengenlehre, Modelltheorie, Rekursionstheorie und Beweistheorie unterteilt. Diese Bereiche teilen grundlegende Ergebnisse der Logik, insbesondere der Logik erster Ordnung und der Definierbarkeit. In der Informatik (insbesondere in der ACM-Klassifikation) umfasst die mathematische Logik zusätzliche Themen, die in diesem Artikel nicht behandelt werden; siehe Logik in der Informatik für diese.

Unterstützungssprache

ar-SA = العربية

ca-ES = katalanisch

cs-CZ = Čeština

de-DE = Deutsch

en-US = Englisch

ES-ES = Español

fa-IR = اارىى

fr-FR = français

he-IL = Deutsch.

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