Autor(a): Yasmmin Crtes Martins.

ndice 1. Introduo...................................................................................................................................................2 2. Axiomatizao da geometria.......................................................................................................................2 3. Perodo Nazista............................................................................................................................................2 4. A curva de Hilbert.......................................................................................................................................3 5. Problemas de Hilbert...................................................................................................................................3 5.1. Lista e situao dos problemas.............................................................................................................3 6. O 24 problema............................................................................................................................................6 7. Bibliografia..................................................................................................................................................6

1. Introduo
David Hilbert foi um matemtico alemo que contribuiu para a matemtica com idias brilhantes que distriburam-se a diversas de suas reas. Ele nasceu em Knigsberg no dia 23 de janeiro de 1862, atualmente Kaliningrado, onde estudou na Universidade de Knigsberg. Em 1895 foi nomeado para Gttingen, onde ele ensinou at se aposentar, em 1930. E morreu em Gttingen no dia 14 de fevereiro de 1943. Hilbert freqentemente considerado como um dos maiores matemticos do sculo XX, no mesmo nvel de Henri Poincar. Deve-se a ele principalmente a lista de 23 problemas, alguns dos quais no foram resolvidos at hoje, que ele apresentou em 1900 no Congresso Internacional de Matemticos em Paris. Contribuies dele Matemtica so diversas : Consolidao da teoria dos invariantes, que foi o objeto de sua tese. Transformao da geometria euclidiana em axiomas, com uma viso mais formal que Euclides, para torn-la consistente, publicada no seu Grundlagen der Geometrie (Fundamentos da geometria). Trabalhos sobre a teoria dos nmeros algbricos, retomando e simplificando, com a ajuda de seu amigo Minkowski, os trabalhos de Kummer, Kronecker, Dirichlet e Dedekind, e publicando-os no

seu Zahlbericht (Relatrio sobre os nmeros). Criao dos espaos que levam seu nome, durante seus trabalhos em anlise sobre equaes integrais. Contribuio para as formas quadrticas, bases matemticas da teoria da relatividade de Albert Einstein.

2. Axiomatizao da geometria
O livro Grundlagen der Geometrie (tr. Fundamentos da Geometria) foi publicado inicialmente em 1899, mas teve modificaes e acrscimos nas numerosas edies posteriores. Nesse livro Hilbert apresenta um novo conjunto de axiomas para a geometria, muito maior que o sistema original de Euclides, recolhendo importantes desenvolvimentos realizados no sculo XIX e apresentando o sistema com um rigor formal muito maior. Alm do desenvolvimento propriamente geomtrico, os Fundamentos de Geometria apresentam demonstraes de independncia e de consistncia relativa de alguns dos axiomas, o que constitui um desenvolvimento meta-terico.

3. Perodo Nazista
Infelizmente para Hilbert e a posteridade dcadas aps, ele viveu o suficiente para assistir ao fim da dinastia matemtica da Universidade de Gttingen, a partir de 1933, ano da chegada de Adolf Hitler ao poder, quando os nazistas afastaram muitos dos membros da faculdade. Cerca de um ano aps este desastre, Hilbert frequentou um banquete e sentou-se ao lado do novo ministro da educao nazista, Bernhard Rust. Rust perguntou, " mesmo verdade, professor, que o seu instituto sofreu muito com a partida dos judeus e dos seus amigos?" Hilbert respondeu, "Sofreu? No, Herr Minister, no sofreu. Ele simplesmente deixou de existir." Quando Hilbert faleceu em 1943, os nazistas tinham praticamente acabado com a universidade, uma vez que muitos de seus membros eram judeus, ou casados com judeus. Seu funeral foi presenciado por menos de uma dzia de pessoas, das quais apenas duas eram colegas da universidade.

4. A curva de Hilbert

8 passos da construo da curva fractal de Hilbert.

A curva de Hilbert uma curva fractal contnua que foi descrita pela primeira vez por David Hilbert em 1891. Fractais so figuras formadas pela repetio de padres de determinadas funes ou de modelos geomtricos como nesta figura. Algumas so complexas e geralmente so geradas via simulao computacional.

