Haskell Curry
De Wikipedia, la enciclopedia libre
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad 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
[editar] Trabajos
 |
Este artículo o sección sobre biografías y ciencia necesita ser wikificado con un formato adecuado a las convenciones de estilo de Wikipedia. Por favor, edítalo para cumplir con ellas. No elimines este aviso hasta que lo hayas hecho. ¡Colabora wikificando! Copia y pega el siguiente código en la página de discusión del autor: {{subst:Aviso wikificar|Haskell Curry}}~~~~ |
- [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
- Haskell Brooks Curry - Archivo MacTutor History of Mathematics.
