Metamathematik der Elementarmathematik [Paperback]

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.Springer Book Archives