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.