Incompletetude Na Terra DOS Conjuntos » książka
Incompletetude Na Terra DOS Conjuntos
ISBN-13: 9781848901094 / Portugalski / Miękka / 2013 / 178 str.
Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da logica matematica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmetica conseguemse obter facilmente a partir destes e sao tambem apresentados. Evita-se, em geral, o recurso a enumeracao de Godel, exceto quando se estabelece uma relacao explicita entre a teoria de conjuntos e a aritmetica. Este livro nao pressupoe muitos conhecimentos previos por parte do leitor. Apenas se pede alguma maturidade matematica, alguma familiaridade com logica formal e que o leitor conheca o teorema da completude, embora nao necessariamente a sua prova. Tudo o resto sera desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Godel. Sao propostos ao longo de todo o livro exercicios variados."
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 sao também apresentados. Evita-se, em geral, o recurso a enumeraçao de Gödel, exceto quando se estabelece uma relaçao explícita entre a teoria de conjuntos e a aritmética. Este livro nao pressupoe 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 nao necessariamente a sua prova. Tudo o resto será desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Gödel. Sao propostos ao longo de todo o livro exercícios variados.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
