Problemas de Hilbert

Origem: Wikipédia, a enciclopédia livre.

Os Problemas de Hilbert são uma lista de 23 problemas em matemática propostos pelo matemático alemão David Hilbert na conferência do Congresso Internacional de Matemática de Paris em 1900. Nenhum dos problemas tinha tido solução até então, e vários deles acabaram se tornando muito influentes na matemática do século XX. Nessa conferência, 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.

Índice 1 Lista e situação dos problemas 1.1 Notas 2 O 24° problema 3 Links externos 4 Veja também 5 Referência

[editar] Lista e situação dos problemas

Os 23 problemas de Hilbert são:

Número do problema	Situação	Enunciado
Problema 1	resolvido1	Provar a hipótese do continuum (HC) de Cantor
Problema 2	resolvido2	Demonstrar a consistência dos axiomas da aritmética
Problema 3	resolvido3	Pode-se provar que dois tetraedros têm o mesmo volume (sob certas condições)?
Problema 4	vago demais4	Construir todos os espaços métricos em que as linhas são geodésicas
Problema 5	resolvido5	Todo grupo contínuo é automaticamente um grupo diferencial?
Problema 6	não-matemático6	Transformar toda a Física em axiomas
Problema 7	resolvido7	a b é transcendental para a ≠ 0,1 algébrico e b irracional algébrico? (ex.: )
Problema 8	aberto8	A Hipótese de Riemann e a Conjectura de Goldbach
Problema 9	resolvido9	Achar a lei de reciprocidade mais geral em todo campo de número algébrico
Problema 10	resolvido10	Encontrar um algoritmo que determine se uma equação diofantina tem solução
Problema 11	resolvido11	Classificar as formas quadráticas a coeficiente nos anéis algébricos inteiros
Problema 12	resolvido	Estender o teorema de Kroneker para os corpos não abelianos.
Problema 13	resolvido13	Demonstrar a impossibilidade de resolver equações de sétimo grau através de funções de somente duas variáveis
Problema 14	resolvido14	Provar o carácter finito de certos sistemas completos de funções
Problema 15	resolvido15	Desenvolver bases sólidas para o cálculo enumerativo de Schubert
Problema 16	aberto16	Desenvolver uma topologia de curvas e superfícies algébricas
Problema 17	resolvido17	Demonstrar que uma função racional positiva pode ser escrita sob a forma de soma de quadrados de funções racionais
Problema 18	resolvido18	Construir um espaço euclidiano com poliedros congruentes. Qual a maneira mais densa de se empacotarem esferas?
Problema 19	resolvido19	Provar que o cálculo de variações é sempre necessariamente analítico
Problema 20	resolvido20	Todos os problemas variacionais com certas condições de contorno têm solução?
Problema 21	resolvido21	Prova da existência de equações diferenciais lineares tendo um determinado grupo monodrômico
Problema 22	resolvido22	Uniformizar as curvas analíticas através de funções automorfas
Problema 23	resolvido23	Desenvolver um método geral de resolução no cálculo de variações

[editar] Notas

1. O resultado de independência de Cohen, mostrando que a hipótese do Continuum (HC) independe do axioma de Zermelo-Fränkel e do axioma da escolha (ZFC) é freqüentemente citado para justificar a asserção que o primeiro problema foi resolvido, apesar de que possa ser possível que a Teoria dos Conjuntos deveria ter axiomas adicionais capazes de resolver o problema.
2. Gödel demonstrou em 1931, através do seu teorema da Incompletude, que isso não podia ser demonstrado sem sair da aritmética. Gerhard Gentzen, no entanto, demonstrou que a resposta era afirmativa colocando-se o problema no âmbito da Teoria dos Conjuntos.
3. Dehn, aluno de Hilbert, mostrou que não já em 1900, demonstrando que era impossível dividir um cubo e um tetraedro regular de mesmo volume em um número finito de poliedros idênticos dois a dois. Apesar de tudo, o paradoxo de Banach–Tarski constitui um resultado positivo para essa questão.
4. Segundo Rowe & Gray (veja referência abaixo), a maioria dos problemas foram resolvidos. Alguns não 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 não resolvido.
5. O teorema de Gleason-Montgomery-Zippin, em 1953, respondeu com a afirmativa.
6. Graças à aparição da Teoria da Relatividade e da Mecânica Quântica, o problema tornou-se rapidamente obsoleto. No entanto, pode-se notar que a Física teórica e a Matemática se aproximam cada vez mais.
7. Os trabalhos de Gelfond, completados por Schneider e Baker, permitiram a resolução parcial deste problema (ver Teorema de Gelfond-Schneider)
8. O problema 8 contém dois famosos problemas, e ambos permanecem sem solução. O primeiro deles, a hipótese de Riemann, é um dos 7 problemas do Prêmio Problemas do Milênio, que têm a fama de serem os "Problemas de Hilbert" do século 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 solução 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 noção de algoritmo. Em 1970, Yuri Matiyasevich, estabelecendo uma equivalência entre os conjuntos recursivamente enumeráveis e os conjuntos diofantinos, estabeleceu que um tal algoritmo não podia existir.
11. O teorema de Hasse-Minkowski resolve o problema em , e Siegel resolveu-o para outros anéis íntegros.
12. -
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. Uma parte deste problema resta ainda uma questão em aberto.
17. Resolvido por Artin em 1927.
18. Rowe & Gray também consideram o 18° problema como "aberto" em seu livro de 2000, porque o problema de empacotamento de esferas (também conhecido como a conjectura de Kepler) não estava resolvido, mas uma solução 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. -
21. Resolvido por Helmut Rörl em 1957
22. Resolvido por Koebe e Henri Poincaré em 1907.
23. -

[editar] O 24° problema

Ao preparar os problemas, Hilbert havia listado 24 problemas, mas acabou decidindo não propor um deles. O 24° era sobre um critério para simplicidade e métodos gerais em Teoria de Prova. Deve-se a descoberta deste problema a Rüdiger Thiele.

[editar] Links externos

• Listing of the 23 problems, with descriptions of which have been solved
• English translation of Hilbert's 1900 address
• Details on the solution of the 18th problem
• The Mathematical Gazette, March 2000 (page 2-8) "100 Years On"
• "On Hilbert's 24th Problem: Report on a New Source and Some Remarks."

[editar] Veja também

• David Hilbert
• Programa de Hilbert

[editar] Referência

• Rowe, David; Gray, Jeremy J. (2000). The Hilbert Challenge. Oxford University Press. ISBN 0198506511

• Yandell, Benjamin H. (2002). The Honors Class. Hilbert's Problems and Their Solvers. A K Peters. ISBN 1568811411