Vinte e Um Matemticos do Sculo Vinte

Em junho de 2001 foi-me solicitado a elaborao uma relao contendo vinte e um nomes de matemticos. Tal relao seria utilizada para nomear vinte e um computadores recm adquiridos para o Laboratrio de Matemtica Aplicada do Instituto de Cincias da EFEI. Pensei, primeiramente, em relacionar matemticos tradicionais, cujos nomes aparecem rotineiramente em nossas aulas. Tal o caso de Riemann, Newton, Fourier, Gauss, Euler, Laplace, Leibniz, Cauchy, Fermat, Lagrange, Legendre, Monge, Pascal, etc. Viria a calhar, pois foram matemticos importantes e a incluso de seus nomes seria perfeitamente natural. Por outro lado, j temos um bom contato com esses matemticos e a oportunidade apresentada por esta lista pareceu-me ideal para uma outra abordagem. Por que no apresentar, aos nossos alunos, matemticos que tiveram alguma interseo com o sculo vinte? Seria uma oportunidade mpar uma vez que em grande medida a matemtica que utilizamos em nossos cursos foi desenvolvida antes do sculo vinte e, portanto, boa parte destes matemticos no aparece em nosso quotidiano. Agora a questo fundamental: quais matemticos entrariam nesta relao? No seria exagero dizer que uma lista com o dobro ou o triplo de nomes seria feita sem maiores dificuldades. Qual o critrio de escolha? No tenho uma boa resposta para esta pergunta. Na elaborao da lista procurei ser o mais abrangente possvel, mas, como no poderia deixar de ser, esta escolha

reflete minha viso e interesses pessoais. Em momento algum fui guiado pelos famosos maiores matemticos do sculo vinte. Apresento a seguir a relao com vinte e um nomes de matemticos que, sem sombra de dvidas, deram contribuies significativas para o desenvolvimento da matemtica no sculo vinte: Stefan Banach, Luitzen Brouwer, Georg Cantor, lie Cartan, Newton da Costa, Kurt Gdel, Godfrey Hardy, David Hilbert, Flix Klein, Andrei Kolmogorov, Henri Lebesgue, Emmy Noether, Maurcio Peixoto, Henri Poincar, Laurent Schwartz, Stephen Smale, Ren Thom, John Von Neumann, Hermann Weyl, Hassler Whitney e Andrew Wiles. Nas prximas pginas apresento uma breve biografia de cada um dos acima citados dando destaque s suas reas de interesse. Aparecem tambm uma citao e referncias bibliogrficas. Aqui cabem advertncias aos leitores. A primeira delas refere-se s biografias. O que aqui apresentado um pequeno resumo dos principais dados biogrficos, em momento algum procurei entrar em detalhes ou esgotar o assunto. A segunda advertncia refere-se s citaes. H por trs de cada uma delas um bem determinado contexto. No as olhe de maneira absoluta. Por ltimo recomendo fortemente o manuseio das referncias apresentadas como forma de completar as enormes lacunas aqui deixadas. Ao professor, compadre e amigo Jos Augusto Bata Segundo, ao completar cinqenta anos, dedico estas notas. Luis Fernando de Osrio Mello Outubro de 2001

Banach, Stefan (1892-1945)

A mathematician is a person who can find analogies between theorems; a better mathematician is one who can see analogies between proofs and the best mathematician can notice analogies between theories.

