E-Book, Deutsch, 134 Seiten, eBook
Engeler Metamathematik der Elementarmathematik
1983
ISBN: 978-3-642-68929-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Deutsch, 134 Seiten, eBook
Reihe: Hochschultexte / Universitexts
ISBN: 978-3-642-68929-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Graduate
Autoren/Hrsg.
Weitere Infos & Material
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.