Haskell Curry

Haskell Curry
Información personal
Nombre de nacimiento	Haskell Brooks Curry
Nacimiento	12 de septiembre de 1900 ; Millis (Estados Unidos)
Fallecimiento	1 de septiembre de 1982 (81 años); State College (Estados Unidos)
Nacionalidad	Estadounidense
Lengua materna	Inglés
Familia
Padres	Samuel Silas Curry ; Anna Baright Curry
Educación
Educado en	Universidad de Harvard (1916-1920); Instituto Tecnológico de Massachusetts (1920-1922); Universidad de Harvard (1922-1924); Universidad de Gotinga (1928-1930) ;
Supervisor doctoral	David Hilbert
Alumno de	Paul Bernays
Información profesional
Ocupación	Matemático, filósofo, profesor universitario e informático teórico
Cargos ocupados	Presidente de Association for Symbolic Logic (1938-1940)
Empleador	Universidad de Princeton (1927-1928); Universidad Estatal de Pensilvania (1930-1966); Universidad de Ámsterdam (1966-1970) ;
Obras notables	Correspondencia de Curry-Howard; Paradoja de Curry; Currificación ;
	[editar datos en Wikidata]

Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.^[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pensilvania.

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.^[2] Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de currificación en lenguajes de programación funcionales.

Trabajos[editar]

El objetivo del trabajo de Curry, fue demostrar que la lógica combinatoria sienta las bases para las matemáticas. Hacia finales del 1933, aprendió de la paradoja de Kleene-Rosser gracias a John Rosser.

1930. Grundlagen der kombinatorischen Logik; Amer. J. Math. 52:509-536 ;789-834 (1930)
1951. Outlines of a formalist philosophy of mathematics. North Holland
1958. Curry, Haskell B., Feys, Robert; Combinatory Logic, vol. I; North Holland
1963. Foundations of mathematical logic; McGrawHill 1963
1972. Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.; Combinatory Logic, vol. II; North Holland 1972; ISBN 0-7204-2208-6