war 1933–66 Professor an der Pennsylvania State University, danach bis 1970 Professor und Direktor am Institut für Grundlagenforschung der Universität Amsterdam. Curry lieferte Arbeiten zur mathematischen Logik und zu den Grundlagen der Mathematik; Mitbegründer der kombinatorischen Logik; vertrat mit seiner Auffassung der Mathematik als einer Theorie der Kalküle (»formal Systems«) in