Avis des lecteurs
Résumé:Ce livre est largement salué pour ses explications claires et accessibles de concepts complexes en informatique et en logique mathématique, notamment en ce qui concerne Alan Turing et ses contributions. De nombreux lecteurs apprécient son contexte historique et la profondeur des informations qu'il fournit, ce qui le rend précieux tant pour les passionnés que pour les professionnels de l'informatique. Toutefois, certaines critiques font état de lacunes, telles que le manque de détails dans certains domaines, des erreurs typographiques et le souhait d'obtenir davantage d'informations sur la vie de Turing et sur le contexte plus large de l'informatique.
Avantages:⬤ Explications claires et compréhensibles de sujets complexes en informatique et en logique mathématique.
⬤ Fournit un contexte historique précieux et présente aux lecteurs des personnages clés tels qu'Alan Turing et Charles Sanders Pierce.
⬤ Accessible au grand public, il convient aussi bien aux débutants qu'aux personnes ayant une certaine expérience dans le domaine.
⬤ Un style narratif engageant qui maintient l'intérêt des lecteurs.
⬤ Bonne bibliographie pour des lectures complémentaires.
⬤ Le chapitre sur le lambda calcul est considéré comme insuffisamment détaillé.
⬤ Certains contenus techniques peuvent être hors de portée du commun.
⬤ Le livre contient plusieurs erreurs typographiques.
⬤ Certains lecteurs souhaiteraient plus de détails sur la vie de Turing et le développement de la technologie informatique.
⬤ Certaines parties du livre peuvent sembler précipitées ou manquer de profondeur, en particulier vers la fin.
(basé sur 20 avis de lecteurs)
Titre original :
Turing's Vision: The Birth of Computer Science
Contenu du livre :
Une exploration accessible et fascinante de la façon dont la théorie mathématique d'Alan Turing a donné naissance à l'informatique moderne et à ses applications, de l'ordinateur de bureau au téléphone portable.
En 1936, alors qu'il n'avait que vingt-quatre ans, Alan Turing a rédigé un article remarquable dans lequel il exposait la théorie de l'informatique, énonçant les idées qui sous-tendent tous les ordinateurs modernes. Cette théorie révolutionnaire et puissante constitue aujourd'hui la base de l'informatique. Dans Turing's Vision, Chris Bernhardt explique la théorie, la contribution la plus importante de Turing, au grand public. Bernhardt affirme que la force de la théorie de Turing réside dans sa simplicité et que, expliquée de manière directe, elle est éminemment compréhensible par les non-spécialistes. Comme l'écrit Marvin Minsky, "la simplicité même des fondements de la théorie et le chemin extraordinairement court qui mène de ces fondements à ses conclusions logiques et surprenantes confèrent à la théorie une beauté mathématique qui, à elle seule, lui garantit une place permanente dans la théorie de l'informatique". Bernhardt commence par les fondements et construit systématiquement les conclusions surprenantes. Il replace également la théorie de Turing dans le contexte de l'histoire des mathématiques, d'autres conceptions de l'informatique (notamment celles d'Alonzo Church), des travaux ultérieurs de Turing et de la naissance de l'ordinateur moderne.
Dans l'article intitulé "On Computable Numbers, with an Application to the Entscheidungsproblem", Turing réfléchit attentivement à la manière dont les humains effectuent le calcul, en le décomposant en une séquence d'étapes, puis construit des machines théoriques capables d'effectuer chaque étape. Turing voulait montrer qu'il existait des problèmes qu'aucun ordinateur n'était capable de résoudre.
En particulier, il voulait trouver un problème de décision dont il pourrait prouver qu'il était indécidable. Pour expliquer les idées de Turing, Bernhardt examine trois problèmes de décision bien connus afin d'explorer le concept d'indécidabilité.
Étudie les machines à calculer théoriques, y compris les machines de Turing.
Explique les machines universelles.
et prouve que certains problèmes sont indécidables, notamment le problème de Turing concernant les nombres calculables.
Autres informations sur le livre :
| ISBN : | 9780262533515 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Broché |
| Année de publication : | 2017 |
| Nombre de pages : | 208 |
Achat:
Actuellement disponible, en stock.
