This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Die Mengenlehre ist eine eigenständige mathematische Disziplin. Zugleich ist sie eine Grundlagendisziplin, die für alle mathematischen Gebiete ein begriffliches Gerüst bereithält. In dieser Universalität offenbart sich eine große Tragweite des Mengenbegriffs und seiner Axiomatisierung. Die vorliegende Einführung gibt daher nicht nur einen Einblick in die Theorie und belegt deren Bedeutung für die Mathematik, sie behandelt auch Methoden und Ergebnisse, die auf eine möglichst weitgehende Rechtfertigung der mengentheoretischen Axiomsysteme zielen. Geschichtliche und erkenntnistheoretische Betrachtungen runden das Bild ab. Das Buch setzt keine spezifischen mathematischen Kenntnisse voraus. Es richtet sich an alle, die an den Grundlagen der Mathematik interessiert und mit Gedankengängen mathematischer Prägung vertraut sind. Rund 200 Übungsaufgaben mit Lösungshinweisen bieten eine zusätzliche Hilfe, insbesondere dann, wenn man das Buch zur eigenständigen Erarbeitung des dargebotenen Stoffes nutzen möchte. Die Neuauflage ist vollständig durchgesehen und enthält jetzt eine systematische Behandlung der konstruktiblen Hierarchie, die Beweise der relativen Widerspruchsfreiheit des Auswahlaxioms und der Cantorschen Kontinuumshypothese erlaubt.
Dies ist eine vollständig überarbeitete Version der 20 Jahre alten "Gotischen Grammatik". Die neue Ausgabe wahrt die doppelte Funktion des Originals als Studiengrammatik für das akademische Lernen und als Nachschlagewerk für laufende Forschung. Zwei Ziele stehen im Mittelpunkt: klare und vollständige Darstellung der Fakten sowie umfassende Dokumentation der relevanten Forschung mit spezifischem Bezug zur Sprachgeschichte. Formal hat der Band umfangreiche Überarbeitungen erfahren. Die Grammatik selbst wurde auf den neuesten Stand gebracht, im Einklang mit der aktuellen Forschung zu diesem Thema.
Die Schwierigkeit Mathematik zu lernen und zu lehren ist jedem bekannt, der einmal mit diesem Fach in Berührung gekommen ist. Begriffe wie „reelle oder komplexe Zahlen, Pi“ sind zwar jedem geläufig, aber nur wenige wissen, was sich wirklich dahinter verbirgt. Die Autoren dieses Bandes geben jedem, der mehr wissen will als nur die Hülle der Begriffe, eine meisterhafte Einführung in die Magie der Mathematik und schlagen einzigartige Brücken für Studenten. Die Rezensenten der ersten beiden Auflagen überschlugen sich.
Was ist ein mathematischer Beweis? Wie lassen sich Beweise rechtfertigen? Gibt es Grenzen der Beweisbarkeit? Ist die Mathematik widerspruchsfrei? Kann man das Auffinden mathematischer Beweise Computern übertragen? Erst im 20. Jahrhundert ist es der mathematischen Logik gelungen, weitreichende Antworten auf diese Fragen zu geben. Im vorliegenden Werk werden die Ergebnisse systematisch zusammengestellt; im Mittelpunkt steht dabei die Logik erster Stufe. Die Lektüre setzt – außer einer gewissen Vertrautheit mit der mathematischen Denkweise – keine spezifischen Kenntnisse voraus. Für die vorliegende 6. Auflage wurde der Text überarbeitet und durch die Darstellung zweier für Logik und Informatik wichtiger Entscheidbarkeitsresultate erweitert.
