Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Je cadeautjes zeker op tijd in huis hebben voor de feestdagen? Kom langs in onze winkels en vind het perfecte geschenk!

Afhalen na 1 uur in een winkel met voorraad
Gratis thuislevering in België vanaf € 30
Ruim aanbod met 7 miljoen producten

Winkels

Verlanglijstje

Winkels

Verlanglijstje

Zoeken

Volg ons op

140 winkels

Wist je dat er in Vlaanderen voor iedereen een Standaard Boekhandel is binnen een straal van 7 km?

Vind hier een winkel

€ 34,95

+ 69 punten

Levering 1 à 2 weken

Eenvoudig bestellen

Veilig betalen

Gratis thuislevering vanaf € 30 (via bpost)

Gratis levering in je Standaard Boekhandel

Omschrijving

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 dritte Auflage wurde das Kapitel 'Modelltheorie' um eine Beschreibung der von Paul Cohen entwickelten Forcing-Technik ergänzt.