Haskell Curry

Haskell Curry

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, Pennsylvania.

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.

Contenido

Trabajos

  • 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, Volume I; North Holland.
  • 1963 Foundations of mathematical logic; McGrawHill 1963;
  • 1972 Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.; Combinatory Logic, Volume II; North Holland 1972; ISBN 0-7204-2208-6

Véase también

Referencias

  1. ↑ Diccionario Enciclopédico Salvat Universal, editado por Juan Salvat; Publicado por Salvat, 1970. ISBN 8434532212
  2. ↑ Ted Honderich. Enciclopedia Oxford de Filosofía (en español). Publicado por Oxford University Press, 2001; pág 426. ISBN 8430936998

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Haskell Curry — Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé les bases de la… …   Wikipédia en Français

  • Haskell Curry — Infobox Scientist name =Haskell Brooks Curry birth date =September 12, 1900 birth place =Millis, Massachusetts death date =September 1, 1982 death place =State College, Pennsylvania residence = citizenship =USA nationality = ethnicity = field… …   Wikipedia

  • Haskell Curry — Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US amerikanischer Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk …   Deutsch Wikipedia

  • Haskell Curry — Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) es un matemático y lógico estadounidense. Nacido en Millis, Massachusetts, se educó en la universidad de Harvard y recibió un doctorado de Göttingen con Hilbert en 1930.… …   Enciclopedia Universal

  • Haskell Brooks Curry — Haskell Curry Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et décédé le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé… …   Wikipédia en Français

  • Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug …   Wikipedia

  • Haskell — Auteur le comité Haskell Développeurs la communauté Haskell …   Wikipédia en Français

  • Haskell — Información general Paradigma Funcional, no estricto, modular, fuertemente tipificado Apareció en 1990 Diseñado por Universidad de Yale, Universidad de Glasgow …   Wikipedia Español

  • Haskell — may refer to:*Haskell (programming language), a standardized pure functional programming language with non strict semantics * Haskell Indian Nations University, a four year degree granting university in Lawrence, Kansas which offers free tuition… …   Wikipedia

  • Haskell — es un lenguaje de programación funcional e interpretado que obtuvo su nombre del lógico Haskell Curry. Fue creado por un comité en los años 1980 con el objetivo específico de definir dicho lenguaje. El lenguaje evoluciona rápidamente con y (ver… …   Enciclopedia Universal

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”