Haskell Curry
| ||||||||||||||||||
Haskell Curry fue un matemático y lógico estadounidense. Su principal trabajo de se centró en la lógica matemática. Se doctoró por la Universidad de Gotinga (Alemania), tras lo cual ejercería la docencia en la Universidad Estatal de Pensilvania hasta su retiro. Durante la Segunda Guerra Mundial sirvió como matemático en el Arsenal Frankford.
Síntesis biográfica
Nació el 12 de septiembre de 1900 en Millis, Massachusetts, sus padres fueron Samuel Silas Curry y Anna Baright Curry, fundadores de la Escuela de Expresión de Boston, hoy conocida como Curry College. Se graduó de la escuela secundaria en 1916 e ingresó en la Universidad de Harvard con la intención de estudiar medicina. Luego cambió su especialización a matemáticas.
Obtuvo su licenciatura en matemáticas en la Universidad de Harvard en 1920. De 1920 a 1922, estudió ingeniería eléctrica. De 1922 a 1924, estudió física en Harvard; durante el primero de esos dos años, fue asistente de investigación a tiempo parcial de Percy Williams Bridgman, y en 1924 obtuvo una maestría en física.
Fue profesor a tiempo parcial durante el primer semestre de 1926-1927 en Harvard, y entre 1927-1928 en la Universidad de Princeton.
Trabajó en el Frankford Arsenal desde mayo de 1942 hasta enero de 1944, luego en los Laboratorios de Física Aplicada de la Universidad Johns Hopkins hasta marzo de 1945. Después fue al Aberdeen Proving Ground, un sitio de pruebas de armas militares en el condado de Harford al noreste de Maryland. Allí se involucró con la computadora ENIAC publicando A study of inverse interpolation on the ENIAC y A study of fourth order interpolation on the ENIAC ambos en 1946.
Muerte
Muere el 1 de septiembre de 1982 en el State College, Pensilvania.
Contribuciones a la lógica
- Desarrolló la llamada «lógica combinatoria» iniciada por el lógico y matemático ruso Moses Schönfinkel sistematizando su teoría y simplificando su simbología.
- Orientado hacia la metalógica y la filosofía de la matemática, precisó los conceptos de sistema formal y de su aplicabilidad.
- Destacan sus obras Teoría de la deducción formal (1950), Esbozo de una filosofía formalista de la matemática (1951), Lecciones de lógica algebraica (1952), Lógica combinatoria (1958, con Robert Feys) y Fundamentos de lógica matemática (1963), un libro de texto de postgrado ampliamente utilizado.
Fuentes
- Biografías y vidas. Disponible en: https://www.biografiasyvidas.com/biografia/c/curry.htm
- Historia de matemáticos. Disponible en https://mathshistory.st-andrews.ac.uk/Biographies/Curry/
