PROFILPELAJAR.COM

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[7][8], 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)[9]
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,[10] 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ä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. ^ Katalog der Deutschen Nationalbibliothek, Deutsche Nationalbibliotheks katalog-id-nummer: 12283643X, läst: 8 januari 2026.[källa från Wikidata]
  8. ^ Gemeinsame Normdatei, Deutsche Nationalbibliotheks katalog-id-nummer: 12283643X7749153-1, läst: 20 april 2026.[källa från Wikidata]
  9. ^ Album Academicum, Amsterdams universitets Album Academicum-ID: id001294, läst: 15 september 2019.[källa från Wikidata]
  10. ^ 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

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.