# Vier-Farben-Theorem: Der Beweis von 1976 und seine Geschichte

*Wissenschaft & Technik · Ayşe Demir-Müller · 2026-09-02*

## Key facts

- Das Vier-Farben-Theorem wurde erstmals 1852 vom Studenten Francis Guthrie formuliert, der beim Kolorieren einer Karte von England darauf stieß.
- Kenneth Appel und Wolfgang Haken präsentierten ihren Beweis 1976 an der University of Illinois, wobei sie rund 1.200 Stunden Rechenzeit nutzten.
- Der Beweis reduzierte das Problem auf zunächst 1.936 kritische Konfigurationen, die mithilfe eines Computers überprüft wurden. Diese Zahl wurde später auf 1.482 reduziert.
- Die Veröffentlichung löste eine bis heute andauernde Diskussion darüber aus, ob ein Beweis, den kein Mensch vollständig nachvollziehen kann, als gültig gelten darf.

Das Wichtigste in Kürze

Das Vier-Farben-Theorem wurde 1976 von Kenneth Appel und Wolfgang Haken mit Unterstützung eines Computers bewiesen. Es besagt, dass vier Farben für jede denkbare Landkarte genügen. Der Beweis war der erste seiner Art, der ohne Rechner nicht überprüfbar schien, und löste eine fundamentale Debatte über die Rolle von Computern in der Mathematik aus.

## Eine scheinbar einfache Frage

Wie viele Farben braucht eine Landkarte, damit keine zwei benachbarten Gebiete gleich gefärbt sind? Diese Frage klingt auf den ersten Blick fast banal. Doch genau diese scheinbar triviale Überlegung entpuppte sich als eines der folgenreichsten Probleme der Mathematikgeschichte.

Das **Vier-Farben-Theorem** besagt, dass vier Farben für jede erdenkliche Landkarte immer ausreichen. Niemals braucht es eine fünfte Farbe. Diese Behauptung klingt harmlos, beschäftigte Mathematikerinnen und Mathematiker jedoch über ein Jahrhundert lang. Der Grund dafür ist ebenso einfach wie faszinierend: Die Aussage lässt sich leicht formulieren, aber nur äußerst schwer beweisen.

Erst 1976 gelang Kenneth Appel und Wolfgang Haken von der University of Illinois der Durchbruch. Sie erbrachten den ersten computergestützten Beweis der Mathematikgeschichte. Zum ersten Mal überhaupt musste die Fachwelt ein bedeutendes Theorem akzeptieren, das sich mit menschlicher Hand nicht mehr vollständig nachvollziehen ließ. Bis heute wünschen sich viele Mathematiker einen traditionellen, rein analytischen Beweis, der ohne maschinelle Hilfe auskommt. Dieser Wunsch bleibt bis in die Gegenwart unerfüllt.

Die Geschichte beginnt im viktorianischen England des Jahres 1852. Ein junger Student betrachtete eine Landkarte der britischen Grafschaften und stellte sich eine Frage, die scheinbar nichts mit höherer Mathematik zu tun hatte. Aus dieser unscheinbaren Beobachtung erwuchs ein Problem, das Generationen von Denkern herausfordern sollte.

### Die Geburtsstunde des Problems: 1852 in Großbritannien

Alles begann mit einem jungen Mann, einer Landkarte und einer Frage, die zunächst niemand beantworten wollte. Im Jahr 1852 stand Francis Guthrie, ein britischer Student, vor einer Karte der Grafschaften Großbritanniens. Dabei überkam ihn eine scheinbar simple Neugier: Genügen vier Farben immer, um angrenzende Regionen sauber voneinander zu trennen?

