Curry, Haskell Brooks

Lóxico e filósofo da matemática norteamericana. Profesor da Universidade de Pennsylvania, foi o creador da lóxica combinatoria ao sistematizar a teoría esbozada por Schönfinkel durante o segundo decenio do s XX. Traballou tamén nos campos da metalóxica e da fundamentación das matemáticas, adscrito en todo á escola formalista. É autor, xuntamente con Robert Feys, de Combinatory Logic (Lóxica combinatoria, 1958).

Cronología