VOR DER KI
Woher wissen wir das sicher? Die Geschichte des mathematischen Beweises
Eine Zeichnung kann überzeugend aussehen. Ein mathematischer Beweis geht weiter: Er zeigt, warum etwas wahr sein muss, sodass jeder den Gedankengang prüfen kann.
Zeichne ein Dreieck in den Sand. Seine drei Winkel scheinen zusammen vielleicht 180 Grad zu ergeben. Aber wie kannst du sicher sein? Deine Zeichnung könnte etwas ungenau sein, und ein anderes Dreieck sieht möglicherweise ganz anders aus. Du brauchst mehr als ein gutes Beispiel. Du brauchst einen Grund, der für jedes Dreieck auf einer ebenen Fläche gilt.
Diese einfache Frage führt zu einer großen Idee. In der Mathematik geht es nicht nur darum, Antworten zu erhalten. Es geht auch darum, Schritt für Schritt zu zeigen, warum eine Antwort richtig ist.
Das Buch, das die Teile zusammenführte
Um 300 vor Christus soll ein Mathematiker namens Euklid im ägyptischen Alexandria gearbeitet haben. Über sein Leben wissen wir wenig. Doch ein mit seinem Namen verbundenes Buch, die Elemente, prägte den Mathematikunterricht über Jahrhunderte.
Die Elemente beginnen mit grundlegenden Definitionen und Ausgangsregeln. Darauf aufbauend bearbeiten sie ein Problem nach dem anderen. Jedes neue Ergebnis stützt sich auf frühere. Du musst etwas nicht einfach glauben, weil ein berühmter Mathematiker es gesagt hat. Du kannst die Schritte verfolgen und das Argument selbst beurteilen.
Nach der Darstellung zur Mathematikgeschichte der Universität St Andrews entdeckte Euklid vermutlich die meisten Ideen in den Elementen nicht selbst. Seine große Leistung war, vorhandenes Wissen klar und geordnet zusammenzuführen. Manchmal entsteht Fortschritt durch eine neue Entdeckung. Manchmal dadurch, dass Menschen besser verstehen, was sie schon wissen.
Einen Beweis kann jeder überprüfen
Ein Beispiel kann zeigen, dass eine Regel in einem Fall funktioniert. Ein Beweis erklärt, warum sie in jedem Fall gilt, den die Regel erfasst. Er legt auch die Ausgangsannahmen offen. So können andere Fehler entdecken oder den Gedankengang hinterfragen.
Die alten Griechen waren nicht die ersten Menschen, die anspruchsvolle Mathematik betrieben. In Ägypten, Babylon und anderen Kulturen gab es bereits fortgeschrittene Verfahren zum Messen, Rechnen und Lösen von Problemen. Griechische Texte sind besonders für ihre schrittweisen geometrischen Beweise bekannt. Das bedeutet jedoch nicht, dass früheren Kulturen mathematisches Können oder sorgfältiges Denken fehlte.
Auch Euklids Ausgangsregeln standen nicht über jeder Kritik. Eine Regel betraf parallele Geraden. Jahrhunderte später untersuchten Mathematiker, was geschieht, wenn man diese Regel verändert. Sie fanden andere Geometrien, die unter anderen Annahmen funktionieren. Das war kein Scheitern von Euklids Methode. Es zeigte, warum klar benannte Annahmen wichtig sind.
Warum diese Denkweise wichtig ist
Ein berühmter Mensch kann sich irren. Ein überzeugender Redner kann falschliegen. In der Mathematik zählt, ob die Argumentation standhält. Ein Beweis ermöglicht es, eine Aussage zu prüfen, zu lehren und für die Lösung eines weiteren Problems zu nutzen.
Dieser Ansatz reicht weit über die Geometrie hinaus. Ingenieure, Wissenschaftler und Softwareentwickler brauchen Wege, um die Schlüssigkeit ihrer Arbeit zu prüfen. Einige Computerprogramme lassen sich sogar mit mathematischen Methoden überprüfen. Es gibt jedoch eine Einschränkung: Eine korrekte Berechnung kann nicht garantieren, dass eine echte Maschine niemals ausfällt. Physische Tests bleiben wichtig.
Ein Beweis zeigt, was aus bestimmten Annahmen folgt. Er zeigt nicht, dass diese Annahmen die wirkliche Welt vollkommen beschreiben. Dafür brauchen wir auch Beobachtungen und Experimente.
Was hat das mit KI zu tun?
KI nutzt Mathematik, funktioniert aber nicht immer wie ein mathematischer Beweis. Viele moderne KI-Systeme lernen Muster aus gewaltigen Datenmengen. Sie können nützliche Antworten liefern, ohne zu zeigen, warum jede davon richtig sein muss. Das ist ein Grund, wichtige KI-Aussagen zu prüfen, statt sie automatisch zu übernehmen.
Euklid erfand keine KI. Die Verbindung ist einfacher und interessanter: Er half zu zeigen, wie wirkungsvoll es ist, ein schwieriges Problem in klare Schritte zu zerlegen, die andere überprüfen können. Diese Denkweise bleibt wichtig, wenn wir Algorithmen entwickeln, Software schreiben und entscheiden, ob wir einer Maschine vertrauen.
Und daraus ergibt sich eine weitere Frage: Könnte eine Maschine selbstständig einer Reihe von Anweisungen folgen? Schon in der Antike begannen Erfinder, diese Möglichkeit zu erkunden.