Francis teilte seine Beobachtung mit seinem Bruder Frederick Guthrie. Der wiederum studierte bei Augustus De Morgan, einem angesehenen Mathematiker am University College London. Frederick trug die Frage also an seinen Lehrer heran, und De Morgan erkannte sofort, dass hier mehr dahintersteckte, als es den Anschein hatte. Er versuchte, den berühmten irischen Mathematiker William Rowan Hamilton für das Problem zu begeistern, indem er ihm schrieb. Doch Hamilton zeigte keinerlei Interesse. Auch De Morgans Versuche, andere Fachkollegen für die Frage zu gewinnen, verliefen im Sande.

Es ist wichtig, an dieser Stelle eine historische Klarstellung vorzunehmen. Der Überlieferung nach soll De Morgan seinen Brief an Hamilton am 23. Oktober 1852 verfasst haben. Dieses genaue Datum lässt sich aus den Aufzeichnungen jedoch nicht zweifelsfrei belegen. Als gesichert gilt allein die Jahreszahl 1852. Was auch immer sich an jenem Tag konkret zugetragen haben mag: Die Frage war gestellt, und sie sollte die Mathematik über ein Jahrhundert lang beschäftigen.

Nachdem die Idee in den folgenden Jahrzehnten kaum Beachtung gefunden hatte und beinahe in Vergessenheit geriet, dauerte es bis 1878, bis das Vier-Farben-Problem neuen Auftrieb erhielt. In diesem Jahr stellte der britische Mathematiker Arthur Cayley die Frage vor der London Mathematical Society. Er wollte wissen, ob jemand einen Beweis für die Vermutung gefunden habe. Diese öffentliche Anfrage wirkte wie ein Weckruf. Bereits 1879 legte der Anwalt und Mathematiker Alfred Kempe einen ersten Beweis vor. Dieser erwies sich später jedoch als fehlerhaft, obwohl er einige grundlegende Ideen enthielt, die für den endgültigen Beweis noch wichtig werden sollten.

### Erste Beweisversuche und ein Fehler, der sich hartnäckig hielt

Fast zwei Jahrzehnte lang lag die Frage nach den vier Farben mehr oder weniger brach. Erst 1878 griff der britische Mathematiker **Arthur Cayley** das Problem vor der **London Mathematical Society** wieder auf und fragte in die Runde, ob inzwischen jemand einen Beweis gefunden habe. Diese öffentliche Aufforderung wirkte wie ein Startschuss.

Nur ein Jahr später, 1879, meldete sich ein überraschender Kandidat zu Wort: **Alfred Kempe**, ein erfolgreicher Anwalt und Amateurmathematiker aus London. Kempe legte einen Beweis vor, der auf den ersten Blick überzeugend wirkte und in der Fachwelt große Beachtung fand. Seine Argumentation war tatsächlich außergewöhnlich clever. Er entwickelte neuartige Techniken, die später als *Kempe-Ketten* bezeichnet wurden und bis heute zum Handwerkszeug der Graphentheorie gehören. Diese Ideen enthielten wichtige Bausteine, auf denen spätere Generationen von Mathematikern aufbauen konnten.

Aber es gab ein Problem: Kempes Beweis war nicht korrekt. Elf Jahre lang hielt sich der Irrtum, niemand bemerkte die Lücke in seiner Logik. Erst 1890 wies der Mathematiker **Percy Heawood** den Fehler nach. Heawood konnte zwar zeigen, dass Kempes Methode versagte, doch er schaffte es seinerseits nicht, das Vier-Farben-Theorem zu beweisen. Was er stattdessen lieferte, war ein Beweis dafür, dass fünf Farben für jede Landkarte immer ausreichen.

Damit begann eine der frustrierendsten Phasen in der Geschichte der Mathematik. Über ein Jahrhundert lang scheiterten zahlreiche Fachleute an einem gültigen Beweis. Immer wieder tauchten vielversprechende Lösungsansätze auf, immer wieder zerplatzten die Hoffnungen. Das Vier-Farben-Theorem entwickelte sich zu einer Art Sphinx der Mathematik: verführerisch einfach zu formulieren, aber scheinbar unmöglich zu knacken.

