Satelit Lambda Calculus

Recenze čtenářů

Kniha je obecně kladně hodnocena pro svůj obsáhlý obsah a kvalitu, zejména pro rozsáhlý úvod, fotogalerie a aktuální informace o lambda kalkulu. Existují však obavy z padělaných vydání, která se vyznačují špatnou kvalitou tisku.

⬤ Skvělý obsah včetně rozsáhlého úvodu a matematického materiálu
⬤ nejnovější výsledky v oblasti lambda kalkulu
⬤ samostatný rukopis
⬤ dobrá kvalita tisku a rychlé dodání originálních vydání.

Riziko nákupu pirátských kopií s rozmazaným tiskem a špatnou kvalitou papíru; originální vydání jsou drahá.

(na základě 3 hodnocení čtenářů)

Původní název:

A Lambda Calculus Satellite

Obsah knihy:

V roce 1936 byl pojem intuitivní spočitatelnosti operacionalizován dvěma různými způsoby: prostřednictvím Turingových strojů a lambda-kalkulů. Rozdíl spočíval v manipulaci s kuličkami (bity) u prvního přístupu oproti manipulaci se stromy (přepisování lambda-formulí) u druhého přístupu. Ukázalo se, že oba návrhy formalizují stejný pojem spočitatelnosti, a vedly k Churchově-Turingově tezi, která tvrdí, že intuitivní spočitatelnost je zachycena správným způsobem.

To vedlo k založení imperativního a funkcionálního programování. Varianty lambda-kalkulu se používají v další mocné oblasti aplikací, a sice v proof-checkingu, který je základem pro certifikaci matematických tvrzení, a tím i high-tech průmyslových výrobků. Tyto dvě oblasti výzkumu jsou stále aktivně zkoumány a činí z lambda-kalkulu významný nástroj v současných etapách vědy a průmyslové revoluce.

V této knize je lambda-kalkul nahlížen z jiného úhlu: jako studium těchto stromových struktur, zkoumání vztahu mezi jejich tvarem a jejich působením. Je to jako studovat čísla kvalitativně, spíše než pro jejich aplikace zabývající se kvantitativně objekty a jevy ve světě.

Barendregtova kniha "The Lambda Calculus, its Syntax and Semantics" (1981/84) se zabývá tímto tématem ze stejného metodologického hlediska a obsahuje několik otevřených domněnek. Za více než čtyři desetiletí, která uplynula, byla většina - ale ne všechny - z těchto domněnek vyřešena, někdy v důmyslných doktorských pracích. Tento "satelit" k výše zmíněné knize představuje tato řešení jednotným stylem a přidává další zajímavá témata.