Logische Grundlagen der Mathematik / Ralf Schindler

Deutsch

Berlin ; Heidelberg [u.a.] : Springer, 2009

203 S. : graph. Darst. ; 190 mm x 127 mm

09377433

12611966

Literaturverz. S. 197 - 198

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

Online-Ausg.: Schindler, Ralf: Logische Grundlagen der Mathematik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Online-Ressource (digital)

Erscheint auch als: Online-Ausgabe- Schindler, Ralf: Logische Grundlagen der Mathematik. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - Online-Ressource (digital)

Erscheint auch als: Online-Ausgabe- Schindler, Ralf *1965-*: Logische Grundlagen der Mathematik. - Berlin [u.a.] : Springer, 2009. - Online-Ressource

978-3-540-95931-1 PB. : EUR 14.95, sfr 23.50 (freier Pr.)

Weitere Ausgaben: 978-3-540-95932-8 (Fernzugriff)

09377433

9783540959311

*Mathematische Logik

*Logik / Menge / Reelle Zahl

*Grundlagenforschung

*Global analysis (Mathematics) ; Logic, Symbolic and mathematical ; Mathematics ; Number theory

Dewey Dezimal-Klassifikation: 510 ; 511.3

Dewey Dezimal-Klassifikation: 511.3

Regensburger Verbund-Klassifikation: SK 130: Logik und Grundlagen, Metamathematik,

Mathematics Subject Classification: *03-01

Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder Mathematiker besitzen sollte. Folgenden Fragestellungen wird dabei nachgegangen: Was unterscheidet endliche von unendlichen Mengen? Wie lassen sich die ganzen, rationalen und reellen Zahlen aus den natürlichen Zahlen und letztere aus reinen Mengen konstruieren? Welche grundlegenden mengentheoretischen Konstruktionen werden hierfür und überhaupt in der Mathematik gebraucht? Welche grundlegenden topologischen Eigenschaften besitzt die Menge der reellen Zahlen? Wie lautet die Kontinuumshypothese? Wofür wird das Auswahlaxiom benötigt? Lassen sich die natürlichen oder reellen Zahlen vollständig axiomatisch beschreiben? Mit Hilfe der Ultrapotenzmethode werden Nichtstandard-Zahlen konstruiert. Darüber hinaus wird ein leicht zugänglicher Beweis des Ersten Gödelschen Unvollständigkeitssatzes geliefert. Geschrieben für: Studierende der Mathematik. (3)

https://zbmath.org/?q=an:1284.03003 [Zentralblatt MATH]

Potsdamer Straße

BIBTEX - ENDNOTE - RIS