هسکل کاری

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

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

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