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

Re: Godel



O endereço eh:
http://www.dmm.im.ufrj.br/projeto/diversos/transf1.html
Acabei de entrar e estah tudo bem.
[]s JOSIMAR


-----Mensagem original-----
De: Davidson Estanislau <davidson@cemag.com.br>
Para: rogeriofajardo@hotmail.com <rogeriofajardo@hotmail.com>
Cc: obm <obm-l@mat.puc-rio.br>
Data: Quinta-feira, 1 de Fevereiro de 2001 14:31
Assunto: Re: Godel


>   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.
>
>
>
>
>