### Der Computerbeweis von 1976: Ein historischer Schritt

Mehr als ein Jahrhundert lang trotzten die hartnäckigsten Köpfe der Mathematik dem Problem. Dann, im Jahr 1976, taten Kenneth Appel und Wolfgang Haken an der University of Illinois etwas, das die Fachwelt spaltete: Sie setzten einen Computer ein, um das Vier-Farben-Theorem zu beweisen. Es war der erste große mathematische Satz der Geschichte, der auf diese Weise bewiesen wurde, und er warf grundlegende Fragen über das Wesen mathematischer Gewissheit auf.

Die beiden Forscher griffen auf die älteste Waffe der Mathematiker zurück: den Beweis durch Widerspruch, die *reductio ad absurdum*. Sie stellten sich vor, es gäbe irgendwo auf der Welt eine Karte, die fünf Farben benötigt. Dann zeigten sie Schritt für Schritt, dass eine solche Karte unmöglich existieren kann. Wenn die Annahme des Gegenteils in einen Widerspruch führt, so die Logik, muss die ursprüngliche Aussage wahr sein.

Der Haken an der Sache: Um diesen Widerspruch zu konstruieren, mussten die Mathematiker eine schier unüberschaubare Anzahl von Spezialfällen prüfen. Insgesamt identifizierten sie zunächst 1.936 besondere Landkarten-Konfigurationen, die in jeder nur denkbaren Karte vorkommen müssen. Jede einzelne davon musste daraufhin untersucht werden, ob sie mit vier Farben auskommt. Diese Zahl wurde später von anderen Forschern auf 1.482 reduziert, doch für Appel und Haken galt es zunächst, den Berg zu erklimmen.

Hier kam der Computer ins Spiel. Die beiden schrieben ein Programm, das jede dieser Konfigurationen systematisch durchrechnete. Das Ergebnis war beeindruckend und beunruhigend zugleich: Rund 1.200 Stunden Rechenzeit waren nötig, um alle Fälle zu verifizieren. Zum Vergleich: Ein Mensch hätte für diese Aufgabe Jahrzehnte gebraucht, und die Fehleranfälligkeit wäre enorm gewesen.

Genau das wurde zum Streitpunkt. Wie konnte man einem Beweis vertrauen, den kein Mensch jemals vollständig nachvollziehen konnte? Die Mathematiker standen vor einer völlig neuen Situation. Zum ersten Mal in der Geschichte der Disziplin mussten sie ein bedeutendes Theorem akzeptieren, dessen Richtigkeit allein von der korrekten Arbeit einer Maschine abhing. Die Debatte darüber, ob dies ein legitimer Beweis sei, sollte die Gemeinschaft noch lange beschäftigen.

### Kontroversen und ein Aprilscherz

Können Sie einem Ergebnis vertrauen, das kein Mensch jemals vollständig überprüft hat? Diese Frage stellte die mathematische Fachwelt 1976 vor eine völlig neue Herausforderung, als Kenneth Appel und Wolfgang Haken das Vier-Farben-Theorem mit Unterstützung eines Computers bewiesen.

Der Beweis war der erste große mathematische Satz, der auf diese Weise erbracht wurde, und genau das machte ihn so umstritten. Über ein Jahrhundert lang hatten Mathematiker versucht, das Problem mit klassischen Methoden zu lösen. Nun standen plötzlich Ergebnisse im Raum, die niemand mit Papier und Bleistift nachvollziehen konnte. Viele Fachleute zweifelten offen: Wie konnte ein Beweis gültig sein, wenn kein Mensch jeden einzelnen Schritt selbst nachrechnen konnte?

Die beiden Forscher von der Universität von Illinois ließen zunächst 1.936 verschiedene Landkarten-Konfigurationen einzeln untersuchen. Ihr Computerprogramm benötigte dafür insgesamt 1.200 Stunden Rechenzeit. Das war in den 1970er-Jahren eine gewaltige technische Leistung, doch genau diese Abhängigkeit von der Maschine beunruhigte viele Kolleginnen und Kollegen.

