Martin Ziegler: Mathematische Logik

Cover: 9783319441795 | Mathematische Logik | Martin Ziegler | Taschenbuch | Paperback | x

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

19,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte. Nach dem Prädikatenkalkül und seinen Anwendungen auf die Anfänge der künstlichen Intelligenz wird die Mengenlehre axiomatisch dargestellt. Im dritten und vierten Teil werden die notwendigen Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen eingeführt, um schließlich die Gödelschen Unvollständigkeitssätze zu beweisen. Durch seinen klaren Stil und die eingefügten Übungsaufgaben ist dieses Buch eine konzise Einführung in diese Grundlagen der gesamten Mathematik.
Für die zweite Auflage wurde an einigen Stellen wurde die Darstellung verbessert und eine Reihe von Fehlern,insbesondere in den Aufgaben, korrigiert.

Über den Autor

Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.

Zusammenfassung

Wie läßt sich formalisieren, was mit dem, was gemeinhin als Mathematik bezeichnet wird, ausdrückbar ist? Dieser fundamentalen Aufgabe widmet sich die mathematische Logik.

Dieses Buch führt in die verschiedenen Aspekte der mathematischen Logik ein. Es beginnt mit einer Darstellung des Prädikatenkalküls und seinen Anwendungen in der künstlichen Intelligenz. Daraufhin wird die Mengenlehre axiomatisch eingeführt. Nachfolgend werden auf Basis der Berechenbarkeitstheorie sowie der Hierarchie der in den natürlichen Zahlen definierbaren Teilmengen schließlich die Gödelschen Unvollständigkeitssätze bewiesen.

Durch seinen klaren Stil ist dieses Buch eine konzise Einführung in diese Grundlagen der gesamten Mathematik.

Inhaltsverzeichnis

Prädikatenkalkül.- Strukturen und Formeln.- Semantik.- Allgemeingültige Formeln.- Der Gödelsche Vollständigkeitssatz.- Der Sequenzenkalkül.- Der Herbrandsche Satz.- Die Resolutionsmethode.- Mengenlehre.- Die Axiome.- Die natürlichen Zahlen.- Ordinalzahlen und Kardinalzahlen.- Metamathematik von ZFC.- Rekursionstheorie.- Registermaschinen.- Primitiv rekursive Funktionen und Gödelisierung.- Rekursiv aufzählbare Mengen.- Gödelnummern von Formeln.- Ein anderer Aufbau der rekursiven Funktionen.- Arithmetik.- Definierbare Relationen.- Das System Q.- Peanoarithmetik.- Der Zweite Gödelsche Unvollständigkeitssatz.

Details

Erscheinungsjahr:	2016
Fachbereich:	Allgemeines
Genre:	Mathematik , Medizin , Naturwissenschaften , Technik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Reihe:	Mathematik Kompakt
Inhalt:	x 152 S. 5 s/w Illustr.
ISBN-13:	9783319441795
ISBN-10:	3319441795
Sprache:	Deutsch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Ziegler, Martin
Auflage:	2. Aufl. 2017
Hersteller:	Springer International Publishing Mathematik Kompakt
Verantwortliche Person für die EU:	Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, D-14197 Berlin, juergen.hartmann@springer.com
Maße:	240 x 168 x 10 mm
Von/Mit:	Martin Ziegler
Erscheinungsdatum:	18.10.2016
Gewicht:	0,287 kg

Artikel-ID: 107556476