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

Re: Godel - Errata



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.