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
Add this copy of Incompletetude Na Terra DOS Conjuntos to cart. $16.75, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2013 by College Publications.
Add this copy of Incompletetude Na Terra DOS Conjuntos to cart. $24.37, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2013 by College Publications.
Add this copy of Incompletetude Na Terra Dos Conjuntos (Portuguese to cart. $54.39, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2013 by College Publications.
