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,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. 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
Kategori:Män Kategori:Födda 1900 Kategori:Avlidna 1982 Kategori:Matematikfilosofer Kategori:Alumner från Harvard University Kategori:Personer verksamma vid Universiteit van Amsterdam Kategori:Personer verksamma vid Princeton University Kategori:Personer verksamma vid Pennsylvania State University Kategori:Personer verksamma vid Harvard University Kategori:Personer från Millis