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ö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 |
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
redigera- ^ [a b] Bibliothèque nationale de France, BnF Catalogue général : öppen dataplattform, läs online, läst: 10 oktober 2015, licens: öppen licens.[källa från Wikidata]
- ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
- ^ [a b] Encyclopædia Britannica, Haskell Brooks Curry, läst: 9 oktober 2017.[källa från Wikidata]
- ^ läst: 9 september 2019.[källa från Wikidata]
- ^ Album Academicum, läst: 9 september 2019.[källa från Wikidata]
- ^ [a b c d e f g h] MacTutor History of Mathematics archive.[källa från Wikidata]
- ^ Album Academicum, läst: 15 september 2019.[källa från Wikidata]
- ^ 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.