Haskell Curry | |
Född | Haskell Brooks Curry 12 september 1900[1][2][3] Millis[4], USA |
---|---|
Död | 1 september 1982[1][2][3] (81 år) State College[5], USA |
Medborgare i | USA |
Utbildad vid | Harvard University, [6] Massachusetts Institute of Technology, [6] Göttingens universitet, [6] Harvard University, [6] ![]() |
Sysselsättning | Matematiker, universitetslärare, filosof, datavetare |
Befattning | |
Ordförande, Association for Symbolic Logic (1938–1940) | |
Arbetsgivare | Princeton University (1927–1928)[6] Pennsylvania State University (1930–1966)[6] Amsterdams universitet (1966–1970)[7] |
Föräldrar | Samuel Silas Curry[6] Anna Baright Curry[6] |
Redigera Wikidata |
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.
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.
|