Bewertung:
Das Buch wird für seinen umfangreichen Inhalt über Lambda-Kalkül gelobt, der eine solide Einführung, nützliche Fotogalerien und modernste Ergebnisse enthält, die die zukünftige Forschung inspirieren. Allerdings sind einige Benutzer auf Probleme mit der Druckqualität gestoßen, wobei ein Rezensent ein eindeutig raubkopiertes Exemplar erhalten hat.
Vorteile:⬤ Ausführliche Einführung
⬤ guter mathematischer Inhalt
⬤ in sich geschlossene Kapitel, die frühere Arbeiten zusammenfassen
⬤ modernste Ergebnisse zur Lambda-Berechnung
⬤ schneller Versand
⬤ gute Druckqualität (Originalexemplare).
Einige Exemplare sind von schlechter Druckqualität, insbesondere Raubkopien mit unscharfem Druck und minderwertigem Papier.
(basierend auf 3 Leserbewertungen)
A Lambda Calculus Satellite
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 seitdem vergangen sind, wurden die meisten - aber nicht alle - dieser Vermutungen gelöst, manchmal in ausgeklügelten Doktorarbeiten. Dieser Satellit" zum oben genannten Buch präsentiert diese Lösungen in einem einheitlichen Stil und fügt weitere interessante Themen hinzu.
| ISBN: | 9781848904156 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Taschenbuch |
Derzeit verfügbar, auf Lager.
