Haskell Curry

Haskell Brooks Curry ( / ˈ h æ s k əl / HAS -kəl ; 12 de septiembre de 1900 – 1 de septiembre de 1982) fue un matemático e informático estadounidense . Curry es más conocido por su trabajo en lógica combinatoria . Aunque su concepto inicial se basó en un artículo de Moses Schönfinkel , ^{[ 1 ]} Curry realizó gran parte del desarrollo. Curry también es conocido por la paradoja de Curry y la correspondencia Curry-Howard . Los lenguajes de programación Haskell , Brook y Curry , así como el concepto de currying , un método para transformar funciones, llevan su nombre .

Curry nació el 12 de septiembre de 1900 en Millis , Massachusetts , hijo de Samuel Silas Curry y Anna Baright Curry , quien dirigía 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 estudios 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. Permaneciendo en Harvard, Curry cursó un Doctorado en Filosofía (Ph.D.) en matemáticas. Si bien George David Birkhoff lo orientó a trabajar en ecuaciones diferenciales , sus intereses continuaron orientándose hacia la lógica. En 1927, mientras era profesor en la Universidad de Princeton , descubrió la obra de Moses Schönfinkel en lógica combinatoria. El trabajo de Schönfinkel se había anticipado a gran parte de la propia investigación de Curry, por lo que este se trasladó a la Universidad de Gotinga, donde pudo trabajar con Heinrich Behmann y Paul Bernays , quienes conocían la obra de Schönfinkel. Curry fue supervisado por David Hilbert y trabajó estrechamente con Bernays, obteniendo su doctorado en 1930 con una tesis 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 doctoral y, en 1929, se mudaron a 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 entre 1931 y 1932 con una beca nacional de investigación y otro año entre 1938 y 1939 en el Instituto de Estudios Avanzados de Princeton. En 1942, solicitó una excedencia para dedicarse a las 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 , entre 1945 y 1946. Gracias a una beca Fulbright , colaboró ​​con Robert Feys en Lovaina , Bélgica. Tras jubilarse de Penn State en 1966, Curry aceptó un puesto en la Universidad de Ámsterdam . En 1970, tras finalizar el segundo volumen de su tratado sobre lógica combinatoria, Curry se retiró de la Universidad de Ámsterdam y regresó a State College, Pensilvania.

Haskell Curry falleció el 1 de septiembre de 1982 (1982-09-01) (a los 81 años) en State College, Pensilvania. 

El trabajo de Curry se centró en demostrar que la lógica combinatoria podía proporcionar una base para las matemáticas. A finales de 1933, conoció la paradoja de Kleene-Rosser a través de su correspondencia con John Rosser . Esta paradoja, desarrollada por Rosser y Stephen Kleene , había demostrado la inconsistencia de varios sistemas formales relacionados , incluyendo 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 renunció al enfoque fundamental, afirmando que no quería «huir de las paradojas». ^{[ 3 ]}

Tras dedicar toda su carrera al campo de la lógica combinatoria, Curry se convirtió, en esencia, en el fundador y la figura más destacada de este ámbito. La lógica combinatoria es la base de un estilo de lenguaje de programación funcional . Su potencia y alcance son muy similares a los del cálculo lambda de Church, y este último formalismo ha tendido a predominar en las últimas décadas.

Durante la Segunda Guerra Mundial, Curry trabajó en el Arsenal de Frankford , donde desarrolló un algoritmo de descenso más pronunciado , basado en el trabajo de Cauchy . ^{[ 4 ]} Este se convirtió en un ejemplo fundamental de los métodos modernos de descenso de gradiente .

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 computadoras de una sola dirección. ^{[ 5 ]}

Impartió 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 e historia de la lógica y filosofía de las ciencias exactas en la Universidad de Ámsterdam , sucediendo a Evert Willem Beth . ^{[ 6 ]}

Curry también escribió y enseñó lógica matemática en general; su labor docente en este campo culminó con su obra de 1963, Fundamentos de la lógica matemática . Su filosofía matemática predilecta era el formalismo (véase su libro de 1951), siguiendo a su mentor Hilbert, pero sus escritos revelan una considerable curiosidad filosófica y una mentalidad muy abierta respecto a la lógica intuicionista .

