Incompletetude Na Terra DOS Conjuntos

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.

Author: Melvin Fitting

Publisher: College Publications

Publication Date: May 06, 2013

Number of Pages: 178 pages

Binding: Paperback or Softback

ISBN-10: 1848901097

ISBN-13: 9781848901094