Matemtico polons, nasceu em Cracvia. Foi educado no Instituto de Tecnologia de Lvov, onde mais tarde foi professor. Desenvolveu estudos em Topologia e Teoria da Medida e Integrao. Foi um dos fundadores da Anlise Funcional, onde introduziu e desenvolveu o conceito de espao vetorial normado completo, hoje denominado espao de Banach. Um exemplo da genialidade de Banach dado a seguir, o qual conhecido como paradoxo de Banach-Tarski, sendo de fato Teorema de Banach-Tarski. Em 1924, Stefan Banach e Alfred Tarski provaram que possvel, acredite ou no, cortar uma laranja num nmero finito de partes, as quais podem ser rearranjadas para produzir duas laranjas, cada uma tendo exatamente o mesmo tamanho e o mesmo volume que a primeira. Isso soa no apenas estranho, mas completamente maluco. Deve ser bvio que os pedaos com que voc fica depois de cortar a laranja no podem ser juntados para fazer duas iguais primeira. No entanto no isto o que acontece.
Referncia: R. French, The Banach-Tarski theorem, Math. Intel., 10 (1988), 21-28.

Brouwer, Luitzen (1881-1966)

... an incorrect theory, even if cannot be inhibited by any contradiction that would refute it, is none the less incorrect, just as a criminal policy is none the less criminal even if cannot be inhibited by any court that would curb it.

Matemtico holands, nasceu em Overschie. Desenvolveu sua carreira na Universidade de Amsterdam. Foi um dos fundadores da Topologia e da Topologia Algbrica, demonstrando vrios teoremas sobre invariantes. Em sua homenagem um de seus Teoremas de Ponto Fixo recebe seu nome. Em oposio escola Logicista de Bertrand Russell fundou a escola Intuicionista de matemtica. Para Brouwer o seguinte problema ocorre na Matemtica: o fato de ter a lgica tradicional originado da considerao de conjuntos finitos, com os quais lidamos quotidianamente; por isso tal lgica no pode nem deve ser aplicada em matemtica, onde nos deparamos com conjuntos infinitos. O intuicionismo nega que o princpio do terceiro excludo tenha valor universal; no vale tambm o clebre mtodo usual de demonstrao por meio de reduo ao absurdo, de enorme aplicao na matemtica clssica. Neste sentido, o matemtico no descobre as entidades matemticas; o prprio matemtico quem cria as entidades que estuda.
Referncia: L. Brouwer, The effect of intuitionism on classical algebra of logic, Proc. Roy. Irish Acad. Sect. A., 57 (1955), 113-116.

Cantor, Georg (1845-1918)

The essence of mathematics lies in its freedom.

Matemtico russo, nasceu em So Petersburgo sendo seus pais alemes. Trabalhou na Universidade de Halle. Seus trabalhos sobre Teoria dos Conjuntos e Topologia colocam suas idias como uma das que mais influenciaram nas matemticas atuais. Deve-se a Cantor a descoberta fundamental de que h diversos tipos de conjuntos infinitos. Os primeiros estudos sistemticos dos conjuntos infinitos se devem a Dedekind e a Cantor, sendo as contribuies de Cantor mais originais. Antes de seus trabalhos s se distinguiam duas classes de conjuntos: os finitos e os infinitos, sem distines entre esses ltimos. Para a surpresa geral, Cantor mostrou que existem vrios tipos de conjuntos infinitos, irredutveis entre si. Partindo da definio de equipotncia, Cantor mostrou que o conjunto dos nmeros naturais, dos nmeros inteiros, dos nmeros racionais, entre outros, tm a mesma cardinalidade, sendo todos eles enumerveis. Em 1873, Cantor deparou com a seguinte questo: o conjunto dos nmeros reais enumervel? Uma descoberta capital foi a resposta negativa a esta pergunta, a qual obteve com um raciocnio muito simples e engenhoso, por reduo ao absurdo, baseado no que hoje se mtodo da diagonal de Cantor.
Referncia: G. Cantor, Contributions to the founding of the theory of transfinite numbers, Dover.

Cartan, lie (1869-1951)

