Генрих Хееш: Математик және төрт түстік теореманың зерттеушісі
Heinrich Heesch
Генрих Гееш (1906-1995) – неміс математигі, топтар теориясымен айналысқан. Нацизм кезінде университеттегі қызметінен бас тартты. Биографиясы туралы толық ақпарат!
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Неміс математигі (1906–1995)
German mathematician (1906–1995)
Генрих Хиш (25 маусым 1906 – 26 шілде 1995) – неміс математигі. Ол Киль қаласында дүниеге келіп, Ганноверде қайтыс болды. Геттингенде топтар теориясы бойынша жұмыс істеді. 1933 жылы Хиш университет қызметкерлерінің нацистік тазартуына куә болды. Университет оқытушыларының нацистік ұйымына мүше болуға ниеті болмағандықтан, 1935 жылы университеттегі лауазымынан кетіп, 1948 жылға дейін Кильдегі ата-анасының үйінде жеке жұмыс істеді. Осы кезеңде ол мозаикалық жабындарды зерттеумен айналысты. 1955 жылы Хиш Ганновердегі Лейбниц университетінде оқытуды бастады және графтар теориясы бойынша жұмыс істеді. Осы кезеңде Хиш сол кезде дәлелденбеген төрт түс теоремасын компьютерлік көмекпен дәлелдеу әдістерін әзірлеуде пионерлік жұмыс жасады. Атап айтқанда, ол «шығару» (discharging) ұғымын алғаш зерттеді, ол Кеннет Аппель мен Вольфганг Хакеннің компьютерлік дәлелдеуінің маңызды бөлігі болды. 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.