Академический Документы
Профессиональный Документы
Культура Документы
5 -12
Publicao Oficial da Sociedade Brasileira de Histria da Matemtica
Problemas Matemticos
ISSN 1519-955X
PROBLEMAS MATEMTICOS
David Hilbert
Conferncia proferida no 2 Congresso Internacional de Matemticos
realizado em Paris em 1900
(traduzida do alemo para o portugus por Sergio Nobre)
David Hilbert
problema matemtico, quando o mesmo deve ser perfeito; enquanto que a evidncia e a
leve compreenso nos atrai, a complicao nos desanima.
Um problema matemtico que nos estimule, que no ultrapasse nosso esforo e
que no seja totalmente inacessvel est longe de ser difcil. Este problema para ns um
sinal de que existe um atalho para se chegar s verdades ocultas, pois a alegria que ele nos
oferece atravs de sua resoluo compensadora.
Os matemticos dos sculos passados dedicavam-se com grande zelo soluo de
problemas isolados e difceis. Eles conheciam o valor destes problemas difceis. Eu lembrome apenas o problema que Johann Bernoulli apresentou: O problema da curva
brachystochrona1. A experincia mostra, e assim exps Bernoulli na apresentao pblica
deste problema, que o nobre intelecto para o trabalho na multiplicao do saber somente
impulsionado atravs de difceis e proveitosas tarefas. Desta forma ele esperava merecer o
reconhecimento do mundo matemtico, quando, seguindo o exemplo de homens como
Mersenne, Pascal, Fermat e outros, os quais fizeram o mesmo antes dele, apresentou aos
principais analistas de seu tempo uma tarefa, como se fosse um teste, para que eles
pudessem julgar o quo bom eram seus mtodos e medirem as suas foras. A origem do
Clculo de Variaes deve-se ao conhecido problema de Bernoulli e a outros semelhantes.
Fermat tinha afirmado que a Equao Diofantina -com exceo de alguns casosxn + yn = zn
no possui soluo para x, y e z inteiros. O problema de provar esta impossibilidade oferece
um exemplo convincente sobre como um problema especfico, que aparentemente
insignificante, pode atuar como fomento sobre as cincias. Pois, atravs do estimulo
causado pela tarefa proposta por Fermat, Kummer chegou introduo dos nmeros ideais
e descoberta dos teoremas sobre a decomposio pura dos nmeros de um corpo circular
em fatores primos ideais um teorema, que hoje conferido a Dedekind e Kronecker, sobre
a generalizao de qualquer campo numrico que pertence ao ponto central da moderna
teoria de nmeros, cuja importncia ultrapassa a fronteira da teoria dos nmeros e estendese ao campo da lgebra e da teoria das funes.
Ainda para falar sobre outro diferente campo de pesquisa, lembro do Problema dos
Trs Corpos. Sobre as novas circunstncias que Poincar empreendeu para o tratamento
deste difcil problema e os encaminhamentos que se aproximam da soluo, agradecemos
os mtodos fecundos e os princpios de grande alcance, que este sbio da mecnica celeste
abriu e que hoje so reconhecidos e usados pela astronomia prtica.
Ambos os problemas citados a pouco, o Teorema de Fermat 2 e o Problema dos
Trs Corpos, apresentam-se a ns de antemo como problemas quase como de plos
opostos: o primeiro uma inveno livre do intelecto puro, que pertence regio da teoria
abstrata de nmeros; o outro nos foi imposto a partir da astronomia e da necessidade de
compreenso de simples e fundamentais fenmenos naturais.
1
Em seu discurso, Hilbert no utiliza o termo brachystochrona, como esta curva conhecida. Ele usa a expresso
Problem der linie schnellsten Falles , ou seja, o problema da linha de queda mais rpida.
2
Em seu discurso, Hilbert usa o termo Problema de Fermat, e no Teorema de Fermat como atualmente
conhecido.
Problemas Matemticos
Mas freqentemente acontece tambm que mesmo sendo problemas especiais, eles
intervm em diferentes campos do conhecimento matemtico. Desta forma, o problema da
brachystochrona possui, ao mesmo tempo, um importante e fundamental papel histrico nos
fundamentos da matemtica, na teoria de curvas e reas, na mecnica e no clculo de
variaes. Assim como Felix Klein 3, em seu livro sobre o Icosaedro, descreveu, com
convico, que o Problema dos poliedros regulares vem ao encontro da geometria
elementar, das teorias de equaes e de grupos e da teoria de equaes diferenciais lineares.
Para dar luz importncia de alguns problemas especficos, permito-me tambm
referir-me a Weierstrass4, no que pode ser qualificado como um feliz acaso, pois ele, no
incio de sua carreira cientfica, encontrou um problema muito importante, o Problema da
Inverso de Jacobi5, com cujo trabalho ele pode se promover.
Depois que ns passamos uma viso sobre a importncia de problemas
matemticos, nos deslocamos para a pergunta: de quais fontes a matemtica cria seus
problemas? Certamente os primeiros e os mais velhos problemas, em cada um dos ramos
cientficos da matemtica, provm da experincia e so estimulados atravs do mundo dos
fenmenos externos. Mesmo as regras referentes aos clculos com nmeros inteiros so, a
partir desta maneira, descobertas por completo em nveis culturais inferiores da
humanidade, assim como tambm hoje a criana aprende as aplicaes destas regras atravs
de mtodos empricos. O mesmo vale para os primeiros problemas da geometria, que
foram transmitidos da antigidade: problema da duplicao do cubo, da quadratura do
crculo e os mais velhos problemas da teoria de resoluo de equaes numricas, da teoria
de curvas e do clculo diferencial e integral, do clculo de variaes, da teoria das sries de
Fourier e da teoria de potncias nada mais a falar sobre a rica abundncia de problemas
prprios da mecnica, astronomia e fsica.
Na continuidade do desenvolvimento de uma disciplina matemtica, encorajado
pelo xito das solues, o intelecto humano torna-se consciente de sua autonomia.
Normalmente, sem estmulos externos reconhecidos, ele cria por si prprio, e de forma
mais clara, problemas novos e fecundos, atravs de combinaes lgicas, atravs de
generalizaes e particularizaes, atravs da separao e da reunio de idias. Ele se
apresenta em primeiro plano colocando-se como questionador. Desta forma originaram-se o
problema dos nmeros primos e os demais problemas da aritmtica, a teoria de equaes de
Galois, a teoria dos invariantes algbricos, a teoria das funes automorfas abelianas, e
ainda originam, de uma maneira geral, quase todas as questes delicadas da moderna
teoria de nmeros e de funes.
Entretanto, enquanto a fora criativa do raciocnio puro reage, impe-se
novamente as novas exteriorizaes do meio e obriga-nos, por meio do aparecimento de
novas questes, explorar novas reas de conhecimento da matemtica. Ao mesmo tempo
em que procuramos incorporar esta nova rea de conhecimento no reino do pensamento
puro, achamos, na maioria das vezes, as respostas para problemas ainda no resolvidos e,
simultaneamente, trazemos luz, na melhor das hipteses, teorias antigas. Nisto baseia-se
3
David Hilbert
Problemas Matemticos
Quando insisto no rigor na demonstrao como exigncia para uma perfeita
soluo de um problema, por outro lado, eu gostaria de me opor opinio de que somente
os conceitos da anlise, ou ento aqueles da aritmtica so suscetveis a um tratamento
rigoroso. Esta opinio, que s vezes defendida por pessoas eminentes, eu considero
inteiramente equivocada; tal interpretao unilateral sobre a exigncia do rigor levaria para
uma ignorncia de todos os conceitos que so originrios da geometria, da mecnica e da
fsica, para uma obstruo da afluncia de novos materiais oriundos do mundo externo, e
finalmente, at mesmo como ltima conseqncia para uma rejeio do conceito de
continuum e de nmero irracional. Mas qual o importante nervo, que vital para a
matemtica, que seria cortado atravs da extirpao da geometria e da fsica matemtica?
Eu penso ao contrrio, onde surgem os conceitos matemticos, ao lado da teoria do
conhecimento, ou na geometria, ou a partir de teorias das cincias naturais, os problemas
resultam da matemtica para investigar os princpios subjacentes dessas idias e os mesmos
so fixados atravs de um simples e completo sistema de axiomas, que a exatido dos
novos conceitos e sua aplicabilidade para a deduo no devem ficar para trs em respeito
aos velhos conceitos aritmticos.
A novos conceitos pertencem tambm, necessariamente, novos smbolos. Estes
ns escolhemos de tal maneira que nos lembrem os fenmenos os quais foram motivos para
a formao dos novos conceitos. Assim os smbolos das figuras geomtricas so
mnemonizveis atravs da intuio espacial e, desta forma, so usados por todos os
matemticos. Quem no usa continuamente ao mesmo tempo para uma dupla desigualdade
a > b > c para trs grandezas a, b, c a figura de trs pontos colocados um em seguida ao
outro em uma linha reta como a figura geomtrica que simboliza a idia de estar entre
de? Quem no se serve de figuras de segmentos e retngulos colocados um dentro do
outro, quando for vlido, para provar com rigor perfeito um difcil teorema sobre a
continuidade de funes ou a existncia de pontos de condensao? Quem poderia
dispensar a figura do tringulo, do circulo com seu ponto central, ou o cruzamento de trs
eixos perpendiculares? Ou quem poderia renunciar representao de um campo vetorial,
ou figura de uma curva ou superfcie com seus envelopes, que desempenha um importante
papel na geometria diferencial, na teoria de equaes diferenciais, na fundamentao do
clculo de variaes e em outros campos da matemtica pura?
Os smbolos aritmticos so figuras escritas e as figuras geomtricas so frmulas
grficas, e nenhum matemtico poderia passar sem estas frmulas grficas, to pouco como
para calcular algo, a insero e a remoo de parnteses ou a utilizao de outros smbolos
analticos.
A utilizao de smbolos geomtricos como rigorosos meios de demonstrao
pressupe o conhecimento preciso e completo domnio de axiomas, que fundamentam essas
figuras, e com isso essas figuras geomtricas poderiam ser incorporadas no tesouro geral
dos smbolos matemticos. Por conseguinte necessrio uma rigorosa investigao
axiomtica em seu contedo conceptual. Como na adio de dois nmeros, os algarismos
no podem ser colocados um embaixo do outro de forma incorreta, mas, antes, somente as
regras do clculo, isto , os axiomas da aritmtica, determinam a operao correta com os
algarismos. Assim determinada a operao com os smbolos geomtricos: atravs do
axioma dos conceitos geomtricos e suas combinaes.
RBHM, Vol. 3, no 5, p. 5 - 12, 2003
David Hilbert
10
Problemas Matemticos
Provavelmente este curioso fato, ao lado de outros fundamentos filosficos, o qual
nos convence (o que todo matemtico concorda, mas que at agora, no mnimo, ningum se
apoiou atravs de demonstraes), eu penso na convico de que cada determinado
problema matemtico exige uma rigorosa soluo, quer a resposta para a questo colocada
d certo, quer a impossibilidade de sua resoluo e com isto justifica-se o fracasso de todos
experimentos. Apresenta-se um problema qualquer no resolvido, como a questo colocada
sobre a constante C na irracionalidade de Euler-Mascheroni, ou a questo se existem
infinitos nmeros primos na forma 2n + 1. Por mais inacessvel que estes problemas nos
paream, e por mais perplexos que estejamos diante deles, temos portanto a segura
convico de que sua soluo atravs de uma quantidade finita de processos lgicos puros
podem dar certo.
O axioma da solubilidade de cada problema somente uma particularidade
caracterstica do pensamento matemtico ou possvel uma lei geral inerente natureza de
nosso pensamento que todas as perguntas colocadas possuem respostas? Encontra-se
tambm em outras cincias velhos problemas que trouxeram grandes contribuies para o
bem da cincia atravs da prova de sua impossibilidade de resoluo. Eu recordo do
problema do Motus Perpetuum Depois de tentativas inteis da construo do Motus
Perpetuum, pesquisou-se, pelo contrrio, as relaes que existem entre as foras naturais
quando um Motus Perpetuum impossvel7, esta pergunta ao contrrio levou s descobertas
da lei sobre a conservao da energia que, por vez explica a impossibilidade do Motus
Perpetuum no sentido originalmente planejado.
Esta convico de que a solubilidade de um problema matemtico nos d um forte
estmulo durante o trabalho, ns ouvimos um grito contnuo que vem de dentro: Da ist das
Problem, suche die Lsung. Du kannst sie durch reines Denken finden; denn in der
Mathematik gibt es kein Ignorabimus! (a est o problema, procura a soluo. Voc pode
encontr-la atravs do pensamento puro, pois na matemtica no existe ignoremos!).
No se pode medir a quantidade de problemas que existe na matemtica, e assim
que um problema resolvido aparece em seu lugar uma enorme quantidade de novos
problemas. Como amostra, permitam-me nomear em seguida certos problemas isolados de
diferentes disciplinas matemticas, cujas discusses esperado um avano na cincia.
Vamos abranger os princpios da anlise e da geometria. Os mais importantes e
estimulantes acontecimentos dos ltimos sculos esto nestes campos, como me parece, os
resultados aritmticos do conceito de Continuum nos trabalhos de Cauchy, Bolzano, Cantor
e a descoberta da geometria no-euclidiana por Gauss, Bolyai, Lobachevsky. Eu dirijo-me
aos senhores para solicitar inicialmente sua ateno para alguns problemas pertencentes a
esses campos.
1. Problema de Cantor sobre a potncia do Continuum
Dois sistemas, ou seja, dois conjuntos
2. A no contradio dos axiomas da aritmtica
3. A igualdade do volume de dois tetraedros com a mesmas reas da base e mesmas alturas
7
Helmholtz: ber die Wechselwirkung der Naturkrfte und die darauf bezglichen neusten Ermittelungen der
Physik. Vortrag, gehalten in Knigsberg 1854.
11
David Hilbert
David Hilbert
12