Haskell Curry

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

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

  1. ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
  2. ^ [a b] Encyclopædia Britannica, Encyclopædia Britannica Online-ID: biography/Haskell-Brooks-Currytopic/Britannica-Online, läst: 9 oktober 2017.[källa från Wikidata]
  3. ^ [a b] SNAC, SNAC Ark-ID: w6pw00tr, läs online, läst: 9 oktober 2017.[källa från Wikidata]
  4. ^ Amsterdams universitets Album Academicum-ID: id001294, läst: 9 september 2019.[källa från Wikidata]
  5. ^ Album Academicum, Amsterdams universitets Album Academicum-ID: id001294, läst: 9 september 2019.[källa från Wikidata]
  6. ^ [a b c d e f g h] MacTutor History of Mathematics archive.[källa från Wikidata]
  7. ^ Album Academicum, Amsterdams universitets Album Academicum-ID: id001294, läst: 15 september 2019.[källa från Wikidata]
  8. ^ 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.
Auktoritetsdata