.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Enumerability * Decidability Computability
Hans Hermes
€ 66.66
FREE Delivery in Ireland
Description for Enumerability * Decidability Computability
Paperback. Translator(s): Herman, Gabor T.; Plassmann, O. Series: Grundlehren der Mathematischen Wissenschaften. Num Pages: 262 pages, biography. BIC Classification: PB. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 405.
Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algo rithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathe matics ... Read more
Once we have accepted a precise replacement of the concept of algo rithm, it becomes possible to attempt the problem whether there exist well-defined collections of problems which cannot be handled by algo rithms, and if that is the case, to give concrete cases of this kind. Many such investigations were carried out during the last few decades. The undecidability of arithmetic and other mathematical theories was shown, further the unsolvability of the word problem of group theory. Many mathematicians consider these results and the theory on which they are based to be the most characteristic achievements of mathe matics ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
262
Condition
New
Series
Grundlehren der Mathematischen Wissenschaften
Number of Pages
250
Place of Publication
Berlin, Germany
ISBN
9783642461804
SKU
V9783642461804
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Enumerability * Decidability Computability