Items related to Incompletetude Na Terra Dos Conjuntos

Incompletetude Na Terra Dos Conjuntos - Softcover

Fitting, Melvin

 
9781848901094: Incompletetude Na Terra Dos Conjuntos
Softcover
ISBN 10: 1848901097 ISBN 13: 9781848901094
Publisher: 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.

"synopsis" may belong to another edition of this title.

About the Author

Fitting, Lehman College and Graduate Center, City University of New York, USA.

"About this title" may belong to another edition of this title.

Publisher
College Publications
Publication date
2013
Language
Portuguese
ISBN 10 
1848901097
ISBN 13 
9781848901094
Binding
Paperback
Number of pages
178