هسکل کاری
هسکل بروکس کاری (انگلیسی: 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., "هسکل کاری", بایگانی تاریخچه ریاضیات مکتیوتر, دانشگاه سنت اندروز.
- Curry archives provides images of several hundred manuscript pages from 1920 to 1931.
- CLg. bibliography 587 pp
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.