Saltar para o conteúdo

Kenneth Appel

Origem: Wikipédia, a enciclopédia livre.
Kenneth Appel
Kenneth Appel
Nascimento Kenneth Ira Appel
8 de outubro de 1932
Brooklyn
Morte 19 de abril de 2013 (80 anos)
Dover
Residência Nova Hampshire
Sepultamento Pine Hill Cemetery
Cidadania Estados Unidos
Filho(a)(s) Andrew Appel, Peter H. Appel
Alma mater
Ocupação matemático, professor universitário
Distinções
Empregador(a) Universidade de Illinois em Urbana-Champaign, Exército dos Estados Unidos, Institute for Defense Analyses, Universidade de Nova Hampshire
Obras destacadas Every planar map is four colorable
Causa da morte câncer esofágico

Kenneth Ira Appel (Brooklyn, Nova Iorque, 8 de outubro de 1932Dover, Nova Hampshire, 19 de abril de 2013) foi um matemático estadunidense que, em 1976, colaborando com Wolfgang Haken na Universidade de Illinois, resolveu um dos mais famosos problemas na matemática: o teorema das quatro cores.[1]

Contribuições para a matemática

[editar | editar código-fonte]

O teorema das quatro cores

[editar | editar código-fonte]

Kenneth Appel é conhecido por seu trabalho em topologia, o ramo da matemática que explora certas propriedades de figuras geométricas.[2] 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 que ser feitas. É improvável que a prova da conjectura das quatro cores tenha significância aplicada. No entanto, o que foi realizado é um grande feito intelectual. Isso nos dá um novo insight importante sobre a natureza do espaço bidimensional e as 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 interesse real 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".[3] A prova real foi descrita em um artigo, enquanto um livro típico intitulado Every Planar Map is Four Colorable, Contemporary Mathematics, vol. 98, American Mathematical Society, 1989.[4]

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".[5]

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

Teoria de grupo

[editar | editar código-fonte]

Outras publicações de Kenneth Appel incluem um artigo com 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".[6]

Referências

  1. «Four-Color Theorem» (em inglês). MathWorld 
  2. "Kenneth I. Appel." Science and Its Times (2005–2006)
  3. Brooks, David. «Math Pioneers». UNH Magazine Online 
  4. World of Mathematics. N.p.: Thomson Corporation, 2005-2006. Kenneth I. Appel Biography | Bookrags.com
  5. squinnmurray (19 de outubro de 2006). «The Four Color Map Problem by Sharon Murray». Information Literacy for MAT 225 (em inglês). Consultado em 3 de outubro de 2021 
  6. Appel, Kenneth I.; Schupp, P. E. (1983). «Artin Groups and Infinite Coxeter Groups». Inventiones Mathematicae. 72 (2): 201–220. Bibcode:1983InMat..72..201A. doi:10.1007/BF01389320 

Ligações externas

[editar | editar código-fonte]
Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.