Recomienda este artículo a tus amigos:
Recursion Theory for Metamathematics - Oxford Logic Guides Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)
Recursion Theory for Metamathematics - Oxford Logic Guides
Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University)
In 1931, Princeton mathematician Kurt Godel startled the scientific world with his 'Theorem of Undecidability', which showed that some statements in mathematics are inherently 'undecidable'. This volume of the 'Oxford Logic Guides' is a sequel to Smullyan's Godel's 'Incompleteness Theorems' (Oxford Logic Guides No. 19, 1992).
178 pages, bibliography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 15 de julio de 1993 |
| ISBN13 | 9780195082326 |
| Editores | Oxford University Press Inc |
| Páginas | 184 |
| Dimensiones | 242 × 163 × 17 mm · 422 g |
| Lengua | Inglés |