259:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Apresentam-se os teoremas fundamentais de incompletude e indecidibilidade da lgica matemtica no contexto da teoria de conjuntos. Os resultados correspondentes para a aritmtica conseguemse obter facilmente a partir destes e so tambm apresentados. Evita-se, em geral, o recurso enumerao de Gdel, exceto quando se estabelece uma relao explcita entre a teoria de conjuntos e a aritmtica. Este livro no pressupe muitos conhecimentos prvios por parte do leitor. Apenas se pede alguma maturidade matemtica, alguma familiaridade com lgica formal e que o leitor conhea o teorema da completude, embora no necessariamente a sua prova. Tudo o resto ser desenvolvido e demonstrado, do Teorema de Tarski ao Segundo Teorema da Incompletude de Gdel. So propostos ao longo de todo o livro exerccios variados.
- Format: Pocket/Paperback
- ISBN: 9781848901094
- Språk: Engelska
- Antal sidor: 178
- Utgivningsdatum: 2013-05-06
- Översättare: Jaime Ramos
- Förlag: College Publications