Un satellite de calcul lambda

Avis des lecteurs

Résumé:

L'ouvrage est généralement bien accueilli pour son contenu exhaustif et sa qualité, en particulier pour son introduction détaillée, ses galeries de photos et ses informations actualisées sur le calcul lambda. Cependant, il existe des inquiétudes concernant les éditions contrefaites qui présentent une mauvaise qualité d'impression.

Avantages:

⬤ Un contenu de grande qualité comprenant une introduction détaillée et du matériel mathématique
⬤ des résultats de pointe sur le lambda calcul
⬤ un manuscrit autonome
⬤ une bonne qualité d'impression et une livraison rapide pour les éditions authentiques.

Inconvénients:

Risque d'acheter des copies pirates avec une impression floue et une mauvaise qualité de papier ; les éditions originales sont chères.

(basé sur 3 avis de lecteurs)

Titre original :

A Lambda Calculus Satellite

Contenu du livre :

En 1936, la notion de calculabilité intuitive a été opérationnalisée de deux manières différentes : via les machines de Turing et via le lambda-calcul. La différence consistait à manipuler des perles (bits) pour la première approche et à manipuler des arbres (réécriture de lambda-termes) pour la seconde. Les deux propositions se sont avérées formaliser la même notion de calculabilité et ont conduit à la thèse Church-Turing, qui affirme que la calculabilité intuitive est capturée de la bonne manière.

Cette thèse est à l'origine de la programmation impérative et fonctionnelle. Des variantes du lambda-calcul sont utilisées dans un autre domaine d'application puissant, à savoir la vérification des preuves, la base de la certification des théorèmes mathématiques et donc des produits industriels de haute technologie. Ces deux domaines de recherche sont toujours activement étudiés et font du lambda-calcul un outil majeur dans les étapes actuelles de la science et de la révolution industrielle.

Dans ce livre, le lambda-calcul est considéré sous un autre angle : comme une étude de ces structures arborescentes, examinant la relation entre leur forme et leur action. Cela revient à étudier les nombres d'un point de vue qualitatif, plutôt que de les utiliser pour traiter quantitativement des objets et des phénomènes dans le monde.

Le livre de Barendregt "The Lambda Calculus, its Syntax and Semantics" (1981/84), traite le sujet du même point de vue méthodologique et inclut plusieurs conjectures ouvertes. Au cours des quatre décennies qui se sont écoulées, la plupart de ces conjectures - mais pas toutes - ont été résolues, parfois dans le cadre de thèses de doctorat ingénieuses. Ce "satellite" du livre susmentionné présente ces solutions dans un style uniforme et ajoute d'autres sujets d'intérêt.

Autres informations sur le livre :

• ISBN : 9781848904248
• Auteur : Henk Barendregt
• Éditeur : Kings College Pubn
• Langue : anglais
• Reliure : Relié
• Année de publication : 2023
• Nombre de pages : 602