Haskell Curry

Keywords: Haskell Curry, 12 de septiembre, 1900, 1982, 1 de septiembre, Curry (programación), David Hilbert, Haskell, Lógica combinatoria

Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) es un matemático y logico americano. 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, por 35 años en la universidad del estado de Pennsylvania. En 1966 devino 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 lenguajes de programación funcionales.

Ver tambien

• paradoja de Curry

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

Vínculos 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"

Keywords: Haskell Curry, 12 de septiembre, 1900, 1982, 1 de septiembre, Curry (programación), David Hilbert, Haskell, Lógica combinatoria