Haskell Brooks Curry

(Millis, 1900-State College, 1982) Matemático estadounidense. Especializado en lógica matemática y profesor en la Universidad de Pennsylvania, desarrolló la llamada lógica combinatoria iniciada por M. Schönfinkel, sistematizando su teoría y simplificando su simbología. Orientado hacia la metalógica y la filosofía de la matemática, precisó los conceptos de sistema formal y de su aplicabilidad. Destacan sus obras Lecciones de lógica algebraica (1952), Esbozo de una filosofía formalista de la matemática y Teoría de la deducción formal.