Combinatory Logic Volume 1

Combinatory Logic Volume 1 - Haskell B. Curry

Combinatory Logic, Volume 1 to klasyczna monografia z zakresu logiki matematycznej, opublikowana w 1958 roku jako tom 65 serii Studies in Logic and the Foundations of Mathematics. Autorzy przedstawiają podstawy logiki kombinatorów – formalnego systemu stworzonego w celu eliminacji zmiennych z rachunku funkcji przy zachowaniu pełnej mocy wyrazu. Książka wprowadza podstawowe kombinatory, takie jak S i K, rozwija teorię formalnych systemów aplikacyjnych, omawia relacje z rachunkiem lambda Alonzo Churcha oraz przedstawia własności redukcji, normalizacji i równoważności wyrażeń. Znaczna część pracy poświęcona jest ścisłym dowodom matematycznym, aksjomatyce oraz metateorii systemów kombinatorowych. Dzieło wywarło ogromny wpływ na rozwój logiki, teorii obliczeń i informatyki teoretycznej, stając się jednym z fundamentów badań nad językami funkcyjnymi, teorią typów i podstawami programowania funkcyjnego.