Moses Schönfinkel
A montré en 1920 que la logique peut se passer entièrement de variables, puis a vu la technique prendre le nom de l'homme qui l'a redécouverte sept ans plus tard.
Le 7 décembre 1920, Moses Schönfinkel (1889–1942) donna un exposé à la Société mathématique de Göttingen, publié en 1924 sous le titre « Über die Bausteine der mathematischen Logik ». L'affirmation était improbable : toute la logique des prédicats peut s'exprimer sans une seule variable liée, pourvu que l'on dispose de quelques fonctions dont l'unique travail est de déplacer et de dupliquer leurs arguments. Trois suffisent largement — les combinateurs S, K et I — et deux feront l'affaire si l'on est têtu, puisque I se construit à partir des deux autres.
Le même article contient l'astuce qui consiste à réécrire une fonction de plusieurs arguments comme une chaîne de fonctions à un seul argument. Haskell Curry la redécouvrit indépendamment en 1927, fit de la logique combinatoire un domaine à part entière et vit la technique porter son nom. Schönfinkel retourna à Moscou, s'enfonça dans la maladie et la misère, et ses papiers restants auraient été brûlés par des voisins qui avaient besoin de se chauffer. Soixante ans plus tard, la réduction SK est revenue comme modèle d'exécution des langages fonctionnels paresseux.