Grant Sanderson argumentiert, dass Mathematik mehr als nur Beweise sei, man solle also Beweise nicht vorrangig anderen Aspekten überheben. )

Grant Sanderson, der Schöpfer des YouTube-Kanals 3Blue1Brown, hat sich für Mathematiker ausgesprochen, Erklärungen gegenüber Beweisen zu feiern. Sein Argument, veröffentlicht als Gastbeitrag, dreht sich um die Idee, dass das Lösen von Problemen und das Beweisen von Theoremen immer stellvertretend für das eigentliche Ziel der Mathematik gestanden haben: die Erweiterung des menschlichen Verständnisses. Aber wenn maschinelle Beweisgeneratoren Ergebnisse ohne dieses Verständnis liefern können, bricht diese Stellvertreterrolle zusammen.

Sanderson möchte den Beweis als alleiniges Maß für mathematische Leistung ersetzen. Er schlägt vor, dass „motivierte Erklärungen“ – klare, intuitive Erläuterungen, warum ein Ergebnis wichtig ist – den gleichen akademischen Anreiz erhalten sollten wie neue Beweise für ungelöste Probleme historisch gesehen Anerkennung gefunden haben. Er sieht diese Verschiebung auch als eine Möglichkeit, Laien zu helfen, zu verstehen, was Mathematiker tatsächlich leisten.

„Wenn Außenstehende glauben, dass Beweisgenerierungsmaschinen Mathematiker überflüssig machen, während Insider dies als Missverständnis dessen sehen, was Forscher hinzufügen, liegt es in der Verantwortung dieser Gemeinschaft, ihre wahren Werte besser durch die Art von Arbeit zu projizieren, die sie belohnt.“

Anzeige

Beweis vs. Motivation

Die Unterscheidung ist scharf. In einem Beweis stehen Definitionen am Anfang, und jede Aussage folgt streng aus dem, was davor kam. In einer motivierten Erklärung kommen Definitionen in der Mitte an, nachdem das Problem klar formuliert wurde. Ein Beweis ist binär: er existiert oder er existiert nicht. Eine motivierte Erklärung ist unordentlicher – sie kann mit einer Idee beginnen, die nicht ganz richtig ist, einer, die im Laufe des Weges behoben werden muss.

Sanderson zitiert ein Genre, das er „Discovery Fiction“ nennt, einen Begriff, der von Michael Nielsen geprägt wurde. Die Idee: Beginnen Sie mit einer einfachen, aber falschen Lösung für ein Problem, beobachten Sie, wo sie scheitert, beheben Sie diesen Fehler, finden Sie ein neues Problem und machen Sie weiter. Der Umfang eines Beweises ist eng – er erklärt, warum ein Theorem wahr ist. Eine motivierte Erklärung stellt breitere Fragen: Warum ist dies der richtige Satz, den man aufstellt, und wie passt er in das Gesamtbild?

Was zählt als motiviert (8)

Sanderson definiert eine motivierte Erklärung über das, was sie vermeidet. Sie beginnt nicht mit einem neuen Konstrukt und analysiert dessen Eigenschaften. Stattdessen wartet sie, bis das Problem etabliert ist, bevor neue Begriffe eingeführt werden. Sie erlaubt es Ideen, nicht ganz richtig zu sein, solange ihre Ursprünge nachvollziehbar sind. Und sie reicht über den Satz selbst hinaus und fragt, warum es überhaupt wichtig ist.

Er räumt ein, dass dieser Standard schwieriger zu messen ist als ein Beweis. „Es wird nie Lean für motivierte Erklärungen geben“, schreibt er, was bedeutet, dass es kein automatisiertes System gibt, das sie verifizieren kann, wie die Prüfsoftware für formale Logik es handhabt. Aber er argumentiert, dass die Unschärfe der springende Punkt ist. Die Definition menschlichen Verständnisses ist von Natur aus unübersichtlich, und das Vermeiden unübersichtlicherer Metriken scheut die menschlicheren Aspekte des Fachgebiets.

Das Princeton Companion (5)

Sanderson verweist auf eine der besten Sammlungen motivierter Erklärungen, die er kennt: Teil IV des Princeton Companion. Dieser Abschnitt behandelt über zwei Dutzend aktive Forschungsbereiche, die jeweils von einem Experten mit einem Talent für klare Kommunikation vorgestellt werden. Ob es sich um Andrew Granville in der analytischen Zahlentheorie oder David Ben-Zvi in Modulräumen handelt, diese Artikel bieten ein Maß an Intuition und Motivation, das typischer ist für ein persönliches Gespräch an einer Tafel als für formelle Arbeiten.

Der Herausgeber des Buches, Timothy Gowers, hat dies in einem Interview im Numberphile Podcast mit Brady Haran diskutiert. Gefragt nach der Wirkung der Fields-Medaille auf sein Leben, merkte Gowers an, dass die Gewinner oft das Gefühl haben, freier zu sein, leicht abweichende Projekte zu verfolgen. Er nannte das Princeton Companion als ein Beispiel für etwas, das er sich gerade deshalb angenommen hatte, weil er es sich leisten konnte.

Warum die Veränderung wichtig ist (7)

Sandersons eigene Karriere zeigt die Spannung. Er betreibt einen Kanal, der sich auf die Produktion von Videos über Mathematik konzentriert, einen unkonventionellen Weg, der Erklärungen und Intuition betont anstatt offene Probleme zu lösen. Manche könnten dieses Vorschlag als eigennützig betrachten. Aber er besteht darauf, dass seine Arbeit außerhalb der akademischen Welt existiert, ohne ein Interesse daran zu haben, was die Gemeinschaft der Vergabe von Anerkennung widmet.

Er unterscheidet seine Idee zudem von der Popularisierung. Eine motivierte Erklärung zielt seiner Ansicht nach auf jeden mit fundierter Expertise ab, um diesen zu würdigen – sie ist nicht nur für die Öffentlichkeit gedacht. Das Ziel ist es, die Frage „Wie würdest du darüber denken?“ zu beantworten, anstatt etwas zugänglich zu machen.

Die Grenzen des Vorschlags

Sanderson räumt ein, dass sein Vorschlag bescheiden sei. Er plädiert nicht für eine radikale Überarbeitung der akademischen Anerkennung. Er fordert lediglich eine klarere Definition und einen höheren Status für eine Art von Arbeit, die bereits in der Praxis existiert. Er verweist auf Discovery Fiction als ein Beispiel für dieses Genre und auf den Princeton Companion als ein Archiv davon.

Er weist zudem darauf hin, dass nicht nur beweisgenerierende Maschinen eine Bedrohung für den wahrgenommenen Wert des Fachs darstellen. Der Aufstieg automatisierter Werkzeuge bedeutet, dass Mathematiker ihre wahren Werte durch die Arbeit, die sie belohnen, projizieren müssen. Wenn Außenstehende glauben, dass Maschinen Mathematiker überflüssig machen, hat die Gemeinschaft die Verantwortung, diese Vorstellung zu korrigieren.

Das Argument ist überzeugend in sich selbst. Es rahmt eine bekannte Debatte – Beweis vs. Intuition – als ein praktisches Problem der Anerkennung um. Mathematiker leisten diese Arbeit bereits; sie haben sie nur noch nicht als einen eigenständigen Beitrag gefeiert. Sandersons Vorschlag ist ein bescheidener Schritt, um ihr den verdienten Stellenwert einzuräumen.

Der vollständige Beitrag mit dem Titel „If math is more than proof, we need to better celebrate the rest of it“ ist online verfügbar.

Sieh dir das Video an, auf dem die Geschichte basiert, unter terrytao.wordpress.com.