هسکل کاری

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

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

منابع[ویرایش]