🧮Ursprünge & Entwicklung

Eine babylonische Tontafel, die sich heute an der Columbia University befindet, listet fünfzehn Reihen pythagoräischer Tripel in Sexagesimalschreibweise auf, ein Beweis für die systematische Zahlentheorie tausend Jahre vor Pythagoras. Es wurde von einer Schreibkultur hervorgebracht, deren Tablet-House-Schulen professionelle Rechner für die Verwaltung von Tempeln und Palästen ausbildeten – die erste institutionelle Mathematikausbildung überhaupt.

Während seiner Arbeit in Alexandria unter Ptolemaios I. organisierte Euklid die griechische Geometrie in dreizehn Bücher mit Definitionen, Postulaten und 465 Lehrsätzen, die jeweils aus dem Vorhergehenden bewiesen wurden. Die Elemente machten die axiomatische Methode zum Wahrheitsmaßstab der Mathematik und blieben über zweitausend Jahre lang ein funktionierendes Lehrbuch – es wurde in mehr Auflagen gedruckt als fast jedes andere Buch außer der Bibel.

Im Haus der Weisheit des Kalifen al-Ma'mun verfasste Muhammad ibn Musa al-Khwarizmi eine Abhandlung über das Lösen von Gleichungen, deren Schlüsseloperation al-jabr („Wiederherstellen“) zum Wort Algebra wurde. Sein arithmetischer Text trug indische Dezimalzahlen in die islamische Welt und später nach Europa, und die lateinische Verballhornung seines Namens – Algoritmi – wurde zu „Algorithmus“.

Gerolamo Cardanos Ars Magna druckte allgemeine Lösungen für kubische und quartische Gleichungen, einschließlich der kubischen Methode, die Niccolò Tartaglia ihm 1539 unter einem Eid der Geheimhaltung anvertraut hatte. Tartaglias öffentliche Wut und die Gleichungsduelle der damaligen Zeit – in denen Mathematiker ihren Lebensunterhalt im offenen Wettbewerb verteidigten – zeigen, wie wettbewerbsfähig und professionell die Renaissance-Mathematik geworden war.

Isaac Newtons Philosophiæ Naturalis Principia Mathematica, das nur veröffentlicht wurde, weil Edmond Halley die Druckkosten selbst bezahlte, leitete die Bewegung von Planeten, Monden und Gezeiten aus drei Gesetzen und der universellen Gravitation ab. Der darauffolgende Prioritätskrieg mit Leibniz um die Infinitesimalrechnung spaltete die britische und kontinentale Mathematik ein Jahrhundert lang – die berühmteste Lektion auf diesem Gebiet über den Preis des Stolzes.

Auf dem Internationalen Mathematikerkongress am 8. August 1900 in Paris stellte David Hilbert zehn von 23 ungelösten Problemen vor und erklärte, dass es in der Mathematik „keinen Ignorabimus“ – kein Unerkennbares – gebe. Die Liste leitete hundert Jahre lang die Forschung; Mehrere Probleme, darunter die Riemann-Hypothese, sind bis heute offen.

Der 25-jährige Kurt Gödel in Wien bewies, dass jedes konsistente formale System, das reich genug für die Arithmetik ist, wahre Aussagen enthält, die es nicht beweisen kann. Das Ergebnis machte Hilberts Programm, die gesamte Mathematik auf einer vollständigen axiomatischen Grundlage zu sichern, zunichte und veränderte nachhaltig, was Mathematiker ehrlich über ihr eigenes Fach behaupten können.

Kenneth Appel und Wolfgang Haken von der University of Illinois haben bewiesen, dass vier Farben für jede planare Karte ausreichen, indem sie etwa 1.200 Stunden Computerzeit benötigten, um fast zweitausend Konfigurationen zu überprüfen, die kein Mensch manuell überprüfen konnte. Die Abteilung frankierte ihre Post mit „VIER FARBEN GENÜGEN“, während Philosophen darüber stritten, ob ein nicht überprüfbarer Beweis zählt – die erste große Krise der computergestützten Mathematik.

Nachdem Andrew Wiles sieben Jahre lang im Geheimen in seinem Arbeitszimmer auf dem Dachboden in Princeton gearbeitet hatte, kündigte er im Juni 1993 in Cambridge einen Beweis von Fermats letztem Satz an – und verbrachte dann vierzehn Monate damit, eine Lücke zu schließen, die ein Gutachter gefunden hatte, und schloss sie im September 1994 mit Richard Taylor. Der Beweis, der 1995 in den Annals of Mathematics veröffentlicht wurde, beendete eine 358 Jahre alte Herausforderung, die am Rand gekritzelt war.

Systeme von Google DeepMind und OpenAI erreichten im Juli 2025 Goldmedaillen bei Aufgaben der Internationalen Mathematikolympiade, ein Jahr nachdem DeepMinds AlphaProof Silber erreicht hatte. Da die Mathlib-Bibliothek des Lean-Beweisassistenten mehr als eine Million Zeilen formalisierter Mathematik weitergab, begann in der Branche ernsthaft darüber zu diskutieren, welche Teile des Beweisens weiterhin menschliche Arbeit bleiben würden.