| 書目名稱 | Logische Grundlagen der Mathematik |
| 編輯 | Ralf Schindler |
| 視頻video | http://file.papertrans.cn/589/588224/588224.mp4 |
| 概述 | Einzigartiges Buch, das die logischen Grundlagen und Grundprinzipien der Mathematik erkl?rt.Pflichtlektüre für alle Studierenden der Mathematik, Physik und Informatik |
| 叢書名稱 | Springer-Lehrbuch |
| 圖書封面 |  |
| 描述 | .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.. |
| 出版日期 | Textbook 2009 |
| 關(guān)鍵詞 | Auswahlaxion; Beweis; Differenzialgleichung; Mathematische Logik; Natürliche Zahlen; Nichstandard-Modelle |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-95932-8 |
| isbn_softcover | 978-3-540-95931-1 |
| isbn_ebook | 978-3-540-95932-8Series ISSN 0937-7433 Series E-ISSN 2512-5214 |
| issn_series | 0937-7433 |
| copyright | Springer-Verlag Berlin Heidelberg 2009 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 23:33
發(fā)表于 2025-3-21 18:11:50
