Metamathematik der Elementarmathematik

Inhaltsverzeichnis

• 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.