Haskell Curry

amerikansk matematiker

Haskell Brooks Curry, född 12 september 1900, död 1 september 1982, var en amerikansk matematiker och logiker. Han är mest känd för sitt arbete inom kombinatorisk logik.

Haskell Curry
FöddHaskell Brooks Curry
12 september 1900[1][2][3]
Millis[4], USA
Död1 september 1982[1][2][3] (81 år)
State College[5], USA
Medborgare iUSA
Utbildad vidHarvard University, [6]
Massachusetts Institute of Technology, [6]
Göttingens universitet, [6]
Harvard University, [6]
SysselsättningMatematiker, universitetslärare, filosof, datavetare
Befattning
Ordförande, Association for Symbolic Logic (1938–1940)
ArbetsgivarePrinceton University (1927–1928)[6]
Pennsylvania State University (1930–1966)[6]
Amsterdams universitet (1966–1970)[7]
FöräldrarSamuel Silas Curry[6]
Anna Baright Curry[6]
Redigera Wikidata

Det ursprungliga begreppet kombinatorisk logik baserades på en enda artikel av Moses Schönfinkel,[8] vilket Curry kom att bygga vidare på. Han är också känt för Currys paradox och Curry–Howard-korrespondensen. Det finns tre programmeringsspråk uppkallad efter honom, Haskell, Brook och Curry, samt begreppet currying, en teknik som används för att transformera funktioner i matematik och datavetenskap.

Referenser