Satelita rachunku lambda

Opinie czytelników

Książka jest ogólnie dobrze odbierana ze względu na jej wszechstronną zawartość i jakość, szczególnie zauważalną dzięki obszernemu wprowadzeniu, galeriom zdjęć i aktualnym informacjom na temat rachunku lambda. Istnieją jednak obawy dotyczące podrobionych wydań, które charakteryzują się niską jakością druku.

⬤ Świetna zawartość, w tym obszerne wprowadzenie i materiały matematyczne
⬤ najnowsze wyniki w rachunku lambda
⬤ samodzielny manuskrypt
⬤ dobra jakość druku i szybka wysyłka w przypadku oryginalnych wydań.

Ryzyko zakupu pirackich kopii z rozmytym drukiem i niską jakością papieru; oryginalne wydania są drogie.

(na podstawie 3 opinii czytelników)

Oryginalny tytuł:

A Lambda Calculus Satellite

Zawartość książki:

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.