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 teoría de grupos . En 1933, Heesch fue testigo de 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 realizó investigaciones sobre mosaicos . 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 teorema de los cuatro colores , entonces no demostrado . En particular, fue el primero en investigar el concepto de "descarga", que resultó ser un ingrediente fundamental de la eventual prueba asistida por ordenador de Kenneth Appel y Wolfgang Haken .
Entre 1967 y 1971, Heesch realizó varias visitas a los Estados Unidos, donde había computadoras más grandes y más 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 nacional de investigación alemán DFG canceló su apoyo financiero. Después del éxito de Appel y Haken en 1977, Heesch trabajó para refinar y acortar su prueba, incluso después de su retiro.