Haskell Curry

Pour les articles homonymes, voir Haskell (homonymie) et Curry (homonymie).

Haskell Curry

Fonction

Président Association for Symbolic Logic
1938-1940
Curt John Ducasse (en) Cooper Harold Langford (en)

Biographie

Naissance	12 septembre 1900 Millis
Décès	1er septembre 1982 (à 81 ans) State College
Nom de naissance	Haskell Brooks Curry
Nationalité	américaine
Formation	Université Harvard (1916-1920) Massachusetts Institute of Technology (1920-1922) Université Harvard (1922-1924) Université de Göttingen (1928-1930)
Activités	Mathématicien, professeur d'université, philosophe, informaticien
Père	Samuel Silas Curry (en)
Mère	Anna Baright Curry (en)

Autres informations

A travaillé pour	Université d'Amsterdam (1er septembre 1966 - 1er septembre 1970) Université d'État de Pennsylvanie (1930-1966) Université de Princeton (1927-1928)
Maître	Paul Bernays
Directeur de thèse	David Hilbert
Influencé par	Alfred North Whitehead

Œuvres principales

Correspondance de Curry-Howard, paradoxe de Curry, Curryfication

modifier - modifier le code - modifier Wikidata

Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1^er septembre 1982) est un logicien et mathématicien américain. Ses travaux posent les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en développe la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom - Haskell, Brook (en) et Curry (en) - de même que l'opération de curryfication.