Curry, Haskell

Curry, Haskell
● np. m. ►PERS (1900-1982). Mathématicien américain (?) s'étant particulièrement intéressé à la logique et à la théorie des systèmes formels. On lui a volé son prénom pour baptiser un langage: Haskell, et son nom pour la curryfication.

Dictionnaire d'informatique francophone. 2013.

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Curry, Haskell Brooks — ▪ American mathematician born , September 12, 1900, Millis, Massachusetts, U.S. died September 1, 1982, State College, Pennsylvania       American mathematician and educator whose research in logic led to his theory of formal systems (formal… …   Universalium

  • Haskell Brooks Curry — Haskell Curry Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et décédé le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé… …   Wikipédia en Français

  • Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug …   Wikipedia

  • Haskell — Класс языка: функциональный, ленивый, модульный Тип исполнения: компилируемый, интерпретируемый Появился в: 1990 …   Википедия

  • Haskell Curry — Haskell Brooks Curry (* 12. September 1900 in Millis, Massachusetts, USA; † 1. September 1982 in State College, Pennsylvania, USA) war ein US amerikanischer Logiker und Mathematiker. Inhaltsverzeichnis 1 Leben 2 Werk …   Deutsch Wikipedia

  • Haskell Curry — Haskell Brooks Curry (12 de septiembre de 1900 1 de septiembre de 1982) fue un matemático y lógico estadounidense.[1] Nacido en Millis, Massachusetts, se educó en la Universidad Harvard y recibió un doctorado en Göttingen con David Hilbert en… …   Wikipedia Español

  • Curry (Begriffsklärung) — Curry ist der Name einer Gewürzmischung und eines indischen Gerichts, siehe Curry Teilweise davon abgeleitet wurden die Namen von Currybaum Currykraut Currywurst Curry bezeichnet in der Geografie den Berg Mount Curry (551 m) auf Zavodovski Island …   Deutsch Wikipedia

  • Haskell Curry — Pour les articles homonymes, voir Haskell et Curry (homonymie). Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un mathématicien et logicien américain. Ses travaux ont posé les bases de la… …   Wikipédia en Français

  • Haskell Curry — Infobox Scientist name =Haskell Brooks Curry birth date =September 12, 1900 birth place =Millis, Massachusetts death date =September 1, 1982 death place =State College, Pennsylvania residence = citizenship =USA nationality = ethnicity = field… …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”