A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
V roku 1922 začal Curry čítať Principia Mathematica a zaujali ho komplikácie jej substitučného pravidla. Výsledkom pokusu o analýzu substitúcie bolo, že Curry v roku 1926 vymyslel kombinátory.
Táto zbierka je venovaná 80. výročiu narodenia Jonathana Seldina. Seldin je predposledným Curryho doktorandom a strážcom Curryho paradigmy.
Hľadanie výkonných systémov, ktoré kombinujú výpočty a dedukcie (funkcie a logiku) a ktoré sú schopné formalizovať matematiku, viedlo začiatkom 20. storočia k zrodu mohutného Churchovho λ-kalkulu, Curryho kombinačnej logiky a Eilenbergovej a Mac Laneovej teórie kategórií, ktoré sú v tejto zbierke dobre zastúpené.
Boj o čo najväčšiu internalizáciu pri zachovaní konzistentnosti systému je zreteľný vo vývoji λ-kalkulu a kombinačnej logiky a je opäť cítiť v článkoch v tomto zborníku. Podobne je zrejmý boj o elegantné teórie, ktoré minimalizujú počet základných pojmov a zároveň sa čo najviac približujú štruktúre jazyka.
Zovšeobecňovanie pojmov, spájanie oblastí, ktoré sa môžu zdať vzdialené, a uplatňovanie užitočných techník z jednej oblasti na druhú je dobre zastúpené aj v tomto zväzku, kde sa napríklad pojmy ako koherencia, konfluencia, komutačné diagramy rozširujú medzi λ-kalkulom, prepisovacími systémami a teóriou kategórií a kde sú uvedené vnorené vzťahy umožňujúce stretnutie mnohých disciplín od logiky cez matematiku až po informatiku.
