A Lambda-kalkulus műhold

Olvasói vélemények

A könyvet dicsérik a lambda-számítással kapcsolatos átfogó tartalma miatt, amely szilárd bevezetést, hasznos képgalériákat és a jövő kutatásait inspiráló, legmodernebb eredményeket tartalmaz. Néhány felhasználó azonban problémákat tapasztalt a nyomtatás minőségével kapcsolatban, az egyik kritikus pedig egyértelműen kalózpéldányt kapott.

⬤ Kiterjedt bevezetés
⬤ jó matematikai tartalom
⬤ korábbi munkákat összefoglaló önálló fejezetek
⬤ a lambda-számítás legkorszerűbb eredményei
⬤ gyors szállítás
⬤ jó nyomtatási minőség (valódi példányok).

Egyes példányok rossz minőségűek, különösen a kalózváltozatok, amelyeken a nyomtatás elmosódott és a papír rossz minőségű.

(3 olvasói vélemény alapján)

Eredeti címe:

A Lambda Calculus Satellite

Könyv tartalma:

1936-ban az intuitív kiszámíthatóság fogalmát két különböző módon operacionalizálták: a Turing-gépeken és a lambda-kalkuluson keresztül. A különbség abban állt, hogy az előbbi megközelítésben a gyöngyök (bitek), az utóbbiban pedig a fák (lambda-tételek átírása) manipulálása volt a lényeg. Mindkét javaslatról kiderült, hogy ugyanazt a kiszámíthatósági fogalmat formalizálják, és ez vezetett a Church-Turing-tézishez, amely azt állítja, hogy az intuitív kiszámíthatóságot a helyes módon ragadják meg.

Ez eredményezte az imperatív és a funkcionális programozás megalapozását. A lambda-kalkulus változatait az alkalmazások egy másik erőteljes területén is használják, nevezetesen a bizonyítás-ellenőrzésben, amely a matematikai tételek és ezáltal a csúcstechnológiai ipari termékek hitelesítésének alapja. A kutatás e két területét még mindig aktívan vizsgálják, és a lambda-kalkulust a tudomány és az ipari forradalom jelenlegi szakaszában fontos eszközzé teszik.

Ebben a könyvben a lambda-kalkulust egy másik szemszögből vizsgáljuk: mint ezeknek a fa-szerű struktúráknak a tanulmányozását, az alakjuk és a működésük közötti kapcsolat vizsgálatát. Ez olyan, mintha a számokat kvalitatív módon tanulmányoznánk, nem pedig a világban lévő tárgyakkal és jelenségekkel kvantitatív módon foglalkozó alkalmazásaik miatt.

Barendregt "The Lambda Calculus, its Syntax and Semantics" (1981/84) című könyve ugyanebből a módszertani nézőpontból tárgyalja a témát, és számos nyitott feltevést tartalmaz. Az azóta eltelt több mint négy évtized alatt e sejtések többségét - de nem mindegyikét - sikerült megoldani, olykor zseniális doktori értekezésekben. Ez a "Szatelit" az említett könyvhöz egységes stílusban mutatja be ezeket a megoldásokat, és további érdekes témákkal egészíti ki.