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 [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: Re: Livro sobre Godel
Date: Wed, 09 Jan 2002 16:20:03 +
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 [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
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
