Bookbot

Enumerability · Decidability Computability

An Introduction to the Theory of Recursive Functions

Paramètres

Pages
264pages
Temps de lecture
10heures

En savoir plus sur le livre

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.

Achat du livre

Enumerability · Decidability Computability, Hans Hermes

Langue
Année de publication
2012
product-detail.submit-box.info.binding
(souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer