Haskell Curry

Haskell Brooks Curry (Millis, Massachusetts, 1900 - State College, Pensilvania, 1982) fue un matemático y lógico estadounidense. Su trabajo, situado en el terreno de los fundamentos de las matemáticas, sentó las bases teóricas de buena parte de los lenguajes de programación funcionales, aunque él nunca dejó de pensar en la lógica como disciplina propia.

Se formó en Harvard, donde empezó estudiando medicina y acabó inclinándose por las matemáticas. Su interés por la lógica surgió al leer los Principia Mathematica de Whitehead y Russell. Tras una etapa en el MIT y un nuevo paso por Harvard, descubrió en Princeton el trabajo de Moses Schönfinkel sobre lógica combinatoria. Se trasladó a Gotinga, donde se doctoró en 1930 bajo la dirección de David Hilbert y colaboró estrechamente con Paul Bernays.

Desde 1929 enseñó durante décadas en la Universidad Estatal de Pensilvania. Durante la Segunda Guerra Mundial trabajó en matemática aplicada para el gobierno estadounidense y, tras la guerra, participó en el proyecto ENIAC. En 1966 pasó a ocupar una cátedra de lógica en la Universidad de Ámsterdam.

Su objetivo era mostrar que la lógica combinatoria podía servir de fundamento a las matemáticas. Este sistema prescinde de variables y construye las funciones a partir de unos pocos operadores básicos. En 1933 supo por John Rosser de la paradoja de Kleene-Rosser, que afectaba a sistemas formales relacionados con el suyo. Curry no abandonó el enfoque; en 1942 publicó la paradoja que hoy lleva su nombre. Su filosofía de las matemáticas fue formalista, en la línea de Hilbert, aunque mostró interés por la lógica intuicionista.

Su legado es doble. La currificación, que convierte una función de varios argumentos en una cadena de funciones de un solo argumento, es hoy un concepto habitual en programación. Además, la correspondencia de Curry-Howard relaciona demostraciones lógicas con programas tipados, y los lenguajes Haskell y Curry llevan su nombre.