Livro Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel
The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
Ficha Técnica do Livro
Veja abaixo alguns detalhes e características deste livro. Aproveite para indicar ou não indicar a obra, ajudando assim toda a comunidade leitora.
| Autor(es) | |
| Editora | Greenwood Press |
| Idioma | Inglês |
| ISBN | 0313231516 9780313231513 |
| Formato | Capa dura |
| Páginas | 117 |
Versão em PDF
Quer salvar o resumo deste livro em PDF? Simples, clique no botão abaixo e salve o arquivo em seu computador. Lembrando que você pode distribuir este arquivo livremente sempre que quiser.
Salvar PDFNota ao autor: fique despreocupado pois somos totalmente contra a pirataria. Os resumos disponibilizados aqui ajudam o leitor a conhecer um pouco do seu livro e por fim incentivam a compra, te possibilitando um marketing gratuito e alavancando suas vendas. Caso queira entrar em contato conosco utilize o link no rodapé da página.
Opiniões sobre o livro
Clique no botão abaixo para saber o que as pessoas estão achando do livro Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel. Veja opiniões, e caso se sinta à vontade, deixe a sua também.