Haskell Curry

Haskell Curry Imagen en Infobox. Función
Presidente de la
Asociación de Lógica Simbólica
1938-1940
Curt John Ducasse ( en ) Cooper Harold Langford ( en )
Biografía
Nacimiento 12 de septiembre de 1900
Millis ( en )
Muerte 1 st de septiembre de 1,982 mil(a los 81 años)
State College
Nombre en idioma nativo Haskell Brooks Curry
Nombre de nacimiento Haskell Brooks Curry
Nacionalidad americano
Capacitación Universidad de Harvard (1916-1920)
Instituto de Tecnología de Massachusetts (1920-1922)
Universidad de Harvard (1922-1924)
Universidad de Göttingen (1928-1930)
Ocupaciones Matemático , filósofo , profesor universitario , informático
Padre Samuel Silas Curry ( en )
Mamá Anna Baright Curry ( en )
Otras informaciones
Trabajé para Universidad de Princeton (1927-1928) , Universidad Estatal de Pensilvania (1930-1966) , Universidad de Amsterdam (1 st de septiembre de 1966 -1 st de septiembre de 1 970)
Maestría Paul Bernays
Director de tesis David Hilbert
Influenciado por Alfred North Whitehead
Obras primarias
Correspondencia Curry-Howard , Paradox Curry , curry

Haskell Brooks Curry (nacido el12 de septiembre de 1900 y muerto el 1 st de septiembre de 1,982 mil) Fue un lógico y matemático estadounidense . Su trabajo sentó las bases de la programación funcional . Curry es mejor conocido por su trabajo sobre lógica combinatoria  : mientras que el concepto de lógica combinatoria se basó en un solo artículo de Moses Schönfinkel , Curry desarrolló la mayor parte. Curry también es conocido por Curry Paradox y por la correspondencia Curry-Howard . Como homenaje, tres lenguajes de programación llevan su nombre - Haskell , Brook  (en) y Curry  (en) - así como la operación de currificación .

Biografía

Haskell Curry nació el 12 de septiembre de 1900en Millis , Massachusetts . Sus padres, Samuel Silas Curry y Anna Baright, dirigían una escuela de habla en Boston . Su padre era el director, mientras que su madre era la directora.

En la escuela secundaria, Haskell no mostró ningún interés particular en las matemáticas y en ese momento quería convertirse en médico. Después de la secundaria regresó a Harvard en 1916 para estudiar medicina. Sin embargo, toma el curso opcional de matemáticas. Al encontrar este curso interesante, y creyendo que sería más útil servir al país que entró en la guerra para estudiar matemáticas que medicina, cambió su curso y se inscribió en el Cuerpo de Entrenamiento del Ejército de Estudiantes en18 de octubre de 1918. Deja el ejército en9 de octubre de 1918y continuó sus estudios de matemáticas en Harvard, donde obtuvo una licenciatura en artes en 1920.

Comenzó una carrera en ingeniería eléctrica en General Electric . Durante este tiempo, está estudiando ingeniería eléctrica en el Instituto de Tecnología de Massachusetts (MIT) a tiempo parcial. Más interesado en las ciencias teóricas que en las aplicadas, cambió de curso en 1922 para estudiar física. Luego regresó a Harvard para continuar sus estudios allí, donde obtuvo simultáneamente un puesto de asistente de investigación. Se graduó de Harvard con una maestría en física en 1924.

Comenzó sus estudios de doctorado en matemáticas en Harvard en 1924 bajo la supervisión de George Birkhoff . El tema de su tesis es la teoría de ecuaciones diferenciales. Habiendo comenzado a leer libros sobre lógica matemática, se da cuenta de que este tema le interesa más que el que comenzó. Intenta cambiar de tema, pero se le aconseja que no lo haga. Durante el primer semestre del año académico 1926/1927, trabajó como profesor de matemáticas a tiempo parcial en Harvard. Fue durante este período que descubrió los Principia Mathematica de Alfred North Whitehead y Bertrand Russell . Este libro es un intento de fundar las matemáticas a través de la lógica simbólica. Luego tuvo la idea de utilizar la lógica combinatoria para analizar las reglas de sustitución presentadas en la primera parte del libro. Pide de nuevo que cambie de tema por lógica. Esta vez le respondemos positivamente. La respuesta de Norbert Wiener del MIT fue elocuente: "Evite la lógica a menos que tenga algo que decir, ¡pero ahora ciertamente tiene algo que decir!" "

