[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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