Haskell Curry
| 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.
Referenser[redigera | redigera wikitext]
- ^ [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.
|