A Lambda-számítás műholdja

Olvasói vélemények

A könyv általában jó fogadtatásra talált átfogó tartalma és minősége miatt, különösen a terjedelmes bevezető, a fotógalériák és a lambda-számítással kapcsolatos naprakész információk miatt. Vannak azonban aggályok a hamisított kiadásokkal kapcsolatban, amelyek gyenge nyomdai minőséget mutatnak.

⬤ Nagyszerű tartalom, beleértve a terjedelmes bevezetést és a matematikai anyagot
⬤ a lambda-kalkulus legkorszerűbb eredményei
⬤ önálló kézirat
⬤ jó nyomtatási minőség és gyors szállítás a valódi kiadások esetében.

A kalózpéldányok megvásárlásának kockázata, amelyek nyomtatása elmosódott és a papír minősége rossz; az eredeti kiadások drágák.

(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 szempontbó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" a fent 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.