Die Skepsis in der Fachwelt war so groß, dass sie sogar zu einem berühmten Scherz führte. Bereits im April 1975, also mehr als ein Jahr vor der offiziellen Veröffentlichung des Beweises, veröffentlichte der amerikanische Mathematik-Autor Martin Gardner in seiner Kolumne einen angeblichen Gegenbeweis. Er präsentierte eine Karte, die angeblich fünf Farben benötigte. Viele Leserinnen und Leser fielen darauf herein und glaubten, das Vier-Farben-Theorem sei widerlegt. In Wahrheit handelte es sich um einen Aprilscherz, der die angespannte Stimmung in der Fachwelt perfekt einfing.

Die Kontroverse zeigt, wie tief dieser Beweis die Mathematik erschütterte. Zum ersten Mal in der Geschichte musste die Gemeinschaft einen Satz akzeptieren, dessen Richtigkeit nicht mehr allein durch menschliche Denkarbeit überprüfbar war. Bis heute hat niemand einen rein konventionellen, also computerfreien Beweis des Vier-Farben-Theorems gefunden. Zwar gilt der Satz in der akademischen Welt inzwischen als gesichert, doch die Frage, ob ein Beweis ohne Maschinen möglich wäre, beschäftigt Mathematikerinnen und Mathematiker weiterhin.

### Was bedeutet das Vier-Farben-Theorem heute?

Das Vier-Farben-Theorem zählt zu den anerkannten Meilensteinen der Mathematik, doch ein offenes Kapitel bleibt: Bis heute hat niemand einen Beweis vorgelegt, der ohne Computer auskommt. Die Fachwelt akzeptiert das Theorem, aber es gibt weiterhin Skeptiker, die einen klassischen, von Hand nachvollziehbaren Beweis fordern.

Die Geschichte dieser einen Frage zeigt, wie scheinbar simple Probleme die Mathematik über Jahrhunderte vorantreiben können. Und sie markiert einen Wendepunkt im Selbstverständnis des Fachs: Computer haben die Grenzen des Beweisbaren verschoben. Seit dem computergestützten Beweis von Kenneth Appel und Wolfgang Haken im Jahr 1976 an der University of Illinois ringt die Gemeinschaft mit einer grundsätzlichen Frage: Darf ein mathematischer Satz als bewiesen gelten, wenn kein Mensch die Rechnungen im Detail nachvollziehen kann?

Die Skepsis ist nachvollziehbar. Der Beweis von Appel und Haken stützte sich auf eine immense Fallunterscheidung. Die beiden Mathematiker führten einen Widerspruchsbeweis, eine *reductio ad absurdum*. Sie nahmen an, es existiere eine Landkarte, die mehr als vier Farben benötigt. Dann zeigten sie, dass eine solche Karte keine der zunächst 1.936 speziellen Konfigurationen enthalten dürfte. In einem zweiten Schritt bewiesen sie, dass jede Landkarte zwingend mindestens eine dieser Konfigurationen enthält. Diese beiden Aussagen widersprechen sich. Die Rechenzeit für die Überprüfung aller Fälle betrug rund 1.200 Stunden. So wurde das Vier-Farben-Theorem zum ersten großen mathematischen Satz, dessen Beweis auf einem Computer beruhte.

Ein berühmter Aprilscherz von 1975 zeigt, wie angespannt die Debatte damals war. Der amerikanische Mathematik-Autor Martin Gardner kündigte am 1. April einen Gegenbeweis an, eine Karte, die angeblich fünf Farben benötigt. Der Scherz verunsicherte viele Fachleute und Laien gleichermaßen. Es dauerte Jahre, bis die Gemeinschaft den computergestützten Beweis vollständig akzeptierte.