Matemtico francs, nasceu em Dolomieu. Trabalhou nas Universidades de Lyon e Paris. Foi o matemtico que mais contribuiu, por suas idias e tcnicas originais, ao que hoje se chama Anlise em Variedades Diferenciveis, com suas aplicaes aos Grupos de Lie e Geometria Diferencial Global. um maiores responsveis pelo moderno tratamento abstrato da geometria. No incio de suas pesquisas, Cartan, tinha desenvolvido o clculo das formas diferenciais exteriores. Em sua abordagem geometria diferencial expandiu a noo, do sculo dezenove, de referencial mvel que fora usado por Darboux, definindo o que hoje chamamos de mtodo do triedro mvel de Cartan. O estudo local das superfcies em R 3 pode ser feito usando triedros ortonormais, em cuja escolha existe um certo grau de liberdade. O ponto importante destacado por Cartan que atravs destes triedros podemos determinar entidades geomtricas, as quais no dependem da particular escolha do triedro. O passo fundamental para esta construo a obteno das equaes de estrutura de Cartan.
Referncia: . Cartan, The theory of spinors, Dover, 1981.

da Costa, Newton (1929)

... da no ser possvel uma teoria vlida, do ponto de vista lgico, encerrar contradies internas. Supor o contrrio constituiria, aparentemente, um erro filosfico.

Matemtico brasileiro, nasceu em Curitiba. Trabalha na Universidade de So Paulo. Deu significativas contribuies Lgica, Teoria das Probabilidades, Teoria dos Conjuntos e dedica grande parte de seu tempo a Axiomatizao de Sistemas Fsicos. Seus trabalhos sobre Indecidibilidade so marcos de referncias. Criou e desenvolveu Lgicas Paraconsistentes. Em sentido amplo, uma lgica paraconsistente se pode ser utilizada como lgica subjacente a teorias inconsistentes mas no triviais. Isso implica, dentre outras coisas, que o princpio da no-contradio deve ser de alguma forma restringido, a fim de que possam aparecer contradies, mas deve-se procurar evitar que de duas premissas contraditrias se possa deduzir uma frmula qualquer. Mais especificamente a lgica proposta por da Costa satisfaz as seguintes condies: o princpio da no contradio no deve ser vlido em geral; de duas premissas contraditrias no deve ser possvel, em geral, deduzir-se qualquer proposio; todos os esquemas e regras da lgica clssica que forem compatveis com estas duas condies devem ser mantidas.
Referncias: N. da Costa, O conhecimento cientfico, Discurso Editorial, 1997. N. da Costa, Sistemas formais inconsistentes, Editora da UFPR, 1993.

Gdel, Kurt (1906-1978)

The developments of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules.

Matemtico austraco, nasceu em Brnn. Estudou em Viena e mais tarde trabalhou no Institute for Advanced Study em Princeton. Suas fantsticas e inovadoras contribuies Teoria dos Conjuntos e Lgica o colocam entre os maiores matemticos da histria. Ficou imortalizado pelo seu famoso Teorema da Incompletude. O grande sonho dos matemticos era basear a matemtica em regras de inferncia lgica perfeitamente definidas e num nmero finito de asseres fundamentais completamente explcitas, que chamamos de axiomas. Este sonho desenvolveu-se desde Euclides at Hilbert, e levou a uma formalizao progressiva da matemtica. Os matemticos tinham a seguinte esperana: que, para toda assero devidamente formulada, pudssemos deduzir de maneira sistemtica se ela verdadeira ou falsa. Foi essa esperana que Gdel aniquilou. Ele mostrou que, se fixarmos as regras de inferncia e um nmero finito qualquer de axiomas, haver asseres precisamente formuladas sobre as quais no poderemos demonstrar nem que so verdadeiras, nem que so falsas.
Referncia: K. Gdel, On formally undecidable propositions, Dover 1992.
8

Hardy, Godfrey (1877-1947)

Beauty is the first test: there is no permanent place in the world for ugly mathematics.

