هاسكل كاري

هاسكل بروكس كاري (بالإنجليزية: Haskell Brooks Curry) ولد في 12 سبتمبر 1900 وتوفي في 1 سبتمبر 1982، كان رياضياتي وعالم منطق أمريكي. اشتهر بعمله في مجال المنطق الترابطي. رغم أن المفهوم الأولي في المنطق الترابطي قدم من طرف موسيس شونفينكل في ورقته البحثية. [4] لكن كاري هو من طور المجال أكثر، اشتهر كاري بمفارقة كاري، تكافؤ كاري هوارد. سميت ثلاث لغات برمجة باسمه وهي هاسكل وبروك وكاري.

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

حياته

ولد كاري في 12 سبتمبر 1900 بميليس، ماساتشوستس، دخل جامعة هارفارد في عام 1916 لدراسة الطب لكنه تحول إلى الرياضيات قبل تخرجه عام 1920. بعد عامين من  تخرجه في الدراسات العليا في الهندسة الكهربائية بمعهد ماساتشوستس للتكنولوجيا، عاد إلى جامعة هارفارد لدراسة الفيزياء، وحصل على الماجستير في عام 1924. تابع كاري درجة الدكتوراه للرياضيات في هافارد. بينما كان جورج بيركوف يوجهه للعمل على المعادلات التفاضلية، تحولت اهتماماته إلى مجال المنطق. انتقل إلى غوتينغن حيث يمكنه العمل مع هاينريش بهمان وبول بيرنيس الذان كانا على دراية بعمل شونفنكل. وعمل كاري تحت إشراف ديفيد هيلبرت وعمل عن كثب مع بول، وحصل على درجة الدكتوراه في عام 1930 مع أطروحة عن المنطق التتابعي.[5]

توفي هاسكل كاري في 1 سبتمبر عام 1982 في ستيت كوليج، بنسلفانيا.

عمله

ركز كاري في محاولات لتبيين أن المنطق الترابطي يمكنه أن يوفر أساسا للرياضيات. في نهاية عام 1933 ، علم كاري بمفارقة كلين-روسر عن طريق مراسلات مع جون روسر. أثبتت المفارقة تناقض في عدد من النظم الشكلية بما في ذلك واحد مقترح من قبل ألونزو تشرتش ونظام كاري.[5] ومع ذلك، على عكس شرتش وروسر وكلين، لم يتخلى كاري عن النهج التأسيسي، قائلا أنه لا يريد أن «يتهرب من المفارقات.»[6]

في عام 1947 وصف كاري واحدة من أولى لغات البرمجة عالية المستوى وقدم أول وصف لإجراء تحويل صيغة حسابية عامة، إلى كود عنوان أحادي للكمبيوتر. [7]


روابط خارجية

مراجع
  1. المؤلف: المكتبة الوطنية الفرنسية — http://data.bnf.fr/ark:/12148/cb12364677d — تاريخ الاطلاع: 10 أكتوبر 2015 — الرخصة: رخصة حرة
  2. المخترع: جون أوكونور و إدموند روبرتسون
  3. معرف الألبوم الأكاديمي لجامعة أمستردام: http://albumacademicum.uva.nl/id/id001294 — تاريخ الاطلاع: 15 سبتمبر 2019
  4. 1924. "Über die Bausteine der mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Translated by Stefan Bauer-Mengelberg as "On the building blocks of mathematical logic" in Jean van Heijenoort [الإنجليزية], 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press: 355–66.
  5. Seldin, Jonathan، "The Logic of Curry and Church". {{استشهاد بدورية محكمة}}: Cite journal requires |journal= (مساعدة)
  6. Barendregt, H.P.، The Lambda Calculus: Its Syntax and Semantics، Elsevier، ص. 4.
  7. Knuth, Donald E.; Pardo, Luis Trabb (1976). "Early development of programming languages". Stanford University, Computer Science Department, p. 22

انظر أيضا
  • بوابة أعلام
  • بوابة الولايات المتحدة
  • بوابة تقنية المعلومات
  • بوابة علم الحاسوب
  • بوابة فلسفة
  • بوابة منطق
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.