Satelit Lambda Calculus

Recenze čtenářů

Kniha je oceňována pro svůj rozsáhlý obsah týkající se lambda kalkulu, který obsahuje solidní úvod, užitečné fotogalerie a nejnovější výsledky, které jsou inspirací pro budoucí výzkum. Někteří uživatelé se však setkali s problémy s kvalitou tisku, přičemž jeden recenzent obdržel zjevně pirátský výtisk.

⬤ Rozsáhlý úvod
⬤ dobrý matematický obsah
⬤ samostatné kapitoly shrnující předchozí práci
⬤ nejnovější výsledky o lambda kalkulu
⬤ rychlé dodání
⬤ dobrá kvalita tisku (originální výtisky).

Některé výtisky mají špatnou kvalitu tisku, konkrétně pirátské verze s rozmazaným tiskem a nekvalitním papírem.

(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.