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 conseguemse 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 ...
Read More
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 conseguemse 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.
Read Less
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
PLEASE NOTE, WE DO NOT SHIP TO DENMARK. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Please note we cannot offer an expedited shipping service from the UK.
