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 +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" <[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 >>2,1301,070102 >> >> >> >> >>>From: Daniel <[EMAIL PROTECTED]> >>>Reply-To: [EMAIL PROTECTED] >>>To: Lista OBM <[EMAIL PROTECTED]> >>>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/.