Haskell Brooks Curry ( 12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense . Curry es más 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 currying , un método para transformar funciones, utilizado en matemáticas y ciencias de la computación .
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ó en la Universidad de Harvard en 1916 para estudiar medicina, pero se cambió a matemáticas antes de graduarse en 1920. Después de dos años de trabajo 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 en 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. Permaneciendo en Harvard, Curry obtuvo un Doctorado en Filosofía (Ph.D.) en matemáticas. Si bien George David Birkhoff lo dirigió para trabajar 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 investigación del propio Curry y, como consecuencia, se trasladó a la Universidad de Göttingen , donde pudo trabajar con Heinrich Behmann y Paul Bernays , que estaban familiarizados con el trabajo de Schönfinkel. Curry fue supervisado por David Hilbert y trabajó estrechamente con Bernays, recibiendo un doctorado en 1930 con una disertación sobre lógica combinatoria. [2]
En 1928, antes de partir hacia Gotinga, Curry se casó con Mary Virginia Wheatley. La pareja vivió en Alemania mientras Curry completaba su tesis, luego, en 1929, se mudó al State College, Pensilvania , donde Curry aceptó un puesto en el 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 Nacional de Investigación y un año en 1938-1939 en el Instituto de Estudios Avanzados de Princeton. En 1942 se tomó una licencia para hacer matemáticas aplicadas para el gobierno de los Estados Unidos durante la Segunda Guerra Mundial , en particular en el Arsenal de Frankford . Inmediatamente después de la guerra trabajó en el proyecto ENIAC , en 1945 y 1946. Gracias a una beca Fulbright , colaboró con Robert Feys en Lovaina , Bélgica. Tras retirarse de Penn State en 1966, Curry aceptó un puesto en la Universidad de Ámsterdam . En 1970, tras 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 (a la edad de 81 años), en State College, Pensilvania.
El trabajo de Curry se centró en los intentos de demostrar que la lógica combinatoria podí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, diciendo 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 el 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 una computadora de una sola 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 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 en términos más generales; su enseñanza en esta área culminó en su libro Foundations of Mathematical Logic de 1963. Su filosofía preferida de las matemáticas 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)