Berichten zufolge wünschen sich viele Mathematiker bis heute einen Beweis, der ohne maschinelle Hilfe auskommt. Ein solcher Beweis müsste kürzer und eleganter sein und sich von einem Menschen Schritt für Schritt prüfen lassen. Der Überlieferung nach wäre das die eigentliche Krönung dieser fast 175 Jahre alten Geschichte. Bis dahin bleibt das Vier-Farben-Theorem ein faszinierendes Beispiel dafür, wie eine einfache Frage aus dem 19. Jahrhundert die Mathematik in das digitale Zeitalter geführt hat.


## Frequently asked questions

**Was besagt das Vier-Farben-Theorem?**

Das Vier-Farben-Theorem besagt, dass vier Farben stets ausreichen, um jede beliebige Landkarte so einzufärben, dass zwei benachbarte Gebiete niemals dieselbe Farbe tragen. Dabei gilt ein Gebiet nur dann als Nachbar, wenn es eine gemeinsame Grenzlinie teilt, nicht bloß einen Punkt.

**Wer hat das Problem ursprünglich gestellt?**

Die Frage geht auf den britischen Studenten Francis Guthrie zurück, dem die Idee im Jahr 1852 beim Betrachten einer Karte der Grafschaften Großbritanniens kam. Sein Bruder Frederick reichte die Frage über ihren gemeinsamen Mathematikprofessor Augustus De Morgan weiter, doch zunächst fand sich niemand, der das Problem ernsthaft bearbeiten wollte.

**Warum war der Beweis von Appel und Haken umstritten?**

Der 1976 von Kenneth Appel und Wolfgang Haken an der University of Illinois vorgelegte Beweis spaltete die mathematische Gemeinschaft, denn er stützte sich maßgeblich auf einen Computer. Da sich die umfangreichen Berechnungen nicht von Hand nachvollziehen ließen, zweifelten viele Fachleute daran, ob ein solcher Beweis überhaupt als gültig anerkannt werden könne.

**Wie funktioniert der Computerbeweis?**

Appel und Haken führten einen Widerspruchsbeweis nach dem Prinzip der reductio ad absurdum . Sie nahmen an, es existiere eine Karte, die mehr als vier Farben benötigt, und zeigten dann, dass eine solche Karte keine der zunächst 1.936 speziellen Konfigurationen enthalten dürfte. In einem zweiten Schritt bewiesen sie jedoch, dass jede Karte zwangsläufig mindestens eine dieser Konfigurationen enthält. Dieser Widerspruch belegte die Richtigkeit des Theorems. Die Rechenzeit für die Einzelfallprüfung betrug rund 1.200 Stunden.

**Hat Martin Gardner einen Scherz gemacht?**

Ja, im April 1975 veröffentlichte der amerikanische Mathematik-Autor Martin Gardner in seiner Kolumne einen angeblichen Gegenbeweis: eine Karte, die scheinbar fünf Farben benötigte. Es handelte sich um einen Aprilscherz, der die Fachwelt dennoch kurzzeitig in Aufruhr versetzte und die Aufmerksamkeit für das Theorem weiter steigerte.

**Wurde das Theorem jemals ohne Computer bewiesen?**

Bis heute ist kein rein handgeschriebener Beweis des Vier-Farben-Theorems gefunden worden. Zwar wurde die Anzahl der zu prüfenden Konfigurationen später auf 1.482 reduziert, doch bleibt der computergestützte Nachweis aus dem Jahr 1976 der einzige anerkannte Weg. Die mathematische Gemeinschaft hofft weiterhin auf einen eleganten, traditionellen Beweis, der ohne Maschinen auskommt. Hinweis der Redaktion: Nicht vollständig verifizierte Details, etwa zu einzelnen Zwischenschritten des Beweises, sind in diesem Artikel entsprechend als solche gekennzeichnet.

Canonical: https://staunen.madeda.com/vier-farben-theorem-der-beweis-von-1976-und-seine-geschichte/