Die Forschung zum Vierfarbensatz erreichte einen Wendepunkt, als Heinrich Heesch das Konzept der Entlastung einführte, eine Methode, die für zukünftige computergestützte Beweise unerlässlich wurde. 1906 in Kiel geboren, widmete er seine Karriere der Weiterentwicklung der mathematischen Theorie in den Bereichen Gruppentheorie, Graphentheorie und Pflasterungsgeometrie.
Akademische Karriere und politisches Klima
Nach seinem Studium an der Universität Zürich hatte Heesch Positionen an der Universität Göttingen inne. Während seiner dortigen Zeit forschte er zur Gruppentheorie. 1933 veränderte sich das politische Klima an der Universität durch nationalsozialistische Säuberungen des akademischen Personals erheblich. Da er sich weigerte, dem vorgeschriebenen NS-Lehrerbund beizutreten, trat er 1935 von seinem Posten zurück. Die folgenden dreizehn Jahre verbrachte er im Elternhaus in Kiel mit unabhängiger Forschung über Parkettierungen.
Entwicklung des Beweises des Vierfarbensatzes
Heesch kehrte 1955 an die Hochschule zurück und übernahm eine Position an der Leibniz Universität Hannover. In dieser Zeit konzentrierte er sich auf Graphentheorie und das langjährige Vierfarbenproblem. Er entwickelte die Entlastungsmethode, eine Technik, die sich für spätere Verifizierungsschritte als grundlegend erwiesen hat. Zwischen 1967 und 1971 besuchte er die Vereinigten Staaten, um leistungsfähigere Rechenanlagen zu nutzen, und arbeitete dabei mit Wolfgang Haken an der University of Illinois at Urbana-Champaign sowie mit Karl Durre und Yoshio Shimamoto am Brookhaven National Laboratory zusammen. Obwohl die DFG seine Finanzierung während des Projekts strich, setzte er seine Arbeit fort.
Beiträge und Vermächtnis
Nach dem Erfolg von Kenneth Appel und Wolfgang Haken bei der Fertigstellung des Beweises des Vierfarbensatzes im Jahr 1977 widmete Heesch Zeit der Verfeinerung und Verkürzung ihrer Ergebnisse. Zu seinen Veröffentlichungen gehören „Flächenschluß“, das 1963 gemeinsam mit Otto Kienzle verfasst wurde, sowie seine Arbeit „Untersuchungen zum Vierfarbenproblem“ von 1969. Eine Sammlung seiner Abhandlungen mit dem Titel „Gesammelte Abhandlungen“ wurde 1986 veröffentlicht. Heesch blieb bis zu seiner Emeritierung Professor und starb 1995 in Hannover.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Auf einen Blick
- Geboren: 1906, Kiel, Deutschland - Gestorben: 1995, Hannover, Deutschland - Hauptfachgebiet: Mathematik - Ausbildung: Universität Zürich - Wichtige akademische Stationen: Universität Göttingen, Leibniz Universität Hannover
Häufig gestellte Fragen
### Welche Rolle spielte Heinrich Heesch beim Vierfarbensatz?
Er entwickelte die Entlastungsmethode, die zu einem grundlegenden Bestandteil des späteren computergestützten Beweises wurde.
### Warum verließ Heesch 1935 die Universität Göttingen?
Er trat zurück, nachdem er sich geweigert hatte, dem nationalsozialistischen Lehrerbund beizutreten.
