Моисей Шейнфинкель
В 1920 году показал, что логике вообще не нужны переменные, — и увидел, как приём назвали по имени человека, переоткрывшего его семь лет спустя.
7 декабря 1920 года Моисей Шейнфинкель (1889–1942) выступил с докладом в Гёттингенском математическом обществе; он был опубликован в 1924 году под названием «Über die Bausteine der mathematischen Logik». Утверждение казалось невероятным: всю логику предикатов можно выразить без единой связанной переменной, если у вас есть несколько функций, единственная задача которых — переставлять и дублировать аргументы. Трёх вполне достаточно — комбинаторы S, K и I, — а при желании хватит и двух, поскольку I строится из остальных.
В той же статье есть приём записи функции нескольких аргументов как цепочки функций одного аргумента. Хаскелл Карри независимо переоткрыл его в 1927 году, развил комбинаторную логику в самостоятельную область и получил имя для этого приёма — каррирование. Шейнфинкель вернулся в Москву, пропал в болезни и нищете, а его уцелевшие бумаги, по слухам, сожгли соседи, которым нечем было топить. Шестьдесят лет спустя SK-редукция вернулась как модель исполнения для ленивых функциональных языков.