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
=========================================================================
