Avis des lecteurs
Résumé:Ce livre aborde de manière accessible le sujet complexe des combinateurs, organisé en parties distinctes avec un mélange d'analyse, d'histoire et d'idées personnelles de l'auteur. Il comporte des illustrations de haute qualité et est bien structuré, ce qui en facilite la lecture par rapport à d'autres ouvrages dans ce domaine. Cependant, il peut ne pas servir d'introduction adéquate pour ceux qui ne sont pas familiers avec les combinateurs.
Avantages:⬤ Accessible et bien structuré
⬤ Impression et illustrations de haute qualité
⬤ Contexte historique intéressant
⬤ Lisible
⬤ Présente des idées personnelles de l'auteur.
⬤ Une certaine autopromotion de la part de l'auteur
⬤ peut être un défi pour les lecteurs qui n'ont pas de connaissances préalables sur les combinateurs
⬤ pourrait être décevant pour ceux qui s'attendent à une introduction complète.
(basé sur 6 avis de lecteurs)
Titre original :
Combinators: A Centennial View
Contenu du livre :
Les combinateurs ont inspiré des idées sur l'informatique depuis leur première invention en 1920. Dans ce livre novateur, Stephen Wolfram propose une vision moderne des combinateurs et de leur importance. S'appuyant sur ses travaux sur l'univers informatique des programmes possibles et sur la conception de langages informatiques, Wolfram explique les idées nouvelles et existantes sur les combinateurs avec une clarté unique et des visualisations époustouflantes, et donne un aperçu de leurs liens historiques et de l'histoire curieuse de Moses Schönfinkel, l'inventeur des combinateurs. Bien qu'inventés bien avant les machines de Turing, les combinateurs ont souvent été considérés comme une approche abstraite et inaccessible de l'informatique. Ce livre les fait revivre comme jamais auparavant dans un exposé stimulant et largement accessible qui intéressera l'ensemble des mathématiques et de l'informatique, ainsi que ceux qui s'intéressent aux fondements de la pensée formelle et informatique et à l'histoire des idées.
Table des matières
Préface
Combinateurs : Une vue centenaire :
L'abstraction symbolique ultime - Le calcul avec les combinateurs - Cent ans plus tard... - Les combinateurs dans la nature : un peu de zoologie - Visualisation des combinateurs - Schémas de mise à jour et systèmes à voies multiples - La question de l'ordre d'évaluation - Le monde du combinateur S - Graphes causaux et physicalisation des combinateurs - Expressions des combinateurs comme systèmes dynamiques - Égalité et résolution de théorèmes pour les combinateurs - Lemmas et structure de l'espace des combinateurs - Théorie du calcul empirique avec les combinateurs - L'avenir des combinateurs - Notes historiques et autres
Les combinateurs et l'histoire du calcul
La représentation abstraite des choses - De quoi sont faites les mathématiques et la logique ? - Les combinateurs arrivent - Quelles sont leurs mathématiques ? - Le théorème de Gödel et la calculabilité - Le calcul lambda - Le calcul pratique - Les combinateurs dans la culture - La conception d'un langage symbolique - Les combinateurs dans l'univers du calcul - Les combinateurs jusqu'au bout ?
D'où viennent les combinateurs ? Chasser l'histoire de Moses Schönfinkel
7 décembre 1920 - Qui était Moses Schönfinkel ? - Le début de l'histoire - L'université d'Odessa - Göttingen, centre de l'univers mathématique - Des problèmes se posent - L'article de 1924 - L'article de « 1927 » - Moscou et au-delà... - Autres Schönfinkels... - Haskell Curry - Schönfinkel redécouvert - Que faire de Schönfinkel ?
On se rapproche un peu plus de ce qu'est devenu Moses Schönfinkel, l'inventeur des combinateurs
1920, 2020 et un prix de 20 000 dollars : Annonce du défi S Combinator Caché à la vue de tous depuis un siècle ? - La configuration de base - Le fonctionnement du S Combinator Challenge
Extraits de A New Kind of Science (2002)
Bibliographie des combinateurs Documents fondamentaux - Livres - Enquêtes et résumés - Les combinateurs en tant qu'expressions symboliques - Les combinateurs en tant que constructions mathématiques - Le calcul des combinateurs - Extensions et applications - Questions déroutantes
Index
Autres informations sur le livre :
| ISBN : | 9781579550431 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
Achat:
Actuellement disponible, en stock.
