Grenzen der Mathematik: Eine Reise durch die Kerngebiete der by Dirk W. Hoffmann

By Dirk W. Hoffmann

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; Antworten, die die Mathematik in der gleichen Weise verändert haben wie die Einstein’sche Relativitätstheorie die Physik. Heute wissen wir, dass in der Mathematik erkenntnistheoretische Grenzen existieren, die wir nicht überwinden können. Sie sind integraler Bestandteil jener Gesetzmäßigkeiten, die diese Wissenschaft im Innersten zusammenhalten.

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 site zum Buch).

Show description

Read or Download Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik (German Edition) PDF

Best logic books

18 Unconventional Essays on the Nature of Mathematics

This publication collects probably the most attention-grabbing fresh writings which are tackling, from a number of issues of view, the matter of giving an accounting of the character, objective, and justification of actual mathematical practice–mathematics as really performed by way of actual reside mathematicians. what's the nature of the items being studied?

Computable Structures and the Hyperarithmetical Hierarchy (Studies in Logic and the Foundations of Mathematics)

This e-book describes a software of study in computable constitution idea. The aim is to discover definability stipulations comparable to bounds on complexity which persist lower than isomorphism. the consequences observe to general sorts of constructions (groups, fields, vector areas, linear orderings Boolean algebras, Abelian p-groups, versions of arithmetic).

Proceedings of the 13th Asian Logic Conference (Proceedings of the Asian Logic Conference)

This quantity presents a discussion board which highlights new achievements and overviews of contemporary advancements of the thriving common sense teams within the Asia-Pacific sector. It includes papers through major logicians and in addition a few contributions in computing device technology logics and philosophic logics.

Introduction to Mathematical Logic, Sixth Edition (Discrete Mathematics and Its Applications)

The recent variation of this vintage textbook, creation to Mathematical common sense, 6th version explores the critical subject matters of mathematical common sense. It covers propositional good judgment, first-order good judgment, first-order quantity concept, axiomatic set concept, and the idea of computability. The textual content additionally discusses the foremost result of Gödel, Church, Kleene, Rosser, and Turing.

Additional info for Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik (German Edition)

Sample text

Download PDF sample

Rated 4.91 of 5 – based on 34 votes