Re: Godel

["Rogerio Fajardo" <rogeriofajardo@xxxxxxxxxxx>]

Já foi citado um muito bom, aqui na lista. 
http://www.dmm.im.ufrj.br/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.