Curry haskell

Haskell Brooks Curry (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. Si bien el concepto inicial de lógica combinatoria se basó en un solo artículo de Moses Schönfinkel, Curry hizo gran parte del desarrollo. Curry también es conocido por la paradoja de Curry y la correspondencia Curry-Howard. Hay tres lenguajes de programación que llevan su nombre, Haskell, Brook y Curry, así como el concepto de currying, una técnica utilizada para transformar funciones en matemáticas e informática.

Vida

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 oratoria. 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 estudios de posgrado en ingeniería eléctrica en el MIT, regresó a Harvard para estudiar física y obtuvo una maestría en 1924. El interés de Curry en 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 siguió un Ph.D. en matemáticas. Si bien George David Birkhoff le indicó que trabajara en ecuaciones diferenciales, sus intereses continuaron cambiando a 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 Ph.D. en 1930 con una disertación sobre lógica combinatoria.

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, Pennsylvania, 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 Nacional de Investigación y un año en 1938-1939 en el Instituto de Estudios Avanzados de Princeton. En 1942 tomó una licencia para trabajar en matemáticas aplicadas para el gobierno de los Estados Unidos durante la Segunda Guerra Mundial, especialmente en el Arsenal de Frankford. 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 Ámsterdam. En 1970, después de terminar el segundo volumen de su tratado sobre lógica combinatoria, Curry se retiró de la Universidad de Amsterdam y regresó al State College, Pennsylvania.

Haskell Curry murió el 1 de septiembre de 1982 en State College, Pensilvania.

Trabajo

El enfoque del trabajo de Curry fueron los intentos de demostrar que la lógica combinatoria podría proporcionar una base para las matemáticas. Hacia fines de 1933, se enteró de la paradoja de Kleene-Rosser por 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 un subsistema consistente) y el propio sistema de Curry. 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".

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.

Dio clases 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, sucesora de Evert Willem Beth.

Curry también escribió y enseñó lógica matemática en 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 traicionan una curiosidad filosófica sustancial y una mente muy abierta sobre la lógica intuicionista.

Publicaciones principales

• "Grundlagen der Kombinatorischen Logik" [Fundaciones de lógica combinatoria]. American Journal of Mathematics (en alemán). The Johns Hopkins University Press. 52 (3): 509-536. 1930. doi:10.2307/2370619. JSTOR 2370619.
• Una teoría de la deducibilidad formal. Universidad de Notre Dame Press. 1950.
  • Una teoría de la deducibilidad formal (2a edición). Universidad de Notre Dame Press. 1957.
• Líneas de una filosofía formalista de las matemáticas. Amsterdam: Elsevier Science. 1951. ISBN 0444533680. Retrieved 23 de julio 2012.
• Leçons de logique algébrique (en francés). París: Gauthier-Villars. 1952.
• Curry, Haskell; Feys, Robert (1958). Lógica Combinatoria. Vol. I. Amsterdam: North-Holland Publishing Company.
• Fundaciones de Lógica Matemática. Mcgraw Hill. 1963.
  • Fundaciones de lógica matemática (Dover ed sin puente y corregido). Nueva York: Dover Publications. 1977. ISBN 0-486-63462-0. Retrieved 23 de julio 2012.
• Lógica Combinatoria. Vol. II. Amsterdam: North-Holland Publishing Company. 1972. ISBN 0720422086.