Knihu momentálně nemáme skladem
Enumerability · Decidability Computability
An Introduction to the Theory of Recursive Functions
Autoři
Více o knize
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 vydání
- 2012
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Enumerability · Decidability Computability
- Podtitul
- An Introduction to the Theory of Recursive Functions
- Jazyk
- anglicky
- Autoři
- Hans Hermes
- Vydavatel
- Springer Berlin Heidelberg
- Rok vydání
- 2012
- Vazba
- měkká
- Počet stran
- 264
- ISBN13
- 9783642461804
- Kategorie
- Matematika
- Anotace
- 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.