Kniha momentálne nie je na sklade
Enumerability · Decidability Computability
An Introduction to the Theory of Recursive Functions
Autori
Viac o knihe
The book explores the limitations of algorithms in mathematics, addressing whether certain problems are inherently unsolvable by algorithmic methods. It highlights significant findings from the past century, such as the undecidability of arithmetic and the unsolvability of the word problem in group theory, which many mathematicians regard as pivotal achievements. The discussion extends to the philosophical implications of these limitations, questioning the nature of mathematical creativity and the role of mathematics in shaping our understanding of the world. An introduction to algorithm theory is also provided.
Nákup knihy
Enumerability · Decidability Computability, Hans Hermes
- Jazyk
- Rok vydania
- 2012
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Enumerability · Decidability Computability
- Podtitul
- An Introduction to the Theory of Recursive Functions
- Jazyk
- anglicky
- Autori
- Hans Hermes
- Vydavateľ
- Springer Berlin Heidelberg
- Rok vydania
- 2012
- Väzba
- mäkká
- Počet strán
- 264
- ISBN13
- 9783642461804
- Kategórie
- Matematika
- Anotácia
- The book explores the limitations of algorithms in mathematics, addressing whether certain problems are inherently unsolvable by algorithmic methods. It highlights significant findings from the past century, such as the undecidability of arithmetic and the unsolvability of the word problem in group theory, which many mathematicians regard as pivotal achievements. The discussion extends to the philosophical implications of these limitations, questioning the nature of mathematical creativity and the role of mathematics in shaping our understanding of the world. An introduction to algorithm theory is also provided.