stringtranslate.com

Heinrich Heesch

Heinrich Heesch (1930)

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 Göttingen trabajó en la teoría de grupos . En 1933, Heesch fue testigo de las purgas del personal universitario llevadas a cabo por el nacionalsocialismo . No dispuesto a convertirse en miembro de la organización nacionalsocialista de profesores universitarios, como se le exigía, renunció a su puesto universitario en 1935 y trabajó en forma privada en la casa de sus padres en Kiel hasta 1948.

Durante este tiempo, investigó 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 prueba asistida por computadora del entonces no demostrado 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 prueba asistida por computadora que Kenneth Appel y Wolfgang Haken desarrollaron .

Entre 1967 y 1971, Heesch realizó varias visitas a los Estados Unidos, donde se disponía de ordenadores más grandes y rápidos, y trabajó con Haken en la Universidad de Illinois en Urbana-Champaign y con Karl Durre y Yoshio Shimamoto en el Laboratorio Nacional de Brookhaven . Durante la fase crucial de su proyecto, el fondo nacional de investigación alemán DFG canceló el apoyo financiero. Tras el éxito de Appel y Haken en 1977, Heesch trabajó en refinar y acortar su demostración, incluso después de su jubilación.

Obras

Literatura sobre la obra de Heinrich Heesch.

Véase también

Enlaces externos