Haskell Curry

De Wikipédia, l'encyclopédie libre

Haskell Brooks Curry (12 septembre de 1900 - 1 septembre de 1982) a été un mathématique et logique américain.^[1] Né en Millis, Massachusetts, s'educó dans la Université Harvard et a reçu un doctorado à Göttingen avec David Hilbert en 1930. Il a enseigné dans les universités de Princeton et Harvard, et après, en commençant en 1929, pendant 35 ans dans la Université De l'État de la Pennsylvanie. En 1966 il est arrivé à être professeur de mathématiques en Ámsterdam. Il est mort en State College, Pennsylvania.

Le travail principal de Curry a été en logique mathématique, spécialement dans la théorie de systèmes et procès formels - logique combinatoria, le fondement pour les langages de programmation fonctionnelles.^[2] Les langages de programmation fonctionnelles Haskell et Curry se nomment ainsi par il de même que le procès de en:currying en des langages de programmation fonctionnelles.

Travaux

1930: Grundlagen der kombinatorischen Logik; Amer. J. Math.; 52:509-536;789-834 (1930)
1951: Outlines of À 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