هسکل کاری

ریاضی‌دان آمریکایی

هسکل بروکس کاری (انگلیسی: Haskell Brooks Curry؛ زاده ۱۲ سپتامبر ۱۹۰۰ درگذشته ۱ سپتامبر ۱۹۸۲) یک دانشمند در زمینه ریاضیات و منطق اهل ایالات متحده آمریکا بود. علت شهرت او کارهایش بر روی منطق ترکیبی است. زبان‌های برنامه‌نویسی هسکل و کیوری نیز به افتخار او نام‌گذاری شده‌اند.

هسکل کاری
زادهٔ۱۲ سپتامبر ۱۹۰۰&#۱۶۰;(۱۹۰۰-۰۹-۱۲)
درگذشت۱ سپتامبر ۱۹۸۲ (۸۱ سال)
شهروندیایالات متحده آمریکا
محل تحصیلدانشگاه هاروارد
شناخته‌شده
برای
Combinatory logic
Curry–Howard correspondence
Curry's paradox
پیشینه علمی
شاخه(ها)ریاضیات
منطق
محل کاردانشگاه ایالتی پنسیلوانیا
دانشگاه آمستردام
استاد راهنماداوید هیلبرت
دانشجویان دکتریMaarten Bunder
Edward Cogan
Bruce Lercher
Hilbert Levitz
Kenneth Lowen
Luis Sanchis
Jonathan Seldin
تأثیر گرفته ازآلفرد نورث وایت‌هد
برتراند راسل
موسی شنفینکل

منابع

ویرایش
  • مشارکت‌کنندگان ویکی‌پدیا. «Haskell Curry». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ آوریل ۲۰۱۴.
  • «Haskell Curry». دریافت‌شده در ۱۹ آوریل ۲۰۱۴.[پیوند مرده]

پیوند به بیرون

ویرایش
  • Seldin, Jonathan P. "Haskell Brooks Curry (1900-1982)". Internet Encyclopedia of Philosophy.
  • O'Connor, John J.; Robertson, Edmund F., "هسکل کاری", MacTutor History of Mathematics archive, University of St Andrews
  • Curry archives provides images of several hundred manuscript pages from 1920 to 1931.
  • CLg. bibliography 587 pp