Faites connaître cet article à vos amis:
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
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 29 février 2012 |
ISBN13 | 9783642461804 |
Éditeurs | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 250 |
Dimensions | 155 × 235 × 14 mm · 376 g |
Langue et grammaire | English |
Traducteur | Herman, Gabor T. |
Traducteur | Plassmann, O. |