Hodnotenie:
Kniha je všeobecne dobre prijímaná pre svoj komplexný obsah a kvalitu, najmä pre rozsiahly úvod, fotogalérie a aktuálne informácie o lambda počte. Existujú však obavy z falšovaných vydaní, ktoré sa vyznačujú nízkou kvalitou tlače.
Výhody:⬤ Veľký obsah vrátane rozsiahleho úvodu a matematického materiálu
⬤ najnovšie výsledky v lambda kalkulu
⬤ samostatný rukopis
⬤ dobrá kvalita tlače a rýchle dodanie originálnych vydaní.
Riziko nákupu pirátskych kópií s rozmazanou tlačou a nízkou kvalitou papiera; originálne vydania sú drahé.
(na základe 3 čitateľských recenzií)
A Lambda Calculus Satellite
V roku 1936 bol pojem intuitívnej vypočítateľnosti operacionalizovaný dvoma rôznymi spôsobmi: prostredníctvom Turingových strojov a lambda-kalkulu. Rozdiel spočíval v manipulácii s guľôčkami (bitmi) v prípade prvého prístupu oproti manipulácii so stromami (prepisovanie lambda-formúl) v prípade druhého prístupu. Ukázalo sa, že oba návrhy formalizujú rovnaký pojem vypočítateľnosti a viedli k Churchovej-Turingovej téze, ktorá tvrdí, že intuitívna vypočítateľnosť je zachytená správnym spôsobom.
To viedlo k založeniu imperatívneho a funkcionálneho programovania. Varianty lambda-kalkulu sa používajú v ďalšej mohutnej oblasti aplikácií, a to v oblasti overovania dôkazov, ktorá je základom certifikácie matematických tvrdení, a tým aj špičkových priemyselných výrobkov. Tieto dve oblasti výskumu sa stále aktívne skúmajú a robia z lambda-kalkulu významný nástroj v súčasných etapách vedy a priemyselnej revolúcie.
V tejto knihe sa na lambda-kalkul uvažuje z iného uhla pohľadu: ako na štúdium týchto stromových štruktúr, pričom sa skúma vzťah medzi ich tvarom a ich pôsobením. Je to ako skúmanie čísel kvalitatívne, a nie pre ich aplikácie zaoberajúce sa kvantitatívne predmetmi a javmi vo svete.
Barendregtova kniha "The Lambda Calculus, its Syntax and Semantics" (1981/84) sa zaoberá touto témou z rovnakého metodologického hľadiska a obsahuje niekoľko otvorených domnienok. Za viac ako štyri desaťročia, ktoré uplynuli, bola väčšina - ale nie všetky - z týchto domnienok vyriešená, niekedy v dômyselných doktorandských prácach. Tento "satelit" k uvedenej knihe predstavuje tieto riešenia v jednotnom štýle a pridáva ďalšie zaujímavé témy.
