Spektrum Kompakt - Des Rätsels Lösung

Was ist richtig, was falsch? Auf der Suche nach Antworten stellen Naturwissenschaftler eine These auf, die sie dann zu widerlegen trachten. Mathematiker hingegen treten auch den positiven Beweis an: Sie gehen von einigen grundlegenden Annahmen aus und versuchen, über eine Reihe von Schlussfolgerungen zu des Rätsels Lösung zu gelangen. Das klingt im Prinzip einfach, aber dauert nicht selten Jahrzehnte oder gar Jahrhunderte – wenn es überhaupt gelingt. In unserem Kompakt werfen wir einen Blick auf einige dieser mathematischen Beweise und ihre Entdecker. Wir sehen uns außerdem an, welche Rolle Computer in der mathematischen Beweisfindung übernehmen könnten – und was passiert, wenn man das falsche Fachmagazin für eine Veröffentlichung erwischt.