Pessoal, Jé enviei duas vezes a análise para a lista, e os emails não chegaram(não estão nos arquivos da lista).
Prezado Carlos, dada a dificuldade, enviei diretamente para seu email pessoal. Vc poderia confirmar o recebimento ? Desde já, agradeço. Abs Felipe Em Segunda-feira, 3 de Fevereiro de 2014 11:03, Albert Bouskela <bousk...@ymail.com> escreveu: Olá a todos! Bem, vou sugerir dois livros sobre o assunto (o primeiro é mais do que clássico ‒ é a bíblia do tema!): 1) O Teorema de Gödel e a Hipótese do Contínuo ‒ Antologia organizada, prefaciada e traduzida por Manuel Lourenço | Fundação Calouste Gulbenkian, Lisboa, Fevereiro de 1979 É um calhamaço de 1000 páginas, muito raro (eu tenho um exemplar!), mais do que árido, mas plenamente exaustivo, pelo menos até a data da sua publicação. É uma leitura só para os “iniciados”! 2) Incompletude (A prova e o paradoxo de Kurt Gödel) ‒ Rebecca Goldstein | Companhia das Letras, 2008. Este é bem digerível (250 páginas) e é um bom começo. ________________________________ Albert Bouskelá De:owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br] Em nome de Carlos Nehab Enviada em: domingo, 2 de fevereiro de 2014 07:24 Para: obm-l@mat.puc-rio.br Assunto: Re: [obm-l] Teorema da Incompletude de Godel Oi, Luiz Mande sua análise. Você é da patota da Ciência da Computação, Matemática ou Filosofia? Abs Nehab On 01/02/2014 23:46, luiz silva wrote: É que eu estou querendo saber se tenho como formalizar uma análise que fiz. > >Abs >Felipe > >Em Sábado, 1 de Fevereiro de 2014 23:21, Francisco Barreto ><costadutrabarr...@gmail.com> escreveu: >Não sou especialista, perdoe-me. Meu nome é Francisco Costa Barreto e este >assunto me interessa. Estou acompanhando, quem sabe não torno-me útil em >alguns dias para ajudá-lo neste aspecto, em tempo. >Eu costumo dizer incompleteza, mas podem me acusar de ser um "Stickler" neste >caso. >=) >Abraços, >Francisco. > >2014-02-01 luiz silva <luizfelipec...@yahoo.com.br>: >Pessoal, >> >>Alguem aqui é especialista em logica-matematica, e conhece bem o teorema de >>godel? >> >>Abs >>Felipe >> >>-- >>Esta mensagem foi verificada pelo sistema de antivírus e >>acredita-se estar livre de perigo. -- Esta mensagem foi verificada pelo sistema de antiv�us e acredita-se estar livre de perigo. -- Esta mensagem foi verificada pelo sistema de antiv�rus e acredita-se estar livre de perigo.