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 Harvard (1916-1920); Instituto Tecnológico de Massachusetts (1920-1922); Universidad 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

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