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.

Product details

• Authors: Melvin Fitting
• Publisher: College Publications
• Content: Book
• Product form: Paperback / Softback
• Publication date: 06.05.2013
• Subject: Natural sciences, medicine, IT, technology > Mathematics > Basic principles
• EAN: 9781848901094
• ISBN: 978-1-84890-109-4
• Pages: 178
• Dimensions (packing): 15.6 x 23.4 x 1 cm
• Weight (packing): 281 g