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