Realmente eu deixei pouco claro o modo como escrevi sobre o problema.
Eu quis dizer que a correlação com o problema P versus NP é a
"demonstração de uma demonstração" é que
é preciso provar se existe uma "demonstração" para demonstração antes de
tentar achar uma.
Isso está no ambito de pesquisa do problema NP.
Quanto aos problemas do milênio Sérgio, são 7 problemas matemáticos
apresentados pelo Instituto de matemática Clay, e eles estão
oferecerendo $ 1.000.000,00 por problema para quem os resolver.
O link oficial dos problemas:
http://www.claymath.org/millennium/
Para uma versão em portugues
http://www.dm.ufscar.br/hp/hp853/hp853001/hp853001.html
Um noticia legal é que foi apresenteada este ano a solução de um dos
problemas do milênio - a conjectura de Poincaré - ele foi resolvido pelo
matemático russo Grigory Perelman.
O cara faturou um milhão de verdinhas alem de ganhar a medalha Fields -
o nobel da matemática.
Aqui tem a noticia:
http://www.e-escola.pt/site/destaque.asp?dest=87
Ainda têm os problemas de Hilbert, caso você não conheça:
http://pt.wikipedia.org/wiki/Problemas_de_Hilbert
Espero ter te inspirado ainda mais a pratica da matemática. Pra mim
estes problemas são extremamente estimulantes, alem claro do meu gosto
natural pela matematica.
Abraços.
Sérgio Martins da Silva escreveu:
Caros Rodrigo e arcguede,
Poderiam me esclarecer o que demonstração de uma demonstração tem a ver com
problemas NP? Qual bibliografia recomendam sobre isso?
Abraços,
Sérgio
----- Original Message -----
From: <[EMAIL PROTECTED]>
To: <[email protected]>
Sent: Tuesday, December 18, 2007 12:46 AM
Subject: [obm-l] Re: [obm-l] Re: [obm-l] Demonstrações
Acredito que o problema NP seja provar que existe ou não uma forma
matemática, objetiva, de transformar problemas NP (com tempo de
processamento não polinomial) em problemas P (tempo de processamento
polinomial). Correto?
qual seria a remissão a que você se referiu?
----- Original Message -----
From: <[EMAIL PROTECTED]>
To: <[email protected]>
Sent: Monday, December 17, 2007 2:16 AM
Subject: Re: [obm-l] Re: [obm-l] Demonstrações
Acho que isso nos remete ao "terceiro problema do milênio" - o problema
NP.
[EMAIL PROTECTED] escreveu:
Acredito que uma "demonstração de demonstração" seria algo como
"chover no molhado". Uma demonstração está correta se, em última
instância, está de acordo com os axiomas mais básicos da matéria.
Então, uma demonstração de demontração recorreria, também em última
análise, exatamente aos mesmos axiomas, sendo assim redundante.
Se você fala inglês, aqui está um fórum onde há diversos debates
interessantes sobre esses assuntos, além de resolução técnica de
questões de matemática, física química, engenharia em geral, etc...
http://www.physicsforums.com/
abraços
----- Original Message ----- From: "Sérgio Martins da Silva"
<[EMAIL PROTECTED]>
To: "Lista OBM" <[email protected]>
Sent: Sunday, December 16, 2007 10:56 PM
Subject: [obm-l] Demonstrações
Doutores,
Penso que a palavra mais comum nesta lista e, quiçá, da matemática é
"demonstração". Por isto, gostaria de saber como se demonstra que uma
demonstração está correta. E mais, que é completa. Quais são os
requisitos,
condições, etc ?
Abraços,
Sérgio
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================
