Egy évszázad azóta, hogy a Principia helyettesítés elkápráztatta Haskell Curry-t. Jonathan Seldin 80. születésnapjának tiszteletére

Eredeti címe:

A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary

Könyv tartalma:

1922-ben Curry elkezdte olvasni a Principia Mathematica-t, és lenyűgözték a helyettesítő szabály bonyodalmai. A helyettesítés elemzésével kapcsolatos próbálkozások eredményeként Curry 1926-ban megalkotta a kombinátorokat.

Ezt a gyűjteményt Jonathan Seldin 80. születésnapjára ajánljuk. Seldin Curry utolsó előtti doktorandusza és Curry paradigmájának őrzője.

A 20. század elején a számításokat és a következtetéseket (függvényeket és logikát) ötvöző, a matematikát formalizálni képes, nagy teljesítményű rendszerek keresése vezetett Church hatalmas λ-kalkulusának, Curry kombinatorikus logikájának, valamint Eilenberg és Mac Lane kategóriaelméletének megszületéséhez, amelyek mindegyike jól szerepel ebben a gyűjteményben.

A minél több dolog internalizálásáért folytatott küzdelem, miközben a rendszer konzisztens marad, világosan látszik a λ-kalkulus és a kombinatorikus logika fejlődésében, és ismét érezhető a kötet cikkeiben. Hasonlóképpen egyértelmű a küzdelem az olyan elegáns elméletekért, amelyek minimalizálják az alapfogalmak számát, miközben a lehető legközelebb maradnak a nyelv szerkezetéhez.

A fogalmak általánosítása, az egymástól távolinak tűnő területek összekapcsolása és az egyik területről a másikra való hasznos technikák alkalmazása szintén jól szerepel ebben a kötetben, ahol például olyan fogalmak, mint a koherencia, az összefolyás, a kommutációs diagramok, a λ-kalkulus, az újraírási rendszerek és a kategóriaelmélet között bővülnek, és ahol beágyazási relációkat adnak meg, hogy a logikától a matematikán át az informatikáig számos tudományág találkozhasson.