Metamathematik der Elementarmathematik

Inhalt
I: Das Kontinuum.- §1 Was sind die reellen Zahlen?.- §2 Sprache als ein Teil der Mathematik.- §3 Elementare Theorie der reellen Zahlen.- §4 Non-standard Analysis.- §5 Auswahlaxiom und Kontinuumhypothese.- II: Geometrie.- §1 Raum und Mathematik.- §2 Axiomatisierung durch Koordinatisierung.- §3 Wissenschaftstheoretische Fragen und Methoden der Elementargeometrie.- §4 Geometrische Konstruktionen.- III: Algorithmik.- §1 Was ist eine Rechenvorschrift.- §2 Die Existenz kombinatorischer Algebren: kombinatorische Logik.- §3 Konkrete kombinatorische Algebren.- §4 Lambda-Kalkül.- §5 Berechenbarkeit und Kombinatoren.