Das Banach-Tarski-Paradoxon und moderne Mathematik

In diesem Kapitel wird das faszinierende Banach-Tarski-Paradoxon vorgestellt, das die Möglichkeit thematisiert, eine Kugel in unendlich viele Teile zu zerlegen und daraus zwei identische Kugeln zu schaffen. Es behandelt die Herausforderungen der modernen Mathematik, wie die hohe Komplexität und Fragmentierung von Beweisen, die selbst Fachleuten Schwierigkeiten bereitet. Außerdem wird die Rolle von Computern und Beweisprüfern in der Mathematik beleuchtet, die dazu beitragen, mathematische Aussagen systematisch zu überprüfen und die allgemeine Zugänglichkeit der Mathematik zu verbessern.