Haskell Curry
En el presente artículo se abordará el tema de Haskell Curry, el cual ha cobrado gran relevancia en los últimos años. A lo largo de la historia, Haskell Curry ha sido objeto de estudio e interés por parte de expertos en diversas disciplinas, y ha sido fuente de debate y reflexión para la sociedad en general. Con el objetivo de comprender más a fondo la importancia de Haskell Curry en el contexto actual, se analizarán diferentes perspectivas y enfoques que permitirán obtener una visión integral de este tema. Asimismo, se explorarán las implicaciones que el estudio de Haskell Curry tiene en distintos ámbitos, como la cultura, la política, la ciencia, entre otros. A través de un análisis exhaustivo, se pretende proporcionar al lector una visión amplia y actualizada sobre Haskell Curry, aportando nuevas reflexiones y conocimientos que contribuyan a enriquecer la comprensión de este fenómeno.
| 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 (81 años) State College (Estados Unidos) | |
| 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. 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. 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
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
Referencias
- ↑ 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
- 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
- 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"
| Control de autoridades |
|
|---|
Datos: Q92611