Haskell Curry
logicien et mathématicien états-unien / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Haskell Curry?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir Haskell (homonymie) et Curry (homonymie).
Haskell Brooks Curry (né le et mort le ) 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.
Président Association for Symbolic Logic | |
---|---|
- | |
Curt John Ducasse (en) Cooper Harold Langford (en) |
Naissance | |
---|---|
Décès | |
Nom de naissance | |
Nationalité | |
Formation | |
Activités | |
Père |
Samuel Silas Curry (en) |
Mère |
Anna Baright Curry (en) |
A travaillé pour | |
---|---|
Maître | |
Directeur de thèse | |
Influencé par |