Arcguede, Você poderia me explicar porque o problema NP é o "terceiro problema do milênio"? Estou completamente desinformado sobre o assunto.
Sérgio ----- Original Message ----- From: <[EMAIL PROTECTED]> To: <[email protected]> Sent: Monday, December 17, 2007 3: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 =========================================================================
