Генрих Гееш (1906-1995) – немецкий математик, специалист по теории групп. Уволился из университета в 1935 из-за нацистского режима, продолжил исследования дома.
Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Введение
Немецкий математик (1906–1995)
German mathematician (1906–1995)
Генрих Хиш (25 июня 1906 – 26 июля 1995) был немецким математиком. Он родился в Киле и умер в Ганновере. В Геттингене он занимался теорией групп. В 1933 году Хиш стал свидетелем национал-социалистических чисток университетских сотрудников. Не желая вступать в национал-социалистическую организацию университетских преподавателей, как того требовалось, он покинул свой университетский пост в 1935 году и работал частным образом в доме своих родителей в Киле до 1948 года. В это время он проводил исследования в области покрытий. В 1955 году Хиш начал преподавать в Лейбницком университете Ганновера и работал над теорией графов. В этот период Хиш проделал новаторскую работу по разработке методов компьютерного доказательства тогда еще недоказанной теоремы о четырех красках. В частности, он первым исследовал понятие "разрядки", которое оказалось фундаментальным элементом окончательного компьютерного доказательства, предложенного Кеннетом Аппелем и Вольфгангом Хакеном. В период с 1967 по 1971 год Хиш несколько раз посетил Соединенные Штаты, где были доступны более мощные и быстрые компьютеры, работая с Хакеном в Университете Иллинойса в Урбана-Шампейн и с Карлом Дурре и Йосио Шимамото в Брукхейвенской национальной лаборатории. На решающем этапе его проекта немецкий национальный исследовательский фонд DFG прекратил финансирование. После успеха Аппеля и Хакена в 1977 году Хиш продолжал работать над совершенствованием и сокращением их доказательства, даже после выхода на пенсию.
Heinrich Heesch (June 25, 1906 – July 26, 1995) was a German mathematician. He was born in Kiel and died in Hanover. In Göttingen he worked on Group theory. In 1933 Heesch witnessed the National Socialist purges of university staff. Not willing to become a member of the National Socialist organization of university teachers as required, he resigned from his university position in 1935 and worked privately at his parents' home in Kiel until 1948. During this time he did research on tilings. In 1955 Heesch began teaching at Leibniz University Hannover and worked on graph theory. In this period Heesch did pioneering work in developing methods for a computer aided proof of the then unproved four color theorem. In particular, he was the first to investigate the notion of "discharging", which turned out to be a fundamental ingredient of the eventual computer aided proof by Kenneth Appel and Wolfgang Haken. Between 1967 and 1971, Heesch made several visits to the United States, where bigger and faster computers were available, working with Haken at University of Illinois at Urbana Champaign and with Karl Durre and Yoshio Shimamoto at Brookhaven National Laboratory. During the crucial phase of his project, the German national research fund DFG cancelled financial support. After the 1977 success of Appel and Haken, Heesch worked on refining and shortening their proof, even after his retirement.