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

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

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

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================