Haskell Brooks Curry ( / ˈ h æ s k əl / ; 12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense . Curry es mejor conocido por su trabajo en lógica combinatoria , cuyo concepto inicial se basa en un artículo de Moses Schönfinkel , [1] para el cual Curry hizo gran parte del desarrollo. Curry también es conocido por la paradoja de Curry y la correspondencia Curry-Howard . Llevan su nombre tres lenguajes de programación : Haskell , Brook y Curry , y el concepto de curry , un método para transformar funciones, utilizado en matemáticas e informática .
Curry nació el 12 de septiembre de 1900 en Millis, Massachusetts , hijo de Samuel Silas Curry y Anna Baright Curry , quienes dirigían una escuela de elocución . Ingresó a la Universidad de Harvard en 1916 para estudiar medicina, pero cambió a matemáticas antes de graduarse en 1920. Después de dos años de trabajos de posgrado en ingeniería eléctrica en el Instituto Tecnológico de Massachusetts (MIT), regresó a Harvard para estudiar física , obteniendo una Maestría en Artes ( MA) en 1924. El interés de Curry por la lógica matemática comenzó durante este período cuando conoció los Principia Mathematica , el intento de Alfred North Whitehead y Bertrand Russell de fundamentar las matemáticas en la lógica simbólica. Mientras permaneció en Harvard, Curry obtuvo un Doctorado en Filosofía (Ph.D.) en matemáticas. Si bien George David Birkhoff le indicó que trabajara en ecuaciones diferenciales , sus intereses continuaron desplazándose hacia la lógica. En 1927, mientras era profesor en la Universidad de Princeton , descubrió el trabajo de Moses Schönfinkel en lógica combinatoria. El trabajo de Schönfinkel había anticipado gran parte de la propia investigación de Curry y, como consecuencia, se mudó a la Universidad de Göttingen , donde pudo trabajar con Heinrich Behmann y Paul Bernays , quienes estaban familiarizados con el trabajo de Schönfinkel. Curry fue supervisado por David Hilbert y trabajó en estrecha colaboración con Bernays, recibiendo un doctorado. en 1930 con una disertación sobre lógica combinatoria. [2]
En 1928, antes de partir hacia Göttingen, Curry se casó con Mary Virginia Wheatley. La pareja vivió en Alemania mientras Curry completaba su tesis y luego, en 1929, se mudó a State College, Pensilvania , donde Curry aceptó un puesto en Pennsylvania State College . Tuvieron dos hijos, Anne Wright Curry (27 de julio de 1930) y Robert Wheatley Curry (6 de julio de 1934). Curry permaneció en Penn State durante los siguientes 37 años. Pasó un año en la Universidad de Chicago en 1931-1932 con una beca de investigación nacional y un año en 1938-1939 en el Instituto de Estudios Avanzados de Princeton. En 1942 tomó una licencia para dedicarse a las matemáticas aplicadas para el gobierno de los Estados Unidos durante la Segunda Guerra Mundial , especialmente en el Frankford Arsenal . Inmediatamente después de la guerra trabajó en el proyecto ENIAC , en 1945 y 1946. Con una beca Fulbright , colaboró con Robert Feys en Lovaina , Bélgica. Después de retirarse de Penn State en 1966, Curry aceptó un puesto en la Universidad de Amsterdam . En 1970, después de terminar el segundo volumen de su tratado sobre lógica combinatoria, Curry se retiró de la Universidad de Ámsterdam y regresó al State College, Pensilvania.
Haskell Curry murió el 1 de septiembre de 1982 (81 años) en State College, Pensilvania.
El foco del trabajo de Curry fueron los intentos de mostrar que la lógica combinatoria podría proporcionar una base para las matemáticas. Hacia finales de 1933, se enteró de la paradoja de Kleene-Rosser a través de la correspondencia con John Rosser . La paradoja, desarrollada por Rosser y Stephen Kleene , había demostrado la inconsistencia de varios sistemas formales relacionados , incluido uno propuesto por Alonzo Church (un sistema que tenía el cálculo lambda como subsistema consistente) y el propio sistema de Curry. [2] Sin embargo, a diferencia de Church, Kleene y Rosser, Curry no abandonó el enfoque fundacional y dijo que no quería "huir de las paradojas". [3]
Al trabajar en el área de la lógica combinatoria durante toda su carrera, Curry se convirtió esencialmente en el fundador y el nombre más importante en este campo. La lógica combinatoria es la base de un estilo de lenguaje de programación funcional . El poder y el alcance de la lógica combinatoria son bastante similares a los del cálculo lambda de Church, y este último formalismo ha tendido a predominar en las últimas décadas.
En 1947, Curry también describió uno de los primeros lenguajes de programación de alto nivel y proporcionó la primera descripción de un procedimiento para convertir una expresión aritmética general en un código para computadora de una dirección. [4]
Enseñó en Harvard, Princeton y, de 1929 a 1966, en la Universidad Estatal de Pensilvania . En 1942 publicó La paradoja de Curry . En 1966 se convirtió en profesor de lógica y su historia y de filosofía de las ciencias exactas en la Universidad de Ámsterdam , sucesor de Evert Willem Beth . [5]
Curry también escribió y enseñó lógica matemática de manera más general; su enseñanza en esta área culminó en sus Fundamentos de lógica matemática de 1963 . Su filosofía de las matemáticas preferida era el formalismo (cf. su libro de 1951), siguiendo a su mentor Hilbert, pero sus escritos delatan una curiosidad filosófica sustancial y una mente muy abierta sobre la lógica intuicionista .
El artículo que fundó la lógica combinatoria. Traducción al inglés: Schönfinkel (1967)