Habiendo terminado su tema sobre ecuaciones diferenciales, y antes de embarcarse en su nuevo tema sobre lógica, trabajó un año en Princeton como profesor de matemáticas. Fue allí donde descubrió el artículo de Moses Schönfinkel titulado Über die Bausteine ​​der mathischen Logik . Este artículo introduce la lógica combinatoria y desarrolla ideas similares a las que le dio la lectura de Principia Mathematica . Sin embargo, este tema fue objeto de un solo artículo y el autor se encontraba en ese momento en un hospital psiquiátrico. Por lo tanto, hay material para un tema de tesis en el desarrollo de este tema, pero se necesita un director de tesis. Oswald Veblen le aconsejó Paul Bernays de la Universidad de Göttingen . Para aumentar sus posibilidades de obtener una beca, Curry amplía sus ideas sobre la lógica combinatoria en un artículo titulado Un análisis de la sustitución lógica . Este es su primer artículo y fue publicado en el American Journal of Mathematics en 1929.

Haskell se casó con Mary Virginia Wheatly en 3 de julio de 1928y la pareja se mudó a Gotinga . Defendió su tesis un año después, el24 de julio de 1929. Su manuscrito se titula Grundlagen der kombinatorischen Logik (Fundamentos de la lógica combinatoria) y fue publicado en el American Journal of Mathematics en 1930. Su director de tesis fue David Hilbert , pero su supervisor más involucrado en su trabajo fue Paul Bernays.

Después de su tesis, Curry regresó a los Estados Unidos, donde ocupó un puesto en la Universidad de Pensilvania, donde permaneció hasta su jubilación en 1966. También fue miembro de la Universidad de Chicago entre 1931 y 1932, y del Institute for Advanced Estudia en Princeton entre 1938 y 1939.

En 1936 cofundó la Association for Symbolic Logic, de la que fue vicepresidente entre 1936 y 1937 y luego presidente entre 1938 y 1940.

Durante la Segunda Guerra Mundial , Curry se dedicó a trabajar en matemáticas aplicadas. Trabajó para el Frankford Arsenal de 1942 a 1944, luego en el Laboratorio de Física Aplicada Johns Hopkins hastaMarzo de 1945. Luego trabajó en la computadora ENIAC y luego regresó a la Universidad de Pennsylvania.

En 1966 fue nombrado profesor de lógica, historia de la lógica y filosofía de la ciencia en la Universidad de Amsterdam . Permaneció allí cuatro años antes de regresar a la Universidad de Pensilvania, donde murió el1 st de septiembre de 1,982 mil.

Contribuciones científicas

Su teoría está relacionada con el cálculo lambda que también sirve como base para la programación funcional . Habiendo trabajado en este campo a lo largo de su carrera, se convirtió en su principal especialista.

Curry también enseñó y trabajó en lógica matemática en general. Lo más destacado fue su curso de Fundamentos de la lógica matemática en 1963. Su filosofía de las matemáticas favorita fue el formalismo (cf. su libro de 1951), en la línea de su mentor Hilbert, pero sus escritos muestran una cierta curiosidad filosófica y una gran apertura a la lógica intuicionista .

Le debemos la correspondencia Curry-Howard .

La paradoja de Curry es una paradoja de autorreferencia (o circular).

Tributo

Tres lenguajes de programación le deben su nombre: Haskell , Brook  (en) y Curry  (en) .

Ver también

Artículos relacionados

Referencias

enlaces externos