Matemtico ingls, nasceu em Cranleigh. Realizou seus estudos no Trinity College de Cambridge e trabalhou na Universidade de Cambridge. Foram marcantes suas colaboraes com Littlewood e Ramanujan. Publicou importantes trabalhos em Anlise e Teoria dos Nmeros. Em oposio ao defensor do rigor na criao matemtica, foi um ardente atesta, bem como um fantico jogador de crquete. Uma vez Hardy escreveu um carto postal a um amigo contando as seguintes resolues para o ano que se iniciava: 1) Provar a Hiptese de Riemann; 2) Fazer uma brilhante partida em um jogo importante de crquete; 3) Provar a no existncia de Deus; 4) Ser o primeiro homem a escalar o Monte Everest; 5) Ser proclamado o primeiro presidente da Unio Sovitica, GrBretanha e Alemanha;
6) Assassinar Mussolini. Referncias: G. Hardy, A mathematicians apology, Cambridge University Press, 1993. G. Hardy, A course of pure mathematics, Cambridge University Press, 1993.

Hilbert, David (1862-1943)

There is the problem, seek the solution.

Matemtico alemo, nasceu em Knigsberg. Trabalhou na Universidade de Gttingen, onde reuniu um grupo fabuloso de matemticos. Contribuiu de maneira significativa em vrios ramos da matemtica entre eles Geometria e Teoria dos Nmeros. Em 1900 props 23 problemas, para os quais os matemticos do sculo vinte deveriam buscar solues. So os Problemas de Hilbert. Alguns ainda esto em aberto. Os problemas de Hilbert foram anunciados em Paris, durante o segundo Congresso Internacional de Matemtica. Apresentamos a seguir uma verso moderna do seu 16o problema: Considere uma equao diferencial em

R2 :

x = P( x, y ) e y = Q ( x, y ) , onde P e Q so polinmios. o nmero K de

solues peridicas (ciclos limites) limitado da forma K d q , onde d o mximo dos graus de P e Q, e q uma constante universal? Segundo Smale, tirando a Hiptese de Riemann, este o problema mais desafiador proposto por Hilbert. Um nmero muito grande de matemticos tm procurado a soluo deste problema, mas esta, todavia, est muito longe de ser obtida, mesmo para o caso em que d = 2 .
Referncia: D. Hilbert, The foundations of geometry, 2nd edition, Open Court, 1921.

10

Klein, Flix (1849-1925)

The statement sometimes made, that there exist only analytic functions in nature, is in my opinion absurd.

Matemtico alemo, nasceu em Dsseldorf. Foi professor nas Universidades de Erlangen e Gttingen. Descreveu a geometria como o estudo das propriedades dos objetos que permanecem invariantes sob um grupo de transformaes. Contribuiu na sistematizao das Geometrias no Euclidianas e tambm na Topologia. Foi um dos primeiros matemticos a considerar superfcies no orientveis, ou seja, superfcies que no tem um lado bem determinado. Para este fim construiu uma superfcie compacta que ficou perpetuada como a garrafa de Klein (veja ilustrao abaixo). Vale a pena ressaltar que a garrafa de Klein um exemplo de superfcie imersa em R 3 , no sendo mergulhada, pois apresenta auto-intersees. Um mergulho pode ser obtido em R 4 .

Referncia: F. Klein, Famous problems of elementary geometry, Chelsea, 1956.

11

Kolmogorov, Andrei (1903-1987)

The theory of probability as mathematical discipline can and should be developed from axioms in exactly the same way as geometry and algebra.

