Moses Schönfinkel
Zeigte 1920, dass Variablen in der Logik entbehrlich sind — und erlebte, wie die Technik sieben Jahre später nach dem Mann benannt wurde, der sie wiederentdeckte.
Am 7. Dezember 1920 hielt Moses Schönfinkel (1889–1942) vor der Göttinger Mathematischen Gesellschaft einen Vortrag, der 1924 unter dem Titel "Über die Bausteine der mathematischen Logik" veröffentlicht wurde. Die Behauptung war unerwartet: Die gesamte Prädikatenlogik lässt sich ohne eine einzige gebundene Variable ausdrücken, wenn man stattdessen ein paar Funktionen hat, deren einzige Aufgabe es ist, ihre Argumente zu verschieben und zu vervielfältigen. Drei genügen mit Reserve — die Kombinatoren S, K und I —, und zwei reichen, wer hartnäckig ist, da sich I aus den anderen beiden konstruieren lässt.
In derselben Arbeit findet sich der Kniff, eine Funktion mehrerer Argumente in eine Kette von Einargument-Funktionen umzuschreiben. Haskell Curry entdeckte das Prinzip 1927 unabhängig neu, baute die kombinatorische Logik zu einem eigenen Feld aus — und gab der Technik seinen Namen. Schönfinkel kehrte nach Moskau zurück, versank in Krankheit und Armut, und seine hinterlassenen Papiere sollen von Nachbarn verheizt worden sein, die Wärme brauchten. Sechzig Jahre später kehrte die SK-Reduktion als Ausführungsmodell für träge funktionale Sprachen zurück.