Incompletetude Na Terra Dos Conjuntos (Portuguese, Paperback)

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."

General

Imprint:	College Publications
Country of origin:	United Kingdom
Release date:	May 2013
First published:	May 2013
Authors:	Melvin Fitting
Translators:	Jaime Ramos
Dimensions:	234 x 156 x 9mm (L x W x T)
Format:	Paperback - Trade
Pages:	178
ISBN-13:	978-1-84890-109-4
Languages:	Portuguese
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN:	1-84890-109-7
Barcode:	9781848901094

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!