[obm-l] Re: [obm-l] Re: [obm-l] Demonstrações

[Sérgio Martins da Silva <sms.sergio@xxxxxxxxx>]

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: <arcguede@xxxxxxxxx>
To: <obm-l@xxxxxxxxxxxxxx>
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.
>
> rodrigocientista@xxxxxxxxxxxx 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"
> > <sms.sergio@xxxxxxxxx>
> > To: "Lista OBM" <obm-l@xxxxxxxxxxxxxx>
> > 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
=========================================================================