Haskell Curry
Haskell Curry | ||
---|---|---|
Información personal | ||
Nombre de nacimiento | Haskell Brooks Curry | |
Nacimiento |
12 de septiembre de 1900 Millis (Estados Unidos) | |
Fallecimiento |
1 de septiembre de 1982 State College (Estados Unidos) | (81 años)|
Nacionalidad | Estadounidense | |
Lengua materna | Inglés | |
Familia | ||
Padres |
Samuel Silas Curry Anna Baright Curry | |
Educación | ||
Educado en |
| |
Supervisor doctoral | David Hilbert | |
Alumno de | Paul Bernays | |
Información profesional | ||
Ocupación | Matemático, filósofo, profesor universitario e informático teórico | |
Cargos ocupados | Presidente de Association for Symbolic Logic (1938-1940) | |
Empleador |
| |
Obras notables | ||
Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense.[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930. Enseñó en las universidades de Princeton y Harvard, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. En 1966 llegó a ser profesor de matemáticas en Ámsterdam. Murió en State College, Pensilvania.
El trabajo principal de Curry fue en lógica matemática, especialmente en la teoría de sistemas y procesos formales - lógica combinatoria, el fundamento para los lenguajes de programación funcionales.[2] Los lenguajes de programación funcionales Haskell y Curry se nombran así por él al igual que el proceso de currificación en lenguajes de programación funcionales.
Trabajos
[editar]El objetivo del trabajo de Curry, fue demostrar que la lógica combinatoria sienta las bases para las matemáticas. Hacia finales del 1933, aprendió de la paradoja de Kleene-Rosser gracias a John Rosser.
- 1930. Grundlagen der kombinatorischen Logik; Amer. J. Math. 52:509-536 ;789-834 (1930)
- 1951. Outlines of a formalist philosophy of mathematics. North Holland
- 1958. Curry, Haskell B., Feys, Robert; Combinatory Logic, vol. I; North Holland
- 1963. Foundations of mathematical logic; McGrawHill 1963
- 1972. Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.; Combinatory Logic, vol. II; North Holland 1972; ISBN 0-7204-2208-6
Véase también
[editar]Referencias
[editar]- ↑ Diccionario Enciclopédico Salvat Universal, editado por Juan Salvat; Publicado por Salvat, 1970. ISBN 8434532212
- ↑ Ted Honderich. Enciclopedia Oxford de Filosofía (en español). Publicado por Oxford University Press, 2001; pág 426. ISBN 8430936998
Literatura
[editar]- s. Gottwald, h.-j. Ilgauds, k.-h. Schlote (eds.) Lexikon bedeutender Mathematiker, Verlag Harri Thun, Frankfurt a. M. 1990 ISBN 3-8171-1164-9
Enlaces externos
[editar]- portada de LC-I castellano Tecnos
- O'Connor, John J.; Robertson, Edmund F., «Haskell Brooks Curry» (en inglés), MacTutor History of Mathematics archive, Universidad de Saint Andrews, https://mathshistory.st-andrews.ac.uk/Biographies/Curry/.
- 1920-1931 block de notas
- Notas y foto en la página del lenguaje "Haskell"
- Hombres
- Nacidos en 1900
- Fallecidos en 1982
- Informáticos de Estados Unidos
- Matemáticos de Estados Unidos
- Filósofos de la matemática
- Alumnado de la Universidad de Harvard
- Profesores de la Universidad Estatal de Pensilvania
- Profesores de la Universidad de Harvard
- Profesores de la Universidad de Princeton
- Personas de Massachusetts