Kenneth Appel - Kenneth Appel

Kenneth Appel
Nascermos
Kenneth Ira Appel

( 1932-10-08 ) 8 de outubro de 1932
Brooklyn , Nova York
Morreu 19 de abril de 2013 (19/04/2013) (com 80 anos)
Dover, New Hampshire
Cidadania americano
Alma mater BS - Queens College, CUNY
Ph.D. - Universidade de Michigan
Conhecido por Provando o teorema das quatro cores com Wolfgang Haken
Crianças Andrew Appel
Peter H. Appel
Prêmios Prêmio Fulkerson [1979]
Carreira científica
Campos Teoria de grafos , combinatória , topologia
Instituições Universidade de Illinois em Urbana – Champaign , Universidade de New Hampshire
Orientador de doutorado Roger Lyndon

Kenneth Ira Appel (8 de outubro de 1932 - 19 de abril de 2013) foi um matemático americano que em 1976, com o colega Wolfgang Haken na Universidade de Illinois em Urbana – Champaign , resolveu um dos problemas mais famosos da matemática , o quadricromo teorema . Eles provaram que qualquer mapa bidimensional, com certas limitações, pode ser preenchido com quatro cores sem que nenhum "país" adjacente compartilhe a mesma cor.

Biografia

Appel nasceu no Brooklyn, Nova York , em 8 de outubro de 1932. Ele cresceu no Queens, Nova York , e era filho de um casal judeu, Irwin Appel e Lillian Sender Appel. Ele trabalhou como atuário por um breve período e depois serviu no Exército dos EUA por dois anos em Fort Benning, Geórgia, e em Baumholder, Alemanha . Em 1959, ele concluiu seu programa de doutorado na Universidade de Michigan e também se casou com Carole S. Stein na Filadélfia . O casal mudou-se para Princeton, Nova Jersey , onde Appel trabalhou para o Institute for Defense Analyzes de 1959 a 1961. Seu principal trabalho no Institute for Defense Analyzes foi fazer pesquisas em criptografia . Perto do final de sua vida, em 2012, foi eleito Fellow da American Mathematical Society . Ele morreu em Dover, New Hampshire , em 19 de abril de 2013, após ser diagnosticado com câncer de esôfago em outubro de 2012.

Kenneth Appel também foi tesoureiro do Comitê Democrático do Condado de Strafford. Ele jogou tênis até os 50 anos. Ele foi um colecionador de selos ao longo da vida, um jogador do jogo Go e um padeiro de pão. Ele e Carole tiveram dois filhos, Andrew W. Appel , um famoso cientista da computação , e Peter H. Appel , e uma filha, Laurel F. Appel, que morreu em 4 de março de 2013. Ele também era membro do conselho escolar de Dover de 2010 até sua morte.

Escola e ensino

Kenneth Appel recebeu seu diploma de bacharel pelo Queens College em 1953. Depois de servir o exército, ele freqüentou a Universidade de Michigan, onde obteve seu mestrado em 1956 e, posteriormente, seu doutorado. em 1959. Roger Lyndon , seu orientador de doutorado, era um matemático cujo foco matemático principal era a teoria dos grupos .

Depois de trabalhar para o Instituto de Análise de Defesa , em 1961, Appel ingressou no corpo docente do Departamento de Matemática da Universidade de Illinois como professor assistente. Enquanto estava lá, Appel pesquisou teoria dos grupos e teoria da computabilidade . Em 1967 tornou-se Professor Associado e em 1977 foi promovido a Professor . Foi enquanto ele estava na universidade que ele e Wolfgang Haken provaram o teorema das quatro cores. Pelo seu trabalho e prova desse teorema, eles foram posteriormente premiados com o prêmio Delbert Ray Fulkerson , em 1979, pela American Mathematical Society e pela Mathematical Programming Society .

Enquanto estava na Universidade de Illinois, Appel aceitou cinco alunos durante seu programa de doutorado. Cada aluno ajudou a contribuir com o trabalho citado no Projeto Genealogia da Matemática .

Em 1993, Appel mudou-se para New Hampshire como presidente do Departamento de Matemática da University of New Hampshire . Em 2003 aposentou-se como professor emérito . Durante sua aposentadoria, ele foi voluntário em programas de enriquecimento de matemática em Dover e em escolas públicas do sul do Maine. Ele acreditava "que os alunos deveriam ter a oportunidade de estudar matemática no nível de sua habilidade, mesmo que seja bem acima de sua série."

Contribuições para a matemática

O teorema das quatro cores

Kenneth Appel é conhecido por seu trabalho em topologia , o ramo da matemática que explora certas propriedades de figuras geométricas. Sua maior realização foi provar o teorema das quatro cores em 1976 com Wolfgang Haken . O New York Times escreveu em 1976:

Agora, a conjectura das quatro cores foi provada por dois matemáticos da Universidade de Illinois, Kenneth Appel e Wolfgang Haken . Eles tinham uma ferramenta inestimável que faltava aos matemáticos anteriores - os computadores modernos. Sua prova atual repousa em parte em 1.200 horas de cálculo por computador, durante as quais cerca de dez bilhões de decisões lógicas tiveram de ser feitas. A prova da conjectura das quatro cores é improvável que tenha significância aplicada. No entanto, o que foi realizado é um grande feito intelectual. Ele nos dá uma nova visão importante da natureza do espaço bidimensional e das maneiras pelas quais esse espaço pode ser dividido em porções discretas.

No início, muitos matemáticos não gostaram do fato de Appel e Haken estarem usando computadores, já que isso era novidade na época, e até Appel disse: "A maioria dos matemáticos, mesmo na década de 1970, não tinha real interesse em aprender sobre computadores . Era quase como se aqueles de nós que gostavam de brincar com computadores estivessem fazendo algo não matemático ou suspeito. " A prova real foi descrita em um artigo tão longo quanto um livro típico intitulado Every Planar Map is Four Colorable , Contemporary Mathematics, vol. 98, American Mathematical Society, 1989.

A prova tem sido uma das mais controversas da matemática moderna por causa de sua forte dependência de processamento de números por computador para classificar as possibilidades, o que atraiu críticas de muitos na comunidade matemática por sua deselegância: "uma boa prova matemática é como um poema— esta é uma lista telefônica! " Appel e Haken concordaram em uma entrevista de 1977 que não era "elegante, conciso e completamente compreensível para uma mente matemática humana".

No entanto, a prova foi o início de uma mudança nas atitudes dos matemáticos em relação aos computadores - que eles desprezaram amplamente como uma ferramenta para engenheiros, e não para teóricos - levando à criação do que às vezes é chamado de matemática experimental .

Teoria do grupo

Outras publicações de Kenneth Appel incluem um artigo com a PE Schupp intitulado Artin Groups and Infinite Coxeter Groups . Neste artigo, Appel e Schupp introduziram quatro teoremas que são verdadeiros sobre os grupos de Coxeter e, em seguida, provaram que são verdadeiros para os grupos de Artin . As provas desses quatro teoremas usaram os "resultados e métodos da teoria do pequeno cancelamento".

Referências

links externos