In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic.
W 1927, jako wykładowca na Princeton University, odkrył pracę Mosesa Schönfinkela na temat logiki kombinatorycznej.