A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary
W 1922 roku Curry zaczął czytać Principia Mathematica i zaintrygowały go komplikacje związane z regułą podstawiania. W wyniku próby przeanalizowania substytucji, Curry wymyślił kombinatory w 1926 roku.
Niniejszy zbiór poświęcony jest 80. rocznicy urodzin Jonathana Seldina. Seldin jest przedostatnim doktorantem Curry'ego i strażnikiem paradygmatu Curry'ego.
Poszukiwania na początku XX wieku potężnych systemów, które łączą obliczenia i dedukcje (funkcje i logikę) i które są w stanie sformalizować matematykę, doprowadziły do narodzin potężnego λ-kalkulusa Churcha, logiki kombinatorycznej Curry'ego i teorii kategorii Eilenberga i Mac Lane'a, z których wszystkie są dobrze reprezentowane w tym zbiorze. Walka o jak największą internalizację przy jednoczesnym zachowaniu spójności systemu jest wyraźna w ewolucji λ-kalkulusa i logiki kombinatorycznej i można ją ponownie odczuć w artykułach w tym tomie.
Podobnie, walka o eleganckie teorie, które minimalizują liczbę podstawowych pojęć, pozostając jak najbliżej struktury języka, jest oczywista. Uogólnianie pojęć, łączenie obszarów, które mogą wydawać się odległe od siebie i stosowanie przydatnych technik z jednego obszaru do drugiego, jest również dobrze reprezentowane w tym tomie, gdzie na przykład pojęcia takie jak spójność, konfluencja, diagramy komutacyjne są rozszerzane między λ-kalkulusem, systemami przepisywania i teorią kategorii, a relacje osadzania są podane, aby umożliwić spotkanie wielu dyscyplin, od logiki przez matematykę po informatykę.
