Caro João Marcos: Parece ser um livro bem interessante, daí fiquei interessado em adquiri-lo. O sítio da College Publications não diz como comprar, nem tal título consta na relação da Livraria Cultura, que é das maiores livrarias para compra de livros publicados em português. Att., Arthur Buchsbaum
Em 6 de junho de 2013 16:25, Joao Marcos <[email protected]> escreveu: > Incompletude na Terra dos Conjuntos > > Melvin Fitting, traduzido por Jaime Ramos > > Apresentam-se os teoremas fundamentais de incompletude e > indecidibilidade da lógica matemática no contexto da teoria de > conjuntos. Os resultados correspondentes para a aritmética > conseguem-se obter facilmente a partir destes e são também > apresentados. Evita-se, em geral, o recurso à enumeração de Gödel, > exceto quando se estabelece uma relação explícita entre a teoria de > conjuntos e a aritmética. Este livro não pressupõe muitos > conhecimentos prévios por parte do leitor. Apenas se pede alguma > maturidade matemática, alguma familiaridade com lógica formal e que o > leitor conheça o teorema da completude, embora não necessariamente a > sua prova. Tudo o resto será desenvolvido e demonstrado, do Teorema de > Tarski ao Segundo Teorema da Incompletude de Gödel. São propostos ao > longo de todo o livro exercícios variados. > > http://www.collegepublications.co.uk/clc/?00004 > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
