Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematisc...
Siehe Symbolische Logik.
Siehe Symbolische Logik.
mathematische Logik, die Lehre von den logischen Zusammenhängen, soweit sie deren Elemente und Beziehungen in eine Theorie überführt und durch Symbole und Formelsprache darstellt (oft gleichbedeutend gebraucht mit formaler Logik). Sie geht von Aussagen aus, deren Beziehungen ohne Berücksichtigung de...
Gebiet der Mathematik, das die Logik mit Hilfe einer mathematischen Formelsprache behandelt. Teilgebiete sind die Aussagenlogik und die Prädikatenlogik.