5. Problemas de Hilbert
So uma lista de 23 problemas em matemtica propostos pelo matemtico alemo David Hilbert na conferncia do Congresso Internacional de Matemticos de Paris em 1900. Nenhum dos problemas tinha tido soluo at ento, e vrios deles acabaram se tornando muito influentes na matemtica do sculo XX. Nessa conferncia, ele publicou 10 dos problemas (1, 2, 6, 7, 8, 13, 16, 19, 21, e 22), e o resto da lista foi publicado mais tarde.

5.1. Lista e situao dos problemas Os 23 problemas de Hilbert so:

Nmero do problema Problema 1 Problema 2 Problema 3 Problema 4 Problema 5 Problema 6 Problema 7 Situao resolvido1 resolvido2 resolvido3 vago demais resolvido5 no-matemtico resolvido7
6 4

Enunciado

Provar a hiptese do continuum (HC) de Cantor Demonstrar a consistncia dos axiomas da aritmtica Pode-se provar que dois tetraedros tm o mesmo volume (sob certas condies)? Construir todos os espaos mtricos em que as linhas so geodsicas Todo grupo contnuo automaticamente um grupo diferencial? Transformar toda a Fsica em axiomas a b transcendente para a 0,1 algbrico e b irracional algbrico? (ex.:

Problema 8

aberto

A Hiptese de Riemann e a Conjectura de Goldbach

Problema 9

parcialmente 9 resolvido resolvido10 parcialmente resolvido11 aberto

13

Achar a lei de reciprocidade mais geral em todo campo de nmero algbrico

Problema 10

Encontrar um algoritmo que determine se uma equao diofantina tem soluo

Problema 11

Classificar as formas quadrticas a coeficiente nos anis algbricos inteiros

Problema 12

Estender o teorema de Kroneker para os corpos no abelianos. Demonstrar a impossibilidade de resolver equaes de stimo grau atravs de funes de somente duas variveis Provar o carcter finito de certos sistemas completos de funes

Problema 13

resolvido

Problema 14

resolvido14 parcialmente resolvido15 aberto16 resolvido17

Problema 15

Desenvolver bases slidas para o clculo enumerativo de Schubert

Problema 16

Desenvolver uma topologia de curvas e superfcies algbricas Demonstrar que uma funo racional positiva pode ser escrita sob a forma de soma de quadrados de funes racionais Construir um espao euclidiano com poliedros congruentes. Qual a maneira mais densa de se empacotarem esferas? Provar que o clculo de variaes sempre necessariamente analtico Todos os problemas variacionais com certas condies de contorno tm soluo? Prova da existncia de equaes diferenciais lineares tendo um determinado grupo monodrmico Uniformizar as curvas analticas atravs de funes automorfas Desenvolver um mtodo geral de resoluo no clculo de variaes

Problema 17

Problema 18

resolvido18 resolvido19 resolvido20 resolvido21 resolvido22 resolvido23

Problema 19 Problema 20

Problema 21

Problema 22 Problema 23

Notas 1. O resultado de independncia de Cohen, mostrando que a hiptese do Continuum (HC) independe do axioma de Zermelo-Frnkel e do axioma da escolha (ZFC) freqentemente citado para justificar a assero que o primeiro problema foi resolvido, apesar de que possa ser possvel que a Teoria dos Conjuntos deveria ter axiomas adicionais capazes de resolver o problema. 2. Gdel demonstrou em 1931, atravs do seu teorema da Incompletude, que isso no podia ser demonstrado sem sair da aritmtica. Gerhard Gentzen, no entanto, demonstrou que a resposta era afirmativa colocando-se o problema no mbito da Teoria dos Conjuntos. 5

3. Dehn, aluno de Hilbert, mostrou que no j em 1900, demonstrando que era impossvel dividir um cubo e um tetraedro regular de mesmo volume em um nmero finito de poliedros idnticos dois a dois. Apesar de tudo, o paradoxo de BanachTarski constitui um resultado positivo para essa questo, porm sua demonstrao depedede do axioma da escolha. 4. Segundo Rowe & Gray (veja referncia abaixo), a maioria dos problemas foram resolvidos. Alguns no foram completamente definidos, mas progresso suficiente foi feito para que se possa consider-los como "resolvidos"; Rowe & Gray consideram o quarto problema como vago demais para se dizer se foi ou no resolvido. 5. O teorema de Gleason-Montgomery-Zippin, em 1953, respondeu com a afirmativa. 6. Graas apario da Teoria da Relatividade e da Mecnica Quntica, o problema tornou-se rapidamente obsoleto. No entanto, pode-se notar que a Fsica terica e a Matemtica se aproximam cada vez mais. 7. Os trabalhos de Gelfond, completados por Schneider e Baker, permitiram a resoluo parcial deste problema (ver Teorema de Gelfond-Schneider) 8. O problema 8 contm dois famosos problemas, e ambos permanecem sem soluo. O primeiro deles, a hiptese de Riemann, um dos 7 problemas do Prmio Problemas do Milnio, que tm a fama de serem os "Problemas de Hilbert" do sculo XXI. Progressos foram feitos por Pierre Deligne, que demonstrou as conjecturas de Weil, e recebeu por isso a medalha Fields en 1978, mas estima-se que a soluo do problema ainda esteja longe. 9. Resolvido por Emil Artin em 1927. 10. Foi somente com os trabalhos de Church et Turing em 1930 que se definiu rigorosamente a noo de algoritmo. Em 1970, Yuri Matiyasevich, estabelecendo uma equivalncia entre os conjuntos recursivamente enumerveis e os conjuntos diofantinos, estabeleceu que um tal algoritmo no podia existir. 11. O teorema de Hasse-Minkowski resolve o problema em incluiu no seu Programa, iniciado em 1967. 13. Demonstrado por Kolmogorov e seu aluno Vladimir Arnold em 1954. 14. Nagata deu um contra-exemplo, em 1959, que mostrou a falsidade da conjectura. 15. Resolvido por van der Waerden em 1930. 16. O problema est aberto e no seu status atual, a definio da soluo est em 2 conceitos: uma investigao das posies relativas das marcas das curvas lgebricas de ordem n(e similaridades em superfcies lgebricas); a determinao do limite superior do nmero de ciclos de limites em polinmios de campos vetoriais de ordem n e uma consequente investigao de suas posies relativas. 17. Resolvido por Artin em 1927. 18. Rowe & Gray tambm consideram o 18 problema como "aberto" em seu livro de 2000, porque o problema de empacotamento de esferas (tambm conhecido como a conjectura de Kepler) no estava resolvido, mas uma soluo para ele foi anunciada em 1998 por Thomas Hall. A outra parte do problema foi resolvida por Ludwig Bieberbach em 1910. 19. Resolvido por Bernstein e Tibor Rado em 1929. 20. O resultado descoberto por soluo em casos no-lineares. 21. Resolvido por Helmut Rrl em 1957 6 , e Siegel resolveu-o para outros anis ntegros.

12. -Este problema aberto de multiplicao complexa num campo imaginrio quadrtico e Robert Langlands o

22. Resolvido por Koebe e Henri Poincar em 1907. 23. Este problema no foi resolvido.

6. O 24 problema
Ao preparar os problemas, Hilbert havia listado 24 problemas, mas acabou decidindo no propor um deles. O 24 era sobre um critrio para simplicidade e mtodos gerais em Teoria de Prova. Deve-se a descoberta deste problema a Rdiger Thiele, em 2000.

7. Bibliografia

http://www.mathacademy.com/pr/prime/articles/hilbert_prob/index.asp?PRE=hilber&TAL=Y&TAN=Y&TBI=Y&T CA=Y&TCS=Y&TEC=Y&TFO=Y&TGE=Y&TNT=Y&TPH=Y&TST=Y&TTO=Y&TTR=Y&TAD= http://aleph0.clarku.edu/~djoyce/hilbert/toc.html http://www.math.pitt.edu/articles/hilbert.html http://www.ams.org/amsmtgs/2025_abstracts/962-01-285.pdf