Recomienda este artículo a tus amigos:
Incompletetude Na Terra Dos Conjuntos Melvin Fitting Portuguese edition
Incompletetude Na Terra Dos Conjuntos
Melvin Fitting
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.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 6 de mayo de 2013 |
| ISBN13 | 9781848901094 |
| Editores | College Publications |
| Páginas | 178 |
| Dimensiones | 154 × 10 × 230 mm · 258 g |
| Lengua | Portugués |
| Colaborador | Jaime Ramos |
Mas por Melvin Fitting
Mostrar todoMere med samme udgiver
Ver todo de Melvin Fitting ( Ej. Paperback Book y Hardcover Book )