Re: Livro sobre Godel

["Paulo Santa Rita" <p_ssr@xxxxxxxxxxx>]

Oi Rogerio e demais colegas,

O pouco que sei sobre Logica-Matematica aprendi estudando por esta Antologia 
compilada pelo Prof Manuel Lourenco. Mas estou determinado a aprofundar meus 
conhecimentos neste ramo. Eu tive a sorte de encontrar este Tesouro num Sebo 
( Comercio de Livros Usados ), ha cerca de dois anos atras. Mas ja o vi a 
venda na livraria Interciencia.

E bom frisar que trata-se de uma antologia ... Nao e um livro escrito pelo 
Prof Manuel Lourenco : É uma colecao de Livros, Artigos e trabalhos 
publicados por Godel, Paul Cohen, Tarski, Salomom Feffermann e outros 
expoentes da Logica-Matematica. Mas sempre se aprende muito mais estudando 
as obras originais dos autores das descobertas que estudando por terceiros 
que procuram popularizar o conhecimento. Ha sempre uma distorcao, por 
pequena que seja, neste ultimo caso.

A antologia e um "Tijolaco" com cerca de 20 cm de espessura, boa capa e 
editado em folhas de otimo material. Ou seja : o livro deve ser caro pra 
caramba !

A unica contribuicao do Prof Manoel Lourenco inicia a Antologia. E uma 
exposicao excelente da teoria dos conjuntos, com mais detalhes, 
demonstracoes e minucias que a obra sobre o mesmo tema do Prof Paul Halmos ( 
Teoria Ingenua dos Conjuntos ). Esta exposicao e seguida por um curso de 
Logica-Matematica dado por Paul Cohen, em Harvard no ano de 1965, para 
matematicos nao-especialistas em logica-matematica. A partir daqui voce 
passa a ter condicoes de entender e acompanhar os trabalhos de Godel, 
Tarski, Church e outros.

Por que voce nao liga para a fundacao Calouste Gulbekian, que editou a 
antologia, e usa o servico de reembolso ? Existe tambem um portal desta 
fundacao na Internet. Aqui  no Rio a Livraria "Leonardo da Vinci", entre 
outras, intermedia importacao ...

Um Grande abraco pra Voce
Paulo Santa Rita
4,1546,090102




>From: "Rogerio Fajardo" <rogeriofajardo@hotmail.com>
>Reply-To: obm-l@mat.puc-rio.br
>To: obm-l@mat.puc-rio.br
>Subject: Re: Livro sobre Godel
>Date: Wed, 09 Jan 2002 16:20:03 +0000
>
>Olá, Paulo e demais colegas,
>
>   Me interessei demais por esse livro, e gostaria de saber onde encontro
>esse livro. Vende em livrarias normais, como a Cultura? Se alguém tiver
>notícias de onde encontro esse livro, favor me informar. Mas tem um
>problema: moro em São Paulo, e, pelo que percebi, a maioria de vocês são do
>Rio. Também não costumo fazer compras via internet. Mas qualquer informação
>eu agradeço.
>
>Obrigado,
>  Rogério
>
>
>>From: "Paulo Santa Rita" <p_ssr@hotmail.com>
>>Reply-To: obm-l@mat.puc-rio.br
>>To: obm-l@mat.puc-rio.br
>>Subject: Re: Livro sobre Godel
>>Date: Mon, 07 Jan 2002 15:02:53
>>
>>Ola Daniel e demais
>>colegas desta,
>>
>>Existem muitos livros sobre o Teorema de Godel. Com "Semelhantes ao Ultimo
>>Teorema de Fermat" talvez voce queira dizer um livro que nao exija
>>conhecimento previo sobre o assunto. Eu acho que e impossivel entender o
>>Teorema de Godel sem algum conhecimento previo sobre fundamentos da
>>Matematica e logica, desde que voce queira realmente entender a coisas e
>>nao
>>somente saber o que falam sobre ela ...
>>
>>O livro :
>>
>>O Teorema de Godel e a hipotese do continuo
>>Fundacao Calouste Gulbenkian
>>Prof Manuel Lourenco
>>
>>E uma antologia sensacional ... Tem traducao para o Portugues e nela voce
>>vai entender o Teorema de Godel como realmente e, demonstrado de mais de
>>uma
>>maneira e discutido em seus aspectos matematicos e filosoficos pelo 
>>proprio
>>Godel.
>>
>>TODOS OS PRE-REQUISITOS PARA ENTENDER A DEMONSTRACAO DE GODEL ESTAO NO
>>PROPRIO LIVRO, atraves de :
>>
>>1) Exposicao pelo Prof Manuel Lourenco de uma das formalizacoes da teoria
>>dos conjuntos ( Nao a de Zermelo-Frankel, mas a de Von Newmann-Bernays )
>>
>>2)Introducao a logica-matematica por Paul Cohen, curso ministrado na
>>Universidade de harvard em 1965.
>>OBS : Paul Cohem diz explicitamente que o curso e para os matematicos nao
>>especialistas em logica-matematica adquirirem a base para o entendimento
>>desta area
>>
>>Na antologia voce tambem vera as provas sobre a independencia da hipotese
>>do
>>continuo e muitos outros resultados fundamentais sobre essa area. O livro
>>termina com um estudo sobre as implicacoes filosoficas que o teorema de
>>godel tem.
>>
>>ABRE PARENTESES
>>
>>OBS : Foi o proprio Paul Cohen, acima mencionado, que provou a
>>independencia
>>da hipotese do continuo ... Dizer que a hipotese e independente significa
>>dizer que tanto a sua afirmacao ( Godel ) quanto a sua negacao ( Cohen )
>>podem ser colocada ao lado dos demais axiomas da teoria dos conjuntos que
>>nao havera inconsistencia subsequente, isto e, ela e uma afirmacao
>>INDEPENDENTE : nao guarda relacao com os demais axiomas !
>>
>>Este estado de coisas, evidentemente, nao e satisfatorio e aguarda que
>>alg8m
>>de nos forneca um esclarecimento consistente.
>>
>>FECHA PARENTESES
>>
>>Enfim, esta antologia e um tesouro de valor incalculavel e serve para que
>>possamos realmente entender as coisas e falar e discutir sobre elas sem 
>>nos
>>fiarmos em textos meramente de divulgacao, que nao raro costumam explorar
>>aspectos fantasiosos ...
>>
>>Um Grande abraco pra voce
>>Paulo Santa Rita
>>2,1301,070102
>>
>>
>>
>>
>>>From: Daniel <danielcosta@directnet.com.br>
>>>Reply-To: obm-l@mat.puc-rio.br
>>>To: Lista OBM <obm-l@sucuri.mat.puc-rio.br>
>>>Subject: Livro sobre Godel
>>>Date: Fri, 04 Jan 2002 23:49:37 -0300
>>>
>>>             Olá a todos, ocorreram alguns problemas no meu e-mail e 
>>>perdi
>>>algumas das discussões.
>>>             Poderiam me dizer se existe algum livro sobre o Teorema de
>>>Godel, à venda, no estilo daquele "O último teorema de Fermat"?
>>>
>>>Obrigado
>>>                             Daniel
>>
>>
>>
>>
>>_________________________________________________________________
>>Converse com amigos on-line, experimente o MSN Messenger:
>>http://messenger.msn.com.br
>>
>
>
>_________________________________________________________________
>Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.
>




_________________________________________________________________
Chegou o novo MSN Explorer. Instale já. É gratuito: 
http://explorer.msn.com.br/.