Matemtico e fsico russo, nasceu em Tambov. Estudou na Universidade de Moscou onde mais tarde se tornou professor. Um fato surpreendente que Kolmogorov escreveu oito artigos em 1925, poca em que ainda era estudante de graduao. Tambm em 1925 apareceu seu primeiro trabalho em Probabilidade, assunto que mais tarde iria deixar em pratos limpos. Deu significativas contribuies Teoria da Medida, aos Processos Markovianos e aos Sistemas Dinmicos, em particular ao estudo da Turbulncia e Teoria KAM (Kolmogorov, Arnold e Moser). Entre 1929 e 1936, Kolmogorov determinou um novo estgio no desenvolvimento da Teoria da Probabilidade, apresentando um sistema de axiomas baseados na Teoria da Medida e na Teoria das Funes reais. Um evento um subconjunto de um espao amostral S. Eventos A1 , A2 ,... so dois a dois disjuntos se Ai A j = . Cada evento A tem uma probabilidade P( A) R , satisfazendo: i) P( A) 0 , A; ii) P( S ) = 1; iii)

P( A1 A2 ...) = P ( A1 ) + P( A2 ) + ... se os eventos so dois a dois disjuntos.

Estes so os chamados axiomas de Kolmogorov.
Referncia: A. N. Kolmogorov, Foundations of the theory of probability, 2nd ed., Chelsea, 1956.

12

Lebesgue, Henri (1875-1941)

In my opinion, a mathematician, in so far as he is a mathematician, need not preoccupy himself with philosophy...

Matemtico francs, nasceu em Beauvais. Trabalhou em vrias universidades at ser nomeado para o Collge de France. Introduziu importantes e inovadoras idias na Teoria da Integrao e Topologia Algbrica. Em sua tese de doutorado refez a definio de integrao usando o que hoje chamada Integral de Lebesgue. Durante muito tempo foi desenvolvida uma teoria de integrao baseadas nas idias de Riemann. Esta teoria, entretanto, contm certos inconvenientes que a tornam inadequada ao estudo de vrios problemas da Anlise Matemtica. Deste modo, fazia-se necessria uma reformulao da noo de integral, tendo-se em mente obter uma, sem as deficincias da anterior, mas contendo aquela como caso particular. Dito de outra maneira, dever-se-ia obter um conceito de integral, tal que a nova classe de funes integrveis contivesse a classe das funes integrveis Riemman, onde as duas integrais deveriam coincidir, e na qual os inconvenientes da integral de Riemann desaparecessem ou, pelo menos, fossem minimizados. As idias de Lebesgue se afastaram tanto dos cnones da poca que foram, em princpio, refutadas e severamente criticadas.
Referncia: H. Lebesgue, Leons sur lintegration et la recherche des fonctions primitives, 3rd ed., Chelsea, 1973.

13

Noether, Emmy (1882-1935)

My methods are really methods of working and thinking; this is why they have crept in everywhere anonymously.

Matemtica e fsica alem, nasceu em Erlangen. Estudou nas Universidades de Erlangen e Gttingen como ouvinte, uma vez que mulheres no eram admitidas como estudantes oficiais. Deu aulas em Gttingen sem jamais ocupar um cargo oficial. Aps sua jubilao pelo governo nazista se refugiou nos Estados Unidos onde trabalhou no Institute for Advanced Study em Princeton. Teve influncia marcante na criao do que hoje chamado lgebra Moderna, contribuindo principalmente em Anis, Corpos e Grupos. Em fsica mostrou que a simetria est intimamente ligada s integrais de movimento. As diferentes leis de conservao (do momento linear, do momento angular etc) so casos particulares de um teorema geral: a todo grupo uniparamtrico de difeomorfismos da variedade configuracional do sistema lagrangiano que conservam a funo de Lagrange corresponde uma integral primeira das equaes de movimento. Esse resultado o conhecido como Teorema de Noether.
Referncia: E. Noether, Invariant variation problems, 1918.

14

Peixoto, Maurcio (1921)

... escolha um determinado assunto e trate de entend-lo. O slido, o importante, o principal o entendimento.

