[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [obm-l] Re: [obm-l] Demonstrações
- To: obm-l@xxxxxxxxxxxxxx
- Subject: Re: [obm-l] Re: [obm-l] Demonstrações
- From: "arcguede@xxxxxxxxx" <arcguede@xxxxxxxxx>
- Date: Mon, 17 Dec 2007 03:16:10 -0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding; bh=O8J71/H1bAw081PybxQpw36Xjd3Z3SAcOTPef2tkbEE=; b=AL67XhYxl9k7Mkq8TCmN8TsUhpkByS0Tvygj43txicdyq1YknO21KxhRowtfN1ONqj+XyuDw/diqXhk4xU/YXL+GiebCV4NqJqcHuIhPFPMQfqYX3RYEJhGsEtUTf5QzwZG2aE+rJPBnPFWSLwxk36XZbsNJtKAFcr2NpBBlSR4=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type:content-transfer-encoding; b=Lilt7oGIQxygSywK/ZWTuBGWgk/bX9wRwC7VSodQhKWAqaS4zMbiOv75qVWNns7Ug73sOCi2Y55RHZr5EiwOcIULJ6AuZQGE9H/ESmXH196hM5sQF8oBx2RkbJihYBYcjkb4Iv2o3UNzYDlVxFS5Tj94Rro/76UhPxKm2cvxxL8=
- In-reply-to: <006601c84063$53609e40$02270269@rodrigo7a25356>
- References: <000c01c84050$09433560$01fea8c0@svs> <006601c84063$53609e40$02270269@rodrigo7a25356>
- Reply-to: obm-l@xxxxxxxxxxxxxx
- Sender: owner-obm-l@xxxxxxxxxxxxxx
- User-agent: Thunderbird 2.0.0.9 (Windows/20071031)
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
=========================================================================