Haskell Curry

Haskell Curry
HaskellBCurry.jpg
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
MedborgarskapUSA
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] 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]
  2. ^ [a b] MacTutor History of Mathematics archive, läst: 22 augusti 2017.[källa från Wikidata]
  3. ^ [a b] Encyclopædia Britannica, Encyclopædia Britannica Online-ID: biography/Haskell-Brooks-Currytopic/Britannica-Online, omnämnd som: Haskell Brooks Curry, 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.

Media som används på denna webbplats

Arbcom ru editing.svg
Icon of simple gray pencil. An icon for Russian Wikipedia RFAR page.
HaskellBCurry.jpg
Författare/Upphovsman: Gleb.svechnikov, Licens: CC BY-SA 4.0
Photo of Haskell B. Curry.