Re: Livro sobre Godel
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
Re: Livro sobre Godel
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.
Re: Livro sobre Godel
Onde encontro tal livro???Ele é português --- Paulo Santa Rita <[EMAIL PROTECTED]> escreveu: > 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 > ___ Yahoo! GeoCities Tenha seu lugar na Web. Construa hoje mesmo sua home page no Yahoo! GeoCities. É fácil e grátis! http://br.geocities.yahoo.com/
Re: Livro sobre Godel
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
Re: Livro sobre Godel
Dizem que o livro "Godel's proof" de Nagel e Newman (acho que tem tradução) é muito bom. Também tem um livro de Raymond Smullyan (não me lembro bem o nome, mas acho que é "Godel's incompleteness theorem" ou algo parecido). Nunca li esse livro nem ouvi nenhum comentrário sobre ele, mas o autor é um lógico muito bom e escreve bastante livros de divulgação (como, por exemplo, "Os enigmas de Sherazade" e "Alice no país dos enigmas"), e livros mais avançados, como "First-Order Logic" (que eu estudei no começo da minha iniciação científica e é excelente). Pelo autor, acredito que o livro dele sobre o teorema de godel deve ser bom, mas acho que o "Godel's proof" é mais o que vc quer. Talvez seja bom, depois de ler um dos livros acima, que são mais acessíveis, dar uma olhada no original de Godel: "On formally undecidable propositions of Principia Mathematica and Related Systems", da editora Dover (é baratinho, perto da maioria dos livros por aí), que tem muita coisa interessante (o livro é fino, de 72 páginas sendo que metade é um prefácio para ajudá-lo a entender o livro). Rogério >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 _ Send and receive Hotmail on your mobile device: http://mobile.msn.com