Incompletetude Na Terra DOS Conjuntos - Couverture souple

Fitting, Melvin

 
9781848901094: Incompletetude Na Terra DOS Conjuntos
Couverture souple
ISBN 10 : 1848901097 ISBN 13 : 9781848901094
Editeur : College Publications, 2013

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
College Publications
Date d'édition
2013
Langue
portugais
ISBN 10 
1848901097
ISBN 13 
9781848901094
Reliure
Broché
Nombre de pages
178
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Allemagne