Ocena:
Książka jest chwalona za obszerną zawartość dotyczącą rachunku lambda, zawierającą solidne wprowadzenie, przydatne galerie zdjęć i najnowocześniejsze wyniki, które inspirują przyszłe badania. Niektórzy użytkownicy napotkali jednak problemy z jakością druku, a jeden z recenzentów otrzymał wyraźnie piracką kopię.
Zalety:⬤ Obszerne wprowadzenie
⬤ dobra zawartość matematyczna
⬤ samodzielne rozdziały podsumowujące poprzednie prace
⬤ najnowsze wyniki dotyczące rachunku lambda
⬤ szybka wysyłka
⬤ dobra jakość druku (oryginalne egzemplarze).
Niektóre egzemplarze mają niską jakość druku, w szczególności pirackie wersje z rozmytym drukiem i niskiej jakości papierem.
(na podstawie 3 opinii czytelników)
A Lambda Calculus Satellite
W 1936 roku pojęcie intuicyjnej obliczalności zostało zoperacjonalizowane na dwa różne sposoby: za pomocą maszyn Turinga i za pomocą lambda-kalkulatora. Różnica polegała na manipulowaniu koralikami (bitami) w pierwszym podejściu i manipulowaniu drzewami (przepisywaniu lambda-terminów) w drugim. Obie propozycje okazały się formalizować to samo pojęcie obliczalności i doprowadziły do tezy Churcha-Turinga, twierdzącej, że intuicyjna obliczalność jest uchwycona we właściwy sposób.
Doprowadziło to do powstania programowania imperatywnego i funkcjonalnego. Warianty lambda-kalkulusa są wykorzystywane w innym potężnym obszarze zastosowań, a mianowicie w sprawdzaniu poprawności, będącym podstawą certyfikacji twierdzeń matematycznych, a tym samym zaawansowanych technologicznie produktów przemysłowych. Te dwa obszary badań są nadal aktywnie badane i sprawiają, że lambda-kalkulator jest ważnym narzędziem na obecnych etapach nauki i rewolucji przemysłowej.
W tej książce rachunek lambda jest rozpatrywany pod innym kątem: jako badanie tych drzewiastych struktur, badanie związku między ich kształtem a ich działaniem. To tak, jakby badać liczby jakościowo, a nie ich zastosowania, zajmując się ilościowo obiektami i zjawiskami w świecie.
Książka Barendregta The Lambda Calculus, its Syntax and Semantics (1981/84) traktuje temat z tego samego metodologicznego punktu widzenia i zawiera kilka otwartych przypuszczeń. W ciągu ponad czterech dekad, które minęły, większość - ale nie wszystkie - z tych przypuszczeń została rozwiązana, czasami w pomysłowych pracach doktorskich. Niniejszy Satelita" do wspomnianej książki przedstawia te rozwiązania w jednolitym stylu i dodaje inne interesujące tematy.
