Hodnotenie:
Kniha je chválená pre svoj rozsiahly obsah o lambda počte, ktorý obsahuje solídny úvod, užitočné fotogalérie a najnovšie výsledky, ktoré inšpirujú budúci výskum. Niektorí používatelia sa však stretli s problémami s kvalitou tlače, pričom jeden recenzent dostal zjavne pirátsky výtlačok.
Výhody:⬤ Rozsiahly úvod
⬤ dobrý matematický obsah
⬤ samostatné kapitoly sumarizujúce predchádzajúcu prácu
⬤ najnovšie výsledky o lambda kalkulu
⬤ rýchle dodanie
⬤ dobrá kvalita tlače (originálne výtlačky).
Niektoré kópie majú zlú kvalitu tlače, konkrétne pirátske verzie s rozmazanou tlačou a nekvalitným papierom.
(na základe 3 čitateľských recenzií)
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.
