Einführung in die mathematische Logik PDF Download

Author: Alfred Tarski
Publisher:
ISBN:
Category : History
Languages : de
Pages : 298

View

Book Description

Author: Heinrich Behmann
Publisher: Mathematisch-physikalische Bibliothek
ISBN:
Category : Mathematics
Languages : de
Pages : 114

View

Book Description
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Author: Heinz-Dieter Ebbinghaus
Publisher: Springer-Verlag
ISBN: 3662580292
Category : Mathematics
Languages : de
Pages : 367

View

Book Description
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. In der vorliegenden 5. Auflage finden sich erstmals Lösungsskizzen zu den Aufgaben.

Author: Paul Lorenzen
Publisher: Springer-Verlag
ISBN: 3662015390
Category : Mathematics
Languages : de
Pages : 305

View

Book Description

Author: Wolfgang Rautenberg
Publisher: Springer-Verlag
ISBN: 383489530X
Category : Mathematics
Languages : de
Pages : 257

View

Book Description
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik. Für diese Neuauflage wurde der Text sachlich und stilistisch vollständig überarbeitet, er enthält verbesserte Beweise und Übungen mit Lösungshinweisen sowie eine historisch orientierte Einleitung. Das Buch kann ganz unabhängig von Vorlesungen aber auch zum Selbststudium genutzt werden.

Author: Martin Ziegler
Publisher: Springer-Verlag
ISBN: 3034606524
Category : Mathematics
Languages : de
Pages : 116

View

Book Description
Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik. Nach dem Praedikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz stellt der Autor die Mengenlehre axiomatisch dar. Im dritten und vierten Teil führt er die Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der Teilmengen ein, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Dieser Band zeichnet sich durch einen klaren Schreibstil aus und enthält zahlreiche Übungsaufgaben.

Author: Dirk W. Hoffmann
Publisher: Springer-Verlag
ISBN: 3642347207
Category : Mathematics
Languages : de
Pages : 437

View

Book Description
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren? Die moderne mathematische Logik des zwanzigsten Jahrhunderts gibt verblüffende Antworten auf solche Fragen. Das vorliegende Buch entführt Sie auf eine Reise durch die Kerngebiete der mathematischen Logik, hin zu den Grenzen der Mathematik. Unter anderem werden die folgenden Themen behandelt: Geschichte der mathematischen Logik, formale Systeme, axiomatische Zahlentheorie und Mengenlehre, Beweistheorie, die Gödel‘schen Unvollständigkeitssätze, Berechenbarkeitstheorie, algorithmische Informationstheorie, Modelltheorie. Das Buch enthält zahlreiche zweifarbige Abbildungen und mehr als 70 Aufgaben (mit Lösungen auf der Website zum Buch). Für die zweite Auflage wurde das Kapitel 'Beweistheorie' thematisch um das Diagonalisierungslemma, den Satz von Tarski, das Berry-Paradoxon sowie den Satz von Löb erweitert.

Author: Petr S. Novikov
Publisher: Springer-Verlag
ISBN: 3322887871
Category : Mathematics
Languages : de
Pages : 296

View

Book Description

Author: Guiseppe Peano
Publisher: Vieweg+teubner Verlag
ISBN:
Category : Mathematics
Languages : de
Pages : 158

View

Book Description
Enth. u.a.: Über mathematische Logik.

Author: Moritz Pasch
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : de
Pages : 58

View

Book Description