هسکل کاری
ریاضیدان آمریکایی
هسکل بروکس کاری (انگلیسی: 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