Heinrich Heesch (25 de junio de 1906-26 de julio de 1995) fue un matemático alemán . Nació en Kiel y murió en Hannover .
En Gotinga trabajó en teoría de grupos . En 1933, Heesch presenció las purgas nacionalsocialistas del personal universitario. No dispuesto a convertirse en miembro de la organización nacionalsocialista de profesores universitarios como era necesario, renunció a su puesto universitario en 1935 y trabajó de forma privada en la casa de sus padres en Kiel hasta 1948.
Durante este tiempo hizo investigaciones sobre teselaciones . En 1955, Heesch comenzó a enseñar en la Universidad Leibniz de Hannover y trabajó en teoría de grafos . En este período, Heesch realizó un trabajo pionero en el desarrollo de métodos para una demostración asistida por computadora del entonces no probado teorema de los cuatro colores . En particular, fue el primero en investigar la noción de "descarga", que resultó ser un ingrediente fundamental de la eventual prueba asistida por computadora de Kenneth Appel y Wolfgang Haken .
Entre 1967 y 1971, Heesch hizo varias visitas a los Estados Unidos, donde había disponibles computadoras más grandes y rápidas, trabajando con Haken en la Universidad de Illinois en Urbana-Champaign y con Karl Durre y Yoshio Shimamoto en el Laboratorio Nacional Brookhaven . Durante la fase crucial de su proyecto, el fondo de investigación nacional alemán DFG canceló el apoyo financiero. Después del éxito de 1977 de Appel y Haken, Heesch trabajó para refinar y acortar sus pruebas, incluso después de su jubilación.
Obras
- Heinrich Heesch, Untersuchungen zum Vierfarbenproblem , Bibliographisches Institut, Mannheim 1969
- Bigalke, Hans-Günther (Hrsg.). Heinrich Heesch, Gesammelte Abhandlungen , Bad Salzdetfurth 1986.
Literatura sobre la obra de Heinrich Heesch
- Bigalke, Hans-Günther. Heinrich Heesch, Kristallgeometrie, Parkettierungen, Vierfarbenforschung , Basilea 1988.
Ver también
enlaces externos
- http://www.ifg.uni-kiel.de/eckenundkanten/hk-02_de.html Biografía (en alemán)