Re: Godel

["Davidson Estanislau" <davidson@xxxxxxxxxxxx>]

   Tentei acessar o endereço que você indicou
(http://www.dmm.im.ufrj.br/diversos/godel.htm) mas deu problemas... esse
endereço está correto?

  Davidson


-----Mensagem original-----
De: Rogerio Fajardo <rogeriofajardo@hotmail.com>
Para: obm-l@mat.puc-rio.br <obm-l@mat.puc-rio.br>
Data: Quinta-feira, 1 de Fevereiro de 2001 13:13
Assunto: Re: Godel


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.