La recherche sur le théorème des quatre couleurs a atteint un tournant lorsque Heinrich Heesch a introduit le concept de décharge, une méthode devenue essentielle pour les futures preuves assistées par ordinateur. Né en 1906 à Kiel, en Allemagne, il a consacré sa carrière à faire progresser la théorie mathématique dans les domaines de la théorie des groupes, de la théorie des graphes et de la géométrie des pavages.
Carrière académique et climat politique
Après avoir fait ses études à l'Université de Zurich, Heesch a occupé des postes à l'Université de Göttingen. Durant son séjour là-bas, il a mené des recherches en théorie des groupes. En 1933, le climat politique de l'université a considérablement changé en raison des purges national-socialistes du personnel académique. Refusant d'adhérer à l'organisation national-socialiste obligatoire pour les enseignants universitaires, il a démissionné de son poste en 1935. Il a passé les treize années suivantes à mener des recherches indépendantes sur les pavages tout en vivant chez ses parents à Kiel.
Développement de la preuve du théorème des quatre couleurs
Heesch est retourné dans le milieu universitaire institutionnel en 1955, obtenant un poste à l'Université Leibniz de Hanovre. Durant cette période, il a concentré ses efforts sur la théorie des graphes et le vieux problème des quatre couleurs. Il a développé la méthode de décharge, une technique qui s'est avérée fondamentale pour les efforts de vérification ultérieurs. Entre 1967 et 1971, il s'est rendu aux États-Unis pour accéder à de meilleures installations informatiques, collaborant avec Wolfgang Haken à l'Université de l'Illinois à Urbana-Champaign, ainsi qu'avec Karl Durre et Yoshio Shimamoto au Laboratoire national de Brookhaven. Bien que la DFG ait annulé son financement pendant le projet, il a poursuivi son travail.
Contributions et héritage
Après le succès de Kenneth Appel et Wolfgang Haken en 1977 dans la finalisation de la preuve du théorème des quatre couleurs, Heesch a consacré du temps à affiner et à raccourcir leurs résultats. Sa production professionnelle comprenait des publications telles que « Flächenschluß », coécrit avec Otto Kienzle en 1963, et son ouvrage de 1969, « Untersuchungen zum Vierfarbenproblem ». Un recueil de ses traités, « Gesammelte Abhandlungen », a été publié en 1986. Heesch est resté professeur jusqu'à sa retraite et est décédé à Hanovre en 1995.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Né : 1906, Kiel, Allemagne - Décédé : 1995, Hanovre, Allemagne - Domaine principal : Mathématiques - Éducation : Université de Zurich - Affiliations académiques clés : Université de Göttingen, Université Leibniz de Hanovre
Questions des lecteurs
### Quel a été le rôle de Heinrich Heesch dans le théorème des quatre couleurs ?
Il a développé la méthode de décharge, qui est devenue un élément fondamental de la preuve assistée par ordinateur qui a suivi.
### Pourquoi Heesch a-t-il quitté l'Université de Göttingen en 1935 ?
Il a démissionné après avoir refusé d'adhérer à l'organisation national-socialiste des enseignants universitaires.
