Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 7-14 Tagen versandfertig
Veröffentlichung:	Februar 2018
Genre:	Schulbücher
ISBN:	9783746044606
EAN-Code:	9783746044606
Verlag:	BoD - Books on Demand
Einband:	Gebunden
Sprache:	Deutsch
Dimensionen:	H 226 mm / B 175 mm / D 31 mm
Gewicht:	914 gr
Seiten:	432
Zus. Info:	HC runder Rücken kaschiert
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Bis in das 20. Jahrhundert hinein war es eine unausgesprochene Grundannahme der Mathematik, dass zwischen der Wahrheit und der Beweisbarkeit einer Aussage nicht unterschieden werden muss. Heute wissen wir, dass diese Sichtweise falsch ist. Es gibt Aussagen, die mit den Mitteln der gewöhnlichen Mathematik weder bewiesen noch widerlegt werden können. Eine solche Aussage ist die Kontinuumshypothese, mit der Georg Cantor Ende des 19. Jahrhunderts ein Jahrhunderträtsel schuf. Die Unentscheidbarkeit der Kontinuumshypothese wurde im Jahr 1963 von Paul Cohen gezeigt, mit einer völlig neuen, als Forcing bezeichneten Beweistechnik. Seitdem haben wir ein mächtiges Beweisinstrument in den Händen, mit dem sich nicht nur die Kontinuumshypothese, sondern auch zahlreiche andere mathematische Aussagen, wie z. B. das Auswahlaxiom, als unentscheidbar identifizieren lassen. Das vorliegende Buch ist eine Einführung in die Forcing-Technik, die den Leser in die Lage versetzen soll, die bestehende Literatur zu diesem Thema leichter zu verstehen. Cohens Beweismethode wird Schritt für Schritt entwickelt und anschliessend dazu verwendet, um die Unentscheidbarkeit der Kontinuumshypothese zu belegen. Geschrieben habe ich dieses Buch für Leser, die bereits über fundierte mathematische Kenntnisse verfügen, aber keine Experten im Bereich der Mengenlehre oder Logik sind. Das Buch kann unabhängig von Vorlesungen auch zum Selbststudium genutzt werden. Alle Kapitel sind mit zahlreichen Übungsaufgaben versehen, deren Lösungen im Internet abgerufen werden können.