Haskell Curry

Un article de Wikipédia, l'encyclopédie libre.

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) est un mathématicien et logicien américain. Ses travaux ont posés les bases de la programmation fonctionnelle.

Sommaire

[modifier] Biographie

Né à Millis, dans le Massachusetts, il a fait ses études à Harvard et a obtenu son doctorat à Göttingen en 1930, sous la direction de David Hilbert. Il a enseigné à Harvard, à Princeton et à partir de 1929 à l'Université de l'État de Pennsylvanie. En 1966 il a été nommé professeur à l'Université d'Amsterdam.

Alors qu'il était à Göttingen, Curry lut une introduction à la logique combinatoire, version imprimée du cours de 1920 de Moses Schönfinkel; ce fut d'après lui l'élément le plus déterminant de sa carrière : il écrivit ensuite sa thèse sur la logique combinatoire, théorie apparentée au lambda-calcul qui sert aussi de base à la programmation fonctionnelle. Ayant travaillé dans ce domaine pendant l'ensemble de sa carrière, il en devint le spécialiste principal.

Curry a aussi enseigné et travaillé sur la logique mathématique en général. Le point culminant fut son cours Fondations de la logique mathématique en 1963. Sa philosophie des mathématiques préférée était le formalisme (cf. son live de 1951), dans la ligne de son mentor Hilbert, mais ses écrits témoignent d'une certaine curiosité philosophique et d'une grande ouverture à la logique intuitionniste.

On lui doit le concept de curryfication et la correspondance de Curry-Howard.

[modifier] Hommage

Deux langages de programmation lui doivent leur nom : Haskell et Curry.

[modifier] Voir aussi

[modifier] Références

  • 1951. Outlines of a formalist philosophy of mathematics. North Holland.
  • 1958 (with Robert Feys). Combinatory Logic I. North Holland. La plupart du contenu de cet ouvrage fut rendu obsolète par l'ouvrage de 1972 et les suivants.
  • 1979 (1963). Foundations of Mathematical Logic. Dover.
  • 1972 (with J. R. Hindley, J. P. Seldin). Combinatory Logic II. North-Holland, 1972. Une rétrospective complète de la logique combinatoire, incluant une approche chronologique.
  • Seldin, J.P., and Hindley, J.R., eds., 1980. To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism. Academic Press. Contient une biographie.
Métadonnées personne
NOM Curry, Haskell
NOMS ALTERNATIFS
COURTE DESCRIPTION mathématicien américain
DATE DE NAISSANCE 12 septembre 1900
LIEU DE NAISSANCE Millis (Massachusetts)
DATE DE DÉCÈS 1er septembre 1982
LIEU DE DÉCÈS State College