Metamathematik der Elementarmathematik
著者
書誌事項
Metamathematik der Elementarmathematik
(Hochschultext)
Springer-Verlag, 1983
- :gw
- :us
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
目次
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-Kalkul.- 5 Berechenbarkeit und Kombinatoren.
「Nielsen BookData」 より