Leserbewertungen
Zusammenfassung:Das Buch wird allgemein für seinen umfassenden Inhalt und seine Qualität gelobt, insbesondere für die ausführliche Einführung, die Fotogalerien und die aktuellen Informationen zur Lambda-Berechnung. Allerdings gibt es Bedenken wegen gefälschter Ausgaben, die eine schlechte Druckqualität aufweisen.
Vorteile:⬤ Großartiger Inhalt mit umfangreicher Einführung und mathematischem Material
⬤ aktuelle Ergebnisse der Lambda-Rechnung
⬤ in sich geschlossenes Manuskript
⬤ gute Druckqualität und schneller Versand bei Originalausgaben.
Risiko des Erwerbs von Raubkopien mit unscharfem Druck und schlechter Papierqualität; Originalausgaben sind teuer.
(basierend auf 3 Leserbewertungen)
Originaltitel:
A Lambda Calculus Satellite
Inhalt des Buches:
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert: über Turing-Maschinen und über Lambda-Kalküle. Der Unterschied bestand in der Manipulation von Perlen (Bits) für den ersten Ansatz gegenüber der Manipulation von Bäumen (Umschreiben von Lambda-Termen) für den zweiten. Es stellte sich heraus, dass beide Vorschläge denselben Begriff der Berechenbarkeit formalisieren, und führte zur Church-Turing-These, die besagt, dass intuitive Berechenbarkeit auf die richtige Weise erfasst wird.
Dies bildete die Grundlage für die imperative und funktionale Programmierung. Varianten des Lambda-Kalküls werden in einem anderen leistungsstarken Anwendungsbereich eingesetzt, nämlich bei der Überprüfung von Beweisen, der Grundlage für die Zertifizierung mathematischer Theoreme und damit von High-Tech-Industrieprodukten. Diese beiden Forschungsbereiche werden immer noch aktiv erforscht und machen das Lambda-Kalkül zu einem wichtigen Werkzeug in den gegenwärtigen Phasen der Wissenschaft und der industriellen Revolution.
In diesem Buch wird das Lambda-Kalkül aus einem anderen Blickwinkel betrachtet: als eine Studie dieser baumartigen Strukturen, die die Beziehung zwischen ihrer Form und ihrer Wirkung untersucht. Das ist wie ein qualitatives Studium der Zahlen und nicht wie ein quantitatives Studium ihrer Anwendungen auf Objekte und Phänomene in der Welt.
Barendregts Buch "The Lambda Calculus, its Syntax and Semantics" (1981/84) behandelt das Thema unter demselben methodischen Gesichtspunkt und enthält mehrere offene Vermutungen. In den mehr als vier Jahrzehnten, die seither vergangen sind, wurden die meisten - aber nicht alle - dieser Vermutungen gelöst, manchmal in ausgeklügelten Dissertationen. Dieser "Satellit" zum vorgenannten Buch präsentiert diese Lösungen in einem einheitlichen Stil und fügt weitere interessante Themen hinzu.
Weitere Daten des Buches:
| ISBN: | 9781848904248 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 2023 |
| Seitenzahl: | 602 |
Kauf:
Derzeit verfügbar, auf Lager.
