Recomienda este artículo a tus amigos:
Enumerability * Decidability Computability: An Introduction to the Theory of Recursive Functions - Grundlehren der mathematischen Wissenschaften Softcover reprint of the original 2nd ed. 1969 edition
Hans Hermes
Enumerability * Decidability Computability: An Introduction to the Theory of Recursive Functions - Grundlehren der mathematischen Wissenschaften Softcover reprint of the original 2nd ed. 1969 edition
Hans Hermes
If we grant the legitimacy of the suggested precise replacements of the concept of algorithm and related concepts, then we can say that the mathematicians have shown by strictly mathematical methods that there exist mathematical problems which cannot be dealt with by the methods of calculating mathematics.
250 pages, biography
Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
Publicado | 29 de febrero de 2012 |
ISBN13 | 9783642461804 |
Editores | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 250 |
Dimensiones | 155 × 235 × 14 mm · 376 g |
Lengua | English |
Traductor | Herman, Gabor T. |
Traductor | Plassmann, O. |