هاسكل كاري
من ويكيبيديا، الموسوعة encyclopedia
هاسكل بروكس كاري (بالإنجليزية: Haskell Brooks Curry) ولد في 12 سبتمبر 1900 وتوفي في 1 سبتمبر 1982، كان رياضياتي وعالم منطق أمريكي. اشتهر بعمله في مجال المنطق الترابطي. رغم أن المفهوم الأولي في المنطق الترابطي قدم من طرف موسيس شونفينكل في ورقته البحثية. [3] لكن كاري هو من طور المجال أكثر، اشتهر كاري بمفارقة كاري، تكافؤ كاري هوارد. سميت ثلاث لغات برمجة باسمه وهي هاسكل وبروك وكاري.
معلومات سريعة هاسكل بروكس كاري, (بالإنجليزية: Haskell Brooks Curry) ...
هاسكل بروكس كاري | |
---|---|
(بالإنجليزية: Haskell Brooks Curry) | |
معلومات شخصية | |
اسم الولادة | (بالإنجليزية: Haskell Brooks Curry) |
الميلاد | 12 سبتمبر 1900(1900-09-12) ميليس (ماساتشوستس) |
الوفاة | 1 سبتمبر 1982 (81 سنة)
State College، بنسيلفانيا |
الجنسية | أمريكي |
الحياة العملية | |
المؤسسات | جامعة ولاية بنسلفانيا جامعة أمستردام |
المدرسة الأم | جامعة هارفارد |
مشرف الدكتوراه | ديفيد هيلبرت |
المهنة | رياضياتي، وفيلسوف، وأستاذ جامعي، وعالم حاسوب |
اللغة الأم | الإنجليزية |
اللغات | الإنجليزية |
مجال العمل | الرياضيات المنطق |
موظف في | جامعة برينستون[1]، وجامعة ولاية بنسلفانيا[1]، وجامعة أمستردام[2] |
سبب الشهرة | منطق ترابطي تكافؤ كاري - هوارد مفارقة كاري |
تعديل مصدري - تعديل |
إغلاق