Re: Godel - Errata

["Rogerio Fajardo" <rogeriofajardo@xxxxxxxxxxx>]

Desculpem. A p�gina que mandei estava errada. A� vem a corre��o.


>From: "Rogerio Fajardo" <rogeriofajardo@hotmail.com>
>Reply-To: obm-l@mat.puc-rio.br
>To: obm-l@mat.puc-rio.br
>Subject: Re: Godel
>Date: Thu, 01 Feb 2001 13:40:53 -0000
>
>J� foi citado um muito bom, aqui na lista. 
>http://www.dmm.im.ufrj.br/projeto/diversos/godel.htm
>� um bom come�o. Apesar de ser um pouco informal, � �timo para dar a id�ia 
>geral do teorema. Depois vc procura algum material com a demonstra��o mais 
>formal. Para isso, n�o conhe�o nenhum site, mas vc pode ler o livro 
>"Godel's Proof" ou o teorema original de Godel: "On formally undecidable 
>propositions of Principia Mathematica and related systems", da editora 
>Dover. Esse �ltimo � muito t�cnico, mas tem uma introdu��o que ajuda 
>bastante a compreens�o do teorema.
>
>Rog�rio
>
>
>>From: "Bruno Woltzenlogel Paleo" <bwp@terra.com.br>
>>Reply-To: obm-l@mat.puc-rio.br
>>To: "Olympium" <olympium-olympia@yahoogroups.com>,        Ci�ncia-List 
>><ciencialist@yahoogroups.com>,        "OBMList" <obm-l@mat.puc-rio.br>
>>Subject: Godel
>>Date: Thu, 1 Feb 2001 08:55:57 -0200
>>
>>Alguem conhece algum bom site sobre o teorema de Godel?
>>
>>at� mais...
>>
>><Bruno Woltzenlogel Paleo>
>>http://br.geocities.com/dopelganger5/
>>bwp@terra.com.br
>>
>
>_________________________________________________________________________
>Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.
>

_________________________________________________________________________
Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com.