About this ebook
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.
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ädikatenk...
Discover more
About the author
Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.
Martin Ziegler ist Professor für Mathematische Logik an der Albert-Ludwigs-Universität Freiburg.
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
