Avis des lecteurs
Résumé:L'ouvrage de Martin Davis intitulé « Computability and Unsolvability » traite de manière formelle et rigoureuse de la théorie de la calculabilité et de ses implications en mathématiques et en informatique. Bien qu'il ait été apprécié pour sa profondeur et son exhaustivité, de nombreux lecteurs ont noté sa notation difficile et son manque d'exemples concrets, ce qui le rend moins accessible à ceux qui n'ont pas une solide formation mathématique.
Avantages:⬤ Traitement complet et rigoureux de la calculabilité et de la théorie des fonctions récursives.
⬤ Structure bien organisée ; les théorèmes s'interconnectent efficacement.
⬤ Un contenu précieux sur des questions profondes concernant la calculabilité et le dixième problème de Hilbert.
⬤ Réédition abordable de Dover.
⬤ Style très formel qui peut s'avérer difficile pour les lecteurs qui n'ont pas une bonne connaissance des mathématiques.
⬤ Manque d'exemples concrets pour illustrer les concepts.
⬤ Les preuves peuvent sembler fastidieuses et peuvent sauter des étapes nécessaires à la compréhension.
⬤ Certaines sections sont critiquées pour leur sécheresse ou leur manque de vie.
(basé sur 12 avis de lecteurs)
Titre original :
Computability and Unsolvability
Contenu du livre :
Dans ce texte classique, le Dr Davis propose une introduction claire à la calculabilité, à un niveau de premier cycle avancé, qui répond aux besoins des spécialistes et des non-spécialistes.
Dans la première partie (chapitres 1 à 5), le professeur Davis expose la théorie générale de la calculabilité, en abordant des sujets tels que les fonctions calculables, les opérations sur les fonctions calculables, les fonctions récursives, les machines de Turing, les problèmes de décision auto-appliqués et insolubles. L'auteur a pris soin, en particulier dans les sept premiers chapitres, de ne supposer aucune formation mathématique particulière de la part du lecteur.
La deuxième partie (chapitres 6 à 8) traite de manière concise des applications de la théorie générale, en incorporant des éléments sur les problèmes combinatoires, les équations diophantiennes (y compris le dixième problème de Hilbert) et la logique mathématique. Les trois derniers chapitres (Partie 3) présentent un développement plus poussé de la théorie générale, englobant la hiérarchie de Kleene, les fonctionnelles calculables et la classification des problèmes de décision insolubles.
Lorsqu'il a été publié pour la première fois en 1958, cet ouvrage a introduit une grande partie de la terminologie qui s'est depuis lors imposée dans l'informatique théorique. En effet, la stature de ce livre est telle que de nombreux informaticiens le considèrent comme leur introduction théorique au sujet. Cette nouvelle édition de Dover rend ce texte pionnier et largement admiré disponible dans un format peu coûteux.
Pour l'édition de Dover, M. Davis a ajouté une nouvelle préface et un appendice, Hilbert's Tenth Problem Is Unsolvable, un article important qu'il a publié dans The American Mathematical Monthly en 1973 et qui a été récompensé par l'American Mathematical Society et l'Association mathématique d'Amérique. Ces ajouts augmentent encore la valeur et l'utilité d'un exposé exceptionnellement clair et stimulant (Centre National de la Recherche Scientifique, Paris) qui est maintenant disponible pour la première fois en livre de poche.
Autres informations sur le livre :
| ISBN : | 9780486614717 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 1983 |
| Nombre de pages : | 288 |
Achat:
Actuellement disponible, en stock.