Matemtico brasileiro, nasceu em Fortaleza. Foi um dos fundadores do Instituto de Matemtica Pura e Aplicada (IMPA), onde ainda continua trabalhando. Deu enorme contribuio Teoria Qualitativa das Equaes Diferenciais Ordinrias, demonstrando teoremas acerca da Estabilidade Estrutural. So os conhecidos Teoremas de Peixoto. No incio dos anos 60 do sculo passado, o estudo da estabilidade estrutural dos campos de vetores sobre variedades compactas sem bordo, orientveis e de dimenso 2 atingiu seu estgio definitivo. Peixoto obteve uma caracterizao dos campos de vetores cujos retratos de fase no se alteram qualitativamente por pequenas perturbaes das componentes do campo. Seus resultados representam um avano significativo dos obtidos pelos pioneiros russos Andronov e Pontrjagin. A compreenso do conjunto dos campos estruturalmente estveis, sua caracterizao em termos de elementos essenciais (singularidades, rbitas peridicas, separatrizes e comportamento assinttico das outras rbitas), sua abertura e densidade no espao de todos os campos constitui a essncia dos resultados de Peixoto.
Referncia: M. Peixoto, Structurally stable vector fields on two-dimensional manifolds, Topology, 1 (1962), 101-120.

15

Poincar, Henri (1854-1912)

Duvidar de tudo ou acreditar em tudo so duas solues igualmente cmodas: uma e outra nos dispensam se refletir.

Matemtico francs, nasceu em Nancy. Foi professor na Universidade de Paris. Tinha uma capacidade similar de Gauss e dominou todos os ramos da matemtica de seu tempo. Deu contribuies significativas Mecnica Celeste estudando o Problema dos Trs Corpos. Nas Equaes Diferenciais Ordinrias deu numerosas e significativas contribuies sendo considerado o fundador da Teoria Qualitativa, a qual deu origem aos Sistemas Dinmicos. Um aspecto da Teoria Qualitativa visa descrever o comportamento assinttico das solues das equaes diferenciais e a estrutura de seus conjuntos limites. O comportamento assinttico de uma soluo se obtm quando se faz a varivel independente (tempo) tender para o infinito. O conjunto limite pode ser um ponto, uma soluo peridica ou um conjunto mais complicado. O Teorema de Poincar-Bendixson fornece respostas a estes tipos de questes no plano e em superfcies bidimensionais. Por exemplo, se o conjunto limite for compacto e no vazio e no contiver pontos de equilbrio, ento ele necessariamente formado por uma soluo peridica.
Referncias: H. Poincar, Sur les courbes dfinies par une quation differentielle, Obra Completa. H. Poincar, A cincia e a hiptese, Editora da UnB, 1984.

16

Schwartz, Laurent (1915)

Mathematicians carry the rigour of scientific reasoning into everyday life. Mathematical discovery is subversive, and is ever ready to break taboos, and depends every little on established authorities.

Matemtico francs, nasceu em Paris. Foi professor a maior parte de sua vida na Escola Politcnica de Paris. Trabalhou com Anlise, Anlise Funcional e Equaes Diferenciais Parciais. Em 1950 foi agraciado com a Medalha Fields por seu trabalho Generalizao da noo de funo, de derivao, de transformao de Fourier e aplicaes matemticas e fsicas na Teoria das Distribuies. A Teoria das Distribuies uma considervel generalizao do clculo diferencial. Heaviside e Dirac tinham generalizado o clculo com aplicaes especficas em mente. Esse e outros mtodos similares de clculo formal, no estavam, contudo, construdos sobre uma fundamentao matemtica abstrata e rigorosa. Schwartz desenvolveu de maneira sistemtica a teoria das distribuies em bases slidas de Anlise Funcional, aumentando consideravelmente o poder das aplicaes em numerosas reas como Teoria do Potencial, Teoria Espectral e Equaes Diferenciais Parciais.
Referncia: L. Schwartz, Thorie des distributions, Hermann et Cia, 1966.
17

Smale, Stephen (1930)

When I have reorganized the mathematics in my own terms, then I feel an understanding, not before.

Matemtico norte-americano, nasceu em Flint. Estudou na Universidade de Michigan, onde obteve o doutoramento em Topologia. Deu preciosas contribuies Teoria de Morse e aos Sistemas Dinmicos, como, por exemplo, a ferradura de Smale. Em 1966 foi agraciado com a Medalha Fields. Atualmente estuda Anlise Numrica e Computao Terica, na Universidade de Hong Kong. Suponha que uma variedade compacta, conexa e de dimenso n tem a propriedade de que toda circunferncia sobre ela pode ser deformada em um ponto. Ser esta variedade homeomorfa n-esfera ? Esta a famosa Conjectura de Poincar. Em 1900, Poincar anunciou a prova desta conjectura. Posteriormente, em 1904, ele achou uma falha em sua argumentao. Em 1960, nas praias do Rio de Janeiro, Smale deu uma resposta afirmativa para a Conjectura de Poincar, para os casos em que n > 4 . Em 1983, Freedmann deu uma resposta afirmativa para n = 4 . O caso em que n = 3 ainda aguarda uma soluo.
Referncias: S. Smale, Finding a horseshoe on the beaches of Rio, Math. Intell., 20 (1998), 39-44. S. Smale, Mathematical problems for the next century, Mathematical Intelligencer, 20 (1998), 7-15.

18

Thom, Ren (1923)

Geometry is a magic that works ...

Matemtico francs, nasceu em Montbliard. Trabalhou em diversas universidades e no Institut de Hautes tudes Scientifiques em Bures-surYvette. Topologia e Topologia Diferencial foram seus maiores interesses, notadamente Classes Caractersticas, Cobordismo e Transversalidade. Ficou imortalizado pela criao da Teoria das Catstrofes. Ganhou a Medalha Fields em 1958. Um dos mais belos teoremas de Ren Thom o que classifica os pontos crticos degenerados de funes cuja codimenso de, no mximo, quatro. Este teorema afirma que existem apenas sete diferentes tipos de pontos crticos degenerados para tais funes, os quais so conhecidos como as sete catstrofes elementares de Thom: 1) Dobra; 2) Cspide; 3) Rabo de Andorinha; 4) Borboleta; 5) Umblico Elptico; 6) Umblico Hiperblico;
7) Umblico Parablico. Referncia: R. Thom, Structural stability and morphogenesis, Benjamin, 1975.
19

Von Neumann, John (1903-1957)

I think it is correct to say that [the mathematicians] criteria of selection, and also those of success, are mainly aesthetical.

Matemtico hngaro, nasceu em Budapeste. Adquiriu sua formao matemtica com professores particulares. Trabalhou no Institute for Advanced Study em Princeton. Foi um dos analistas mais profundos do sculo vinte e tambm um dos que melhor soube aplicar as matemticas s demais cincias. Teve destacada atuao em Teoria dos Jogos. Os jogos finitos binrios de soma zero tm dois jogadores A e B. O jogo consiste numa escolha de A entre m opes e numa escolha independente de B entre n opes. Jogo finito significa que m e n so finitos. A escolha de i por A e de j por B provoca um pagamento kij para A e k ij para B. Jogo de soma zero significa que a quantidade ganha por um jogador perdida pelo outro. Se os jogadores escolhem suas opes com probabilidades p1 ,..., p m e q1 ,..., q n , resp., o ganho mdio de A

k
i j

ij

pi q j , enquanto que o ganho mdio de B menos esta

quantidade. A tentar tornar seu ganho mdio mximo, enquanto B tentar torn-lo mnimo. von Neumann mostrou que o mximo do mnimo de B igual ao mnimo do mximo de A. Este o conhecido Teorema do Minimax.
Referncia: J. von Neumann e O. Morgenstern, Theory of games and economic behavior, Princeton University Press, 1944.

20

Weyl, Hermann (1885-1955)

The introduction of numbers as coordinates ... is an act of violence...

