Mengenlehre und ihre Logik
Seiten
1973
|
1. Softcover reprint of the original 1st ed. 1973
Vieweg & Teubner (Verlag)
978-3-528-08294-9 (ISBN)
Vieweg & Teubner (Verlag)
978-3-528-08294-9 (ISBN)
einem solchen Panoramablick beginnen, denn der Leser wird zu Anfang weder den Stoff zu schatzen wissen, den die verschiedenen Systeme organisieren wollen, noch solehe Oberlegungen, die dem einen System in irgendeiner Hinsicht vor einem anderen den Vorzug geben. Es ist besser, zu Anfang den Leser mit einem vorlaufigen inforrnellen Oberblick tiber den Gegenstand zu orientieren. Hier zeigen sich aber schon wieder Schwierigkeiten. Wenn soleh ein Oberblick tiber Trivialitaten hinausgehen solI, muB er auch eine ernstzunehmende und spitzfindige Argumentation zu Hilfe nehmen, die aber leicht in Antinomien einmtinden und sich somit selbst in Millkredit bringen kann, wenn man sie nicht auf eine von zwei moglichen Weisen vor diesen abbiegen laBt: Man konn te letzten Endes doch den informellen Zugang zu Gunsten eines axiomatischen aufgeben, oder man konnte listigerweise die Aufmerksamkeit des Lesers von gefahrlichen Fragen ablenken, bis die inforrnelle Orientierung zu Ende gebracht ist. Der letztgenannte Aus weg erfordert ein artistisches Konnen einer Art, auf das ein akademischer Lehrer nur mit Verachtung blicken kann, und letztlich fOOrt er doch bei solehen Lesem zu nichts, die bei jemand anders von den Antinomien horen. Wenn sie einmal davon gehort haben, konnen sie sich nicht mehr der Disziplin komplizierter informeller Argumente in ab strakter Mengenlehre unterwerfen, denn sie wissen nicht mehr, welehe intuitiven Argu mente eigentlich zahlen. Es hat schlieBlich seine Grtinde, warum Mengentheoretiker sich zur axiomatischen Methode fltichten.
Einführung.- Erster Teil: Die Elemente.- I. Logik.- II. Reale Klassen.- III. Klassen von Klassen.- IV. Natürliche Zahlen.- V. Iteration und Arithmetik.- Zweiter Teil: Höhere Zahlformen.- VI. Reelle Zahlen.- VII. Ordnung und Ordinalzahlen.- VIII. Transfinite Rekursion.- IX. Kardinalzahlen.- X. Das Auswahlaxiom.- Dritter Teil: Axiomensysteme.- XI. Die Russellsche Typentheorie.- XII. Universelle Variablen und Zermelo.- XIII. Stratifizierung und äußerste Klassen.- XIV. Das System von von Neumann und andere Systeme.- Vierter Teil: Anhang.- I. Zusammenstellung von fünf Axiomensystemen.- II. Liste durchnumerierter Formeln.- III. Bibliographie.- Sachwortverzeichnis.
Erscheint lt. Verlag | 1.1.1973 |
---|---|
Reihe/Serie | Logik und Grundlagen der Mathematik |
Zusatzinfo | XV, 264 S. |
Verlagsort | Wiesbaden |
Sprache | deutsch |
Maße | 155 x 235 mm |
Gewicht | 434 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
Schlagworte | Arithmetik • Auswahlaxiom • Cantor • Endlichkeit • Funktion • Lehrsatz • Logik • Mengenlehre • Ordinalzahl • Rekursion • Transfinite Induktion • Typentheorie • Variable |
ISBN-10 | 3-528-08294-1 / 3528082941 |
ISBN-13 | 978-3-528-08294-9 / 9783528082949 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95