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: [email protected] [mailto:[email protected]] Em nome de Carlos Nehab Enviada em: domingo, 2 de fevereiro de 2014 07:24 Para: [email protected] 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 <[email protected]> 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 <[email protected]>: 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�rus e acredita-se estar livre de perigo.
