Este artigo não cita fontes confiáveis. (Março de 2021) |
Heinrich Heesch | |
---|---|
Heinrich Heesch em 1930 | |
Nascimento | 25 de junho de 1906 Quiel |
Morte | 26 de julho de 1995 (89 anos) Hanôver |
Nacionalidade | alemão |
Cidadania | Alemanha |
Irmão(ã)(s) | Elli Heesch |
Alma mater | Universidade de Zurique |
Ocupação | matemático, professor universitário |
Empregador(a) | Universidade de Hanôver, Universidade de Göttingen |
Orientador(a)(es/s) | Gregor Wentzel |
Instituições | Universidade de Göttingen, Universidade de Hannover |
Campo(s) | matemática |
Tese | 1929: Zur systematischen Strukturtheorie |
Heinrich Heesch (Quiel, 25 de junho de 1906 — Hanôver, 26 de julho de 1995) foi um matemático alemão.
Na Universidade de Gotinga trabalhou com teoria dos grupos. Em 1993 Heesch testemunhou o expurgo Nacional Socialista dentre os membros da universidade. Não querendo tornar-se membro da organização nacional socialista, filiação obrigatória para os professores universitários, desistiu de sua posição universitária e foi trabalhar com seus pais em Quiel, até 1948.
Durante este tempo pesquisou sobre tesselação. Em 1955 começou a lecionar na Universidade de Hannover, trabalhando com teoria dos grafos. Neste período desenvolveu trabalho pioneiro com métodos para uma prova auxiliada por computador do então ainda sem ser provado teorema das quatro cores. Em particular, foi o primeiro a investigar a noção de "descarga", que tornou-se fundamental para a prova auxiliada por computador realizada por Kenneth Appel e Wolfgang Haken.
Entre 1967 e 1971 Heesch viajou para os Estados Unidos diversas vezes, onde computadores mais potentes estavam disponíveis, e onde trabalhou com Haken e Yoshio Shimamoto. Durante a fase crucial deste projeto, a agência financiadora alemã DFG cancelou o suporte financeiro. Após o sucesso de Appel e Haken, Heesch trabalhou no aprimoramento e simplificação de suas provas, tarefa que efetuou até mesmo depois de aposentar-se.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search