Enseñó en las universidades de Princeton y Harvard, y después, comenzando en 1929, durante 35 años en la Universidad Estatal de Pensilvania. Haskell Brooks Curry (12 de septiembre de 1900 - 1 de septiembre de 1982) fue un matemático y lógico estadounidense. Nacido en, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en 1930.À titre d'hommage, trois langages de programmation portent son nom - Haskell, (en) et (en) - de même que l'opération de curryfication.
Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. 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 a développé la majeure partie. Ses travaux ont posé les bases de la programmation fonctionnelle. Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain.There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.
Curry is also known for Curry's paradox and the Curry–Howard correspondence. While the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, Curry did much of the development. Curry is best known for his work in combinatory logic. Haskell Brooks Curry (/ˈhæskəl/ Septem– September 1, 1982) was an American mathematician and logician.Haskell Brooks Curry estatubatuar matematikaria izan zen.Estas tri programlingvoj nomitaj honore de li, Haskell, kaj, ankaŭ la koncepto currying, nome maniero kiun oni uzas por transformi funkciojn en matematiko kaj informadiko.
#Haskell curry pro#
Curry estas plej konata pro sia laboro en kvankam la komenca koncepto de kombinatora logiko estis bazita sur artikolo de, Curry evoluis ĝin multe ankaŭ pro kaj la.
0 kommentar(er)
