Mathematik: Logik

Zahlen

Strukturtypen der Logik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Posit

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Meng

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische

Metamathematische Methoden in der Geometrie

Metamathematik der Elementarmathematik

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Mathematische Logik mit Informatik-Anwendungen

Einleitung in die Mengenlehre