• "Grundlagen der Kombinatorischen Logik" [ Fundamentos de la lógica combinatoria ] . American Journal of Mathematics (en alemán). 52 (3). The Johns Hopkins University Press: 509–536 . 1930. doi : 10.2307/2370619 . JSTOR 2370619 . 
• Una teoría de la deducibilidad formal . Editorial de la Universidad de Notre Dame. 1950.^{[ 7 ]}
  • Una teoría de la deducibilidad formal (2.ª  ed.). University of Notre Dame Press. 1957.
• Esquemas de una filosofía formalista de las matemáticas . Ámsterdam: Elsevier Science. 1951. Consultado el 23 de julio de 2012 .ISBN 0444533680.
• Leçons de logique algébrique (en francés). París: Gauthier-Villars. 1952.^{[ 8 ]}
• Curry, Haskell Brooks ; Feys, Robert (1958). Lógica combinatoria . Vol.  I. Ámsterdam: North Holland Publishing Company .ISBN 0-7204-2208-6.
• Fundamentos de lógica matemática . McGraw Hill. 1963.
  • Fundamentos de lógica matemática (Edición íntegra y corregida de Dover ). Nueva York: Dover Publications. 1977. ISBN 0-486-63462-0Consultado el 23 de julio de 2012 .
• Curry, Haskell Brooks ; Hindley, J. Roger ; Seldin, Jonathan P. (1972). Lógica combinatoria . Vol.  II. Ámsterdam: North Holland. ISBN 0-7204-2208-6.

• Seldin & Hindley (1980) — Incluye ensayo biográfico.

• Barendregt, Hendrik Pieter (1984). El cálculo lambda, su sintaxis y semántica. Estudios de lógica y fundamentos de las matemáticas . Vol.  103. North Holland . ISBN 0-444-87508-5.
• Knuth, Donald Ervin ; Pardo, Luis Trabb (1976). Desarrollo temprano de lenguajes de programación . Universidad de Stanford, Departamento de Ciencias de la Computación.
• Marcus, R. Barcan (1952). "Reseña: Leçons de logique algébrique , de HB Curry" . Boletín de la Sociedad Matemática Estadounidense . 58 (2): 673– 674. doi : 10.1090/s0002-9904-1952-09657-9 .
• Nelson, D. (1952). "Reseña: Una teoría de la deducibilidad formal , por HB Curry" . Boletín de la Sociedad Matemática Americana . 58 (3): 415– 417. doi : 10.1090/s0002-9904-1952-09596-3 .
• Schönfinkel, Moisés (1924). "Über die Bausteine ​​der mathematischen Logik" (PDF) . Mathematische Annalen (en alemán). 92 ( 3– 4): 305– 316. doi : 10.1007/bf01448013 . S2CID 118507515 . El artículo que fundó la lógica combinatoria. Traducción al inglés: Schönfinkel (1967) 
• Schönfinkel, Moisés (1967) [1924]. Van Heijenoort, Jean (ed.). Über die Bausteine ​​der mathematischen Logik [ Sobre los componentes básicos de la lógica matemática ] . De Frege a Gödel: un libro de consulta sobre lógica matemática, 1879-1931. Traducido por Bauer-Mengelberg, Stefan. Cambridge, MA, EE.UU.: Harvard University Press . págs. 355–366 . ISBN  978-0674324497OCLC 503886453​​ 
• Seldin, Jonathan P.; Hindley, JR, eds. (1980). A HB Curry: Ensayos sobre lógica combinatoria, cálculo lambda y formalismo . Academic Press.
• Seldin, Jonathan P. (3 de marzo de 2008). "La lógica de Curry y Church" (PDF) . Recuperado el 23 de septiembre de 2023 .

• Seldin, Jonathan P. "Haskell Brooks Curry (1900-1982)" . En Fieser, James; Dowden, Bradley (eds.). Internet Encyclopedia of Philosophy . ISSN 2161-0002 . OCLC 37741658 .  
• O'Connor, John J.; Robertson, Edmund F. , "Haskell Curry" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
• Los archivos de Curry ofrecen imágenes de varios cientos de páginas de manuscritos que datan de 1920 a 1931.
• CLg. bibliografía 587 págs.
• Universidad de Ámsterdam, ed. (2023). "Album Academicum - Profesores y doctores graduados desde 1632 hasta la actualidad" . Recuperado el 23 de septiembre de 2023 .