| Incompletetude Na Terra DOS Conjuntos Contributor(s): Fitting, Melvin (Author), Ramos, Jaime (Translator) |
|
 |
ISBN: 1848901097 ISBN-13: 9781848901094 Publisher: College Publications OUR PRICE: $18.53 Product Type: Paperback Language: Portuguese Published: May 2013 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Mathematics | Set Theory |
| Dewey: 511.322 |
| Physical Information: 0.38" H x 6.14" W x 9.21" (0.57 lbs) 178 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |