Haskell Curry

De Wikipedia, la enciclopedia libre

Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) es un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad de Harvard y recibió un doctorado de Göttingen con Hilbert en 1930. Enseñó en Harvard, Princeton, y después, comenzando en 1929, durante 35 años en la universidad del estado de Pennsylvania. En 1966 llegó a ser profesor de matemáticas en Amsterdam. Murió en State College, Pennsylvania.

El trabajo principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes de programación funcionales. Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de en:currying en lenguajes de programación funcionales.

[editar] Véase también

• Paradoja de Curry

[editar] Trabajos

• [Curry30] Curry, Haskell B.;

Grundlagen der kombinatorischen Logik; Amer. J. Math.; 52:509-536;789-834 (1930)

• [Curry58] Curry, Haskell B., Feys, Robert;

Combinatory Logic, Volume I; North Holland 1958;

• [Curry63] Curry, Haskell B.;

Foundations of mathematical logic; McGrawHill 1963; (paperback Dover 1977)

• [Curry72] Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.;

Combinatory Logic, Volume II; North Holland 1972; ISBN 0 7204 2208 6

[editar] Enlaces externos

• portada de LC-I castellano Tecnos

• Haskell Brooks Curry - Archivo MacTutor History of Mathematics.

• 1920-1931 block de notas

• Notas y foto en la página del lenguaje "Haskell"