Moses Schönfinkel
Demostró en 1920 que la lógica puede prescindir por completo de variables, y vio cómo la técnica acababa llevando el nombre del hombre que la redescubrió siete años después.
El 7 de diciembre de 1920, Moses Schönfinkel (1889–1942) dio una charla ante la Sociedad Matemática de Gotinga, publicada en 1924 como "Über die Bausteine der mathematischen Logik". La afirmación era insólita: toda la lógica de predicados puede expresarse sin una sola variable ligada, siempre que se disponga de un puñado de funciones cuyo único trabajo sea mover y duplicar sus argumentos. Con tres basta de sobra — los combinadores S, K e I —, y con dos alcanza si uno se pone testarudo, porque I se puede construir a partir de los otros dos.
El mismo artículo contiene el truco de reescribir una función de varios argumentos como una cadena de funciones de un solo argumento. Haskell Curry lo redescubrió de forma independiente en 1927, convirtió la lógica combinatoria en un campo propio, y acabó dando nombre a la técnica. Schönfinkel volvió a Moscú, se hundió en la enfermedad y la pobreza, y sus papeles supervivientes, según se cuenta, fueron quemados por vecinos que necesitaban calentarse. Sesenta años después, la reducción SK regresó como modelo de ejecución para los lenguajes funcionales perezosos.