Incompletetude Na Terra Dos Conjuntos

Incompletetude Na Terra Dos Conjuntos

4.25 (4 ratings by Goodreads)
By (author)  , Translated by 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days
When will my order arrive?

Description

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.
show more

Product details

  • Paperback | 178 pages
  • 156 x 234 x 9mm | 259g
  • London, United Kingdom
  • Portuguese
  • black & white illustrations
  • 1848901097
  • 9781848901094
  • 2,900,683

Rating details

4 ratings
4.25 out of 5 stars
5 50% (2)
4 25% (1)
3 25% (1)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X