هسکل کاری

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

هسکل کاری
زادهٔ۱۲ سپتامبر ۱۹۰۰&#۱۶۰;(۱۹۰۰-۰۹-۱۲)
درگذشت۱ سپتامبر ۱۹۸۲ (۸۱ سال)
استیت کالج
شهروندیایالات متحده آمریکا
محل تحصیلدانشگاه هاروارد
شناخته‌شده برای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.