Einführung in Die Mathematische Logik

zur 3. Auflage Die dritte Au?age unterscheidet sich von der zweiten nicht nur in der Korrektur von ] Druckfehlern sondern in zahlreichen sachlichen und stilistischen Anderungen, ver- ] besserten Beweisen und Ubungen. Das Buch durfte ] dadurch fur ] den Anf] anger noch leichter lesbar sein. Auch Stic [...]
Visa längre beskrivning

zur 3. Auflage Die dritte Au?age unterscheidet sich von der zweiten nicht nur in der Korrektur von ] Druckfehlern sondern in zahlreichen sachlichen und stilistischen Anderungen, ver- ] besserten Beweisen und Ubungen. Das Buch durfte ] dadurch fur ] den Anf] anger noch leichter lesbar sein. Auch Stichwort- und Literaturverzeichnis wurden vollst] andig revidiert und eine historisch orientierte Einleitung wurde hinzugefugt. ] Das Buch wendet sich an Studenten und Dozenten der Mathematik oder Informatik, und wegen der ausfuhrlic ] h diskutierten G] odelschen Unvollst] andigkeitss] atze, die ja vonhohemerkenntnistheoretischemInteressesind, auchanFachstudentenderPhi- sophischen Logik. Es enth] alt in den ersten drei Kapiteln den Sto? einer einsemest- gen Vorlesung uber Mathematische Logik, die sowohl fur den Masterstudiengang als ] ] auch den Bachelor-Studiengang geeignet ist. Das 1. Kapitel beginnt mit Elementen der Logik, wie sie fur die Grundlagenphase des Bachelor-Studiums verlangt werden, ] und es enth] alt zu Beginn des 2. Kapitels das Wichtigste ub ] er algebraische und - lationale Strukturen, Homomorphismen und Isomorphismen, was zur Aufbauphase eines wie auch immer gearteten Mathematikstudiums gehoren ] sollte. Eine wie in3. 4 gefuhrte Diskussion der Axiomatik der Mengenlehre ist zwar grundlagentheoretisch ] wichtig, h] angt aber von den Zielen der Einfuhrungsv ] orlesung ab. Nichtallesub ] erdenG] odelschenVollst] andigkeitssatz(Kapitel3)mussdenBachelor- Studenten vorbewiesen werden. Es genugt, den aussagenlogischen Kalkul zu behan- ] ] deln und die n] otigen Schritte einer Erweiterung auf die Pradik ] atenlogik nur zu - schreiben."