Haskell Brooks Curry

(Millis, 1900 - State College, 1982) Matemático estadounidense. Formado en la Universidad de Harvard, sus intereses se decantaron definitivamente hacia la lógica matemática tras conocer los Principia Mathematica (1910-1913) de Alfred North Whitehead y Bertrand Russell. En 1929 se doctoró por la Universidad de Gotinga (Alemania), tras lo cual ejercería la docencia en la Universidad Estatal de Pensilvania hasta su retiro. Durante la Segunda Guerra Mundial sirvió como matemático en el Arsenal Frankford.

Haskell Curry

Haskell Curry desarrolló la llamada «lógica combinatoria» iniciada por el lógico y matemático ruso Moses Schönfinkel (sobre la que había versado su tesis doctoral en Gotinga) 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 Teoría de la deducción formal (1950), Esbozo de una filosofía formalista de la matemática (1951), Lecciones de lógica algebraica (1952), Lógica combinatoria (1958, con Robert Feys) y Fundamentos de lógica matemática (1963), un libro de texto de postgrado ampliamente utilizado.

Cómo citar este artículo:
Fernández, Tomás y Tamaro, Elena. «». En Biografías y Vidas. La enciclopedia biográfica en línea [Internet]. Barcelona, España, 2004. Disponible en [fecha de acceso: ].