Moses Schönfinkel
Dimostrò nel 1920 che la logica può fare a meno delle variabili, e vide la tecnica prendere il nome dell'uomo che la riscoprì sette anni dopo.
Il 7 dicembre 1920 Moses Schönfinkel (1889–1942) tenne una conferenza alla Società matematica di Gottinga, pubblicata nel 1924 come "Über die Bausteine der mathematischen Logik". La tesi era improbabile: l'intera logica dei predicati può essere espressa senza una sola variabile legata, purché si disponga di una manciata di funzioni il cui unico compito è spostare e duplicare i propri argomenti. Tre bastano largamente — i combinatori S, K e I — e due sono sufficienti per chi è testardo, dato che I si può costruire dagli altri due.
Lo stesso articolo contiene il trucco di riscrivere una funzione di più argomenti come una catena di funzioni a un solo argomento. Haskell Curry lo riscoprì in modo indipendente nel 1927, fece crescere la logica combinatoria fino a farne un campo a sé e ottenne che la tecnica portasse il suo nome. Schönfinkel tornò a Mosca, scomparve nella malattia e nella miseria, e le sue carte rimaste sarebbero state bruciate dai vicini che avevano bisogno di scaldarsi. Sessant'anni dopo la riduzione SK tornò come modello di esecuzione per i linguaggi funzionali lazy.