Matemtico alemo, nasceu em Elmshorn. Estudou em Gttingen, onde depois foi professor, transferindo-se mais tarde para o Institute for Advanced Study em Princeton. Foi o aluno mais dotado de Hilbert e to universal quanto seu mestre. Suas memrias mais belas tratam dos Grupos de Lie, Teoria dos Nmeros, Anlise Funcional e Geometria Diferencial. No sculo dezenove os matemticos j aplicavam o clculo diferencial superfcies em R 3 . No entanto, na definio de superfcie fazia-se apelo ao espao ambiente R 3 . Ora, a idia natural de superfcie a de um conjunto que seja bidimensional (em um certo sentido) e ao qual se possa localmente aplicar o clculo diferencial do R 2 ; a presena desnecessria do R 3 simplesmente uma imposio de nossa intuio fsica. Embora a necessidade de uma idia abstrata de superfcie, sem envolver o espao ambiente, fosse entrevista desde Gauss, foi necessrio quase um sculo para que ela atingisse a forma que hoje conhecemos como variedade diferencivel (de dimenso 2), estabelecida dor Weyl, o qual compreendeu o papel fundamental da mudana de parmetros.
Referncias: H. Weyl, Simetria, Edusp, 1997. H. Weyl, Space-Yime-Matter, Dover, 1952.
21

Whitney, Hassler (1907-1989)

Matemtico norte-americano, nasceu em Nova York. Obteve seu doutoramento na Universidade de Harvard. Trabalhou em Harvard e no Institute for Advanced Study em Princeton. Teve destacada atuao na Topologia, no estudo das Singularidades, na Teoria dos Grafos e na Topologia Diferencial. Foi apelidado de Riemann americano. Consideremos as aplicaes diferenciveis : R 2 R 3 . Um ponto do domnio dito regular se a derivada neste ponto for sobrejetiva, caso contrrio ele um ponto singular ou uma singularidade. Whitney observou que, genericamente, apenas um modelo de singularidade encontrado. Todos os outros desaparecem por pequenas perturbaes da aplicao, enquanto que aquele por ele identificado persiste aps estas pequenas perturbaes. Isto nos indica uma certa propriedade de estabilidade. Em sua homenagem esta singularidade conhecida por guarda-chuva de Whitney.

Referncias: H. Whitney, The singularities of a smooth n-manifold in (2n-1) space, Annals of Math., 45 (1944), 247-293. V. Arnold, Teoria da catstrofe, Editora da Unicamp, 1989.
22

Wiles, Andrew (1953)

... theres no other problem that will mean the same to me. I had this very rare privilege of being able to pursue in my adult life what had been my childhood dream.

Matemtico ingls, nasceu em Cambridge. Obteve seu doutoramento pela Universidade de Cambridge, indo trabalhar na Universidade de Princeton. Durante mais de dez anos dedicou-se demonstrao do ltimo Teorema de Fermat, utilizando para tal feito tcnicas profundas de lgebras de Hecke, entre outras coisas. Devido idade no pde receber a Medalha Fields, recebendo a IMU silver plaque em 1998. Atualmente editor do Annals of Mathematics, a revista mais bem conceituada em matemtica. Em 1995, a comunidade matemtica aceitou a prova dada por Wiles para a famosa conjectura de Fermat, formulada em 1630, a qual afirma que para n > 2 no existem inteiros positivos x, y e z, tais que x n + y n = z n . Fermat escreveu a afirmao acima na margem de um livro, dizendo que a soluo encontrada por ele era longa e no cabia no papel que ele dispunha. Wiles apresentou seu trabalho pela primeira vez em 1993 no Instituto Isaac Newton, mas havia um problema numa das etapas da demonstrao. Finalmente, em 1995, em colaborao com R. Taylor, ele apresentou sua demonstrao corrigida.
Referncia: S. Singh, O ltimo teorema de Fermat, Editora Record, 1998.

23