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" <[EMAIL PROTECTED]>
>Reply-To: [EMAIL PROTECTED]
>To: "Olympium" <[EMAIL PROTECTED]>,        Ciência-List 
><[EMAIL PROTECTED]>,        "OBMList" <[EMAIL PROTECTED]>
>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/
>[EMAIL PROTECTED]
>

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

Responder a