هاسكل كاري

هاسكل بروكس كاري ( ‎/ ˈhæskəl / ‎؛ 12 سبتمبر 1900 - 1 سبتمبر 1982) كان عالم رياضيات وعلوم حاسوب أمريكيًا . اشتهر كاري بإسهاماته في المنطق التوافقي . على الرغم من أن المفهوم الأولي لهذا المنطق استند إلى ورقة بحثية لموسى شونفينكل ، [ ^{1 ] إلا} أن كاري قام بمعظم تطويره. يُعرف كاري أيضًا بمفارقة كاري وتطابق كاري-هوارد . سُميت لغات البرمجة هاسكل وبروك وكاري ، ومفهوم "التقييم الجزئي" ( Currying )، وهو أسلوب لتحويل الدوال، يُستخدم في الرياضيات وعلوم الحاسوب ، باسمه .

وُلد كاري في 12 سبتمبر 1900 في ميليس ، ماساتشوستس ، لوالديه صموئيل سيلاس كاري وآنا باريت كاري ، اللذين كانا يديران مدرسة لتعليم فن الإلقاء . التحق بجامعة هارفارد عام 1916 لدراسة الطب، لكنه حوّل تخصصه إلى الرياضيات قبل تخرجه عام 1920. بعد عامين من الدراسات العليا في الهندسة الكهربائية في معهد ماساتشوستس للتكنولوجيا (MIT)، عاد إلى هارفارد لدراسة الفيزياء ، وحصل على درجة الماجستير في الآداب عام 1924. بدأ اهتمام كاري بالمنطق الرياضي خلال هذه الفترة عندما اطلع على كتاب "الأصول الرياضية للفلسفة الطبيعية" ( Principia Mathematica) ، وهو محاولة ألفريد نورث وايتهيد وبرتراند راسل لتأسيس الرياضيات على المنطق الرمزي. بقي كاري في هارفارد، حيث سعى للحصول على درجة الدكتوراه في الفلسفة (Ph.D.) في الرياضيات. وبينما كان جورج ديفيد بيركوف يوجهه للعمل على المعادلات التفاضلية ، استمر اهتمامه في التحول نحو المنطق. في عام ١٩٢٧، وأثناء عمله كمحاضر في جامعة برينستون ، اكتشف كاري أعمال موسى شونفينكل في المنطق التوافقي. وقد سبقت أعمال شونفينكل الكثير من أبحاث كاري، ونتيجة لذلك، انتقل إلى جامعة غوتنغن حيث أتيحت له فرصة العمل مع هاينريش بهمان وبول بيرنايز ، اللذين كانا على دراية بأعمال شونفينكل. أشرف ديفيد هيلبرت على كاري ، وعمل عن كثب مع بيرنايز، وحصل على درجة الدكتوراه عام ١٩٣٠ عن أطروحته في المنطق التوافقي. ^{[ ٢ ]}

في عام ١٩٢٨، وقبل مغادرته إلى غوتينغن، تزوج كاري من ماري فيرجينيا ويتلي. أقام الزوجان في ألمانيا بينما كان كاري يُنهي أطروحته، ثم انتقلا في عام ١٩٢٩ إلى ستيت كوليدج، بنسلفانيا ، حيث قبل كاري وظيفة في جامعة ولاية بنسلفانيا . أنجبا طفلين، آن رايت كاري (٢٧ يوليو ١٩٣٠) وروبرت ويتلي كاري (٦ يوليو ١٩٣٤). بقي كاري في جامعة ولاية بنسلفانيا لمدة ٣٧ عامًا تالية. أمضى عامًا في جامعة شيكاغو في الفترة ١٩٣١-١٩٣٢ بمنحة بحثية وطنية ، وعامًا آخر في الفترة ١٩٣٨-١٩٣٩ في معهد الدراسات المتقدمة في برينستون. في عام ١٩٤٢، حصل على إجازة للعمل في مجال الرياضيات التطبيقية لصالح حكومة الولايات المتحدة خلال الحرب العالمية الثانية ، وتحديدًا في ترسانة فرانكفورد . مباشرةً بعد الحرب، عمل على مشروع إينياك في عامي 1945 و1946. وبموجب منحة فولبرايت ، تعاون مع روبرت فيس في لوفان ، بلجيكا. بعد تقاعده من جامعة ولاية بنسلفانيا عام 1966، قبل كاري منصبًا في جامعة أمستردام . وفي عام 1970، بعد إتمامه المجلد الثاني من أطروحته حول المنطق التوافقي، تقاعد كاري من جامعة أمستردام وعاد إلى ستيت كوليدج، بنسلفانيا.

توفي هاسكل كاري في الأول من سبتمبر عام 1982 (1982-09-01) (عمره 81 عامًا) في ستيت كوليدج، بنسلفانيا. 

انصبّ تركيز عمل كاري على محاولات إثبات أن المنطق التوافقي يُمكن أن يُشكّل أساسًا للرياضيات. وفي أواخر عام ١٩٣٣، تعرّف على مفارقة كلين-روسر من خلال مراسلاته مع جون روسر . وقد أثبتت هذه المفارقة، التي طوّرها روسر وستيفن كلين ، عدم اتساق عدد من الأنظمة الشكلية ذات الصلة ، بما في ذلك نظام اقترحه ألونسو تشيرش (وهو نظام يتضمن حساب لامدا كنظام فرعي متسق) ونظام كاري نفسه. ^{[ ٢ ]} ومع ذلك، وعلى عكس تشيرش وكلين وروسر، لم يتخلَّ كاري عن النهج التأسيسي، قائلاً إنه لا يريد "الهروب من المفارقات". ^{[ ٣ ]}

بفضل عمله في مجال المنطق التوافقي طوال مسيرته المهنية، أصبح كاري مؤسس هذا المجال وأبرز أسمائه. يُعدّ المنطق التوافقي أساسًا لأحد أنماط لغات البرمجة الوظيفية . تتشابه قوة ونطاق المنطق التوافقي إلى حد كبير مع حساب لامدا لتشرش، وقد هيمن هذا الأخير على المجال في العقود الأخيرة.

خلال الحرب العالمية الثانية، عمل كاري في ترسانة فرانكفورد ، حيث طور خوارزمية الانحدار الأسرع ، استناداً إلى عمل كوشي . ^{[ 4 ]} أصبح هذا مثالاً أساسياً لأساليب الانحدار التدرجي الحديثة .

في عام 1947، وصف كاري أيضًا إحدى لغات البرمجة عالية المستوى الأولى ، وقدم أول وصف لإجراء لتحويل تعبير حسابي عام إلى رمز لأجهزة الكمبيوتر ذات العنوان الواحد. ^{[ 5 ]}

درّس في جامعتي هارفارد وبرينستون ، ومن عام 1929 إلى عام 1966 في جامعة ولاية بنسلفانيا . وفي عام 1942، نشر كتابه "مفارقة كاري" . وفي عام 1966، أصبح أستاذاً للمنطق وتاريخه وفلسفة العلوم الدقيقة في جامعة أمستردام ، خلفاً لإيفرت ويليم بيث . ^{[ 6 ]}

كتب كاري ودرّس المنطق الرياضي بشكل عام؛ وبلغت جهوده في هذا المجال ذروتها في كتابه " أسس المنطق الرياضي" عام 1963. كانت فلسفته المفضلة في الرياضيات هي الشكلية (انظر كتابه الصادر عام 1951)، متأثرًا بمعلمه هيلبرت، لكن كتاباته تكشف عن فضول فلسفي كبير وعقلية منفتحة جدًا على المنطق الحدسي .

• "Grundlagen der Kombinatorischen Logik" [ أسس المنطق التوافقي ] . المجلة الأمريكية للرياضيات (بالألمانية). 52 (3). مطبعة جامعة جونز هوبكنز: 509-536 . 1930. doi : 10.2307/2370619 . JSTOR 2370619 . 
• نظرية الاستدلال الرسمي . مطبعة جامعة نوتردام. 1950.^{[ 7 ]}
  • نظرية الاستدلال الرسمي (  الطبعة الثانية). مطبعة جامعة نوتردام. 1957.
• ملامح فلسفة شكلية للرياضيات . أمستردام: إلسيفير ساينس. 1951. تم الاطلاع عليه بتاريخ 23 يوليو 2012 .رقم الكتاب المعياري الدولي (ISBN) 0444533680.
• Leçons de logique algébrique (بالفرنسية). باريس: غوتييه فيلار. 1952.^{[ 8 ]}
• كاري، هاسكل بروكس ؛ فيس، روبرت (1958). المنطق التوافقي . المجلد  الأول. أمستردام: شركة نورث هولاند للنشر .رقم الكتاب المعياري الدولي (ISBN) 0-7204-2208-6.
• أسس المنطق الرياضي . ماكجرو هيل. 1963.
  • أسس المنطق الرياضي (طبعة دوفر الكاملة والمصححة ). نيويورك: منشورات دوفر. 1977. ISBN 0-486-63462-0تم الاطلاع عليه بتاريخ 23 يوليو 2012 .
• كاري، هاسكل بروكس ؛ هيندلي، ج. روجر ؛ سيلدين، جوناثان ب. (1972). المنطق التوافقي . المجلد  الثاني. أمستردام: نورث هولاند. ISBN 0-7204-2208-6.

• سيلدين وهيندلي (1980) - يتضمن مقالاً سيرياً.

• باريندريخت، هندريك بيتر (1984). حساب لامدا، تركيبه ودلالاته. دراسات في المنطق وأسس الرياضيات . المجلد  103. نورث هولاند . ISBN 0-444-87508-5.
• كنوت، دونالد إرفين ؛ باردو، لويس تراب (1976). التطور المبكر للغات البرمجة . جامعة ستانفورد، قسم علوم الحاسوب.
• ماركوس، ر. باركان (1952). "مراجعة: Leçons de logique algébrique ، بقلم HB Curry" . نشرة الجمعية الرياضية الأمريكية . 58 (2): 673-674 . دوى : 10.1090 / s0002-9904-1952-09657-9 .
• نيلسون، د. (1952). "مراجعة: نظرية الاستدلال الرسمي ، بقلم هـ. ب. كاري" . نشرة الجمعية الرياضية الأمريكية . 58 (3): 415-417 . doi : 10.1090/s0002-9904-1952-09596-3 .
• شونفينكل ، موسى (1924). "Über die Bausteine ​​der mathematischen Logik" (PDF) . Mathematische Annalen (باللغة الألمانية). 92 ( 3 – 4): 305 – 316. دوى : 10.1007 / bf01448013 . S2CID 118507515 . المقالة التي أسست المنطق التوافقي. الترجمة الإنجليزية: شونفينكل (1967) 
• شونفينكل، موسى (1967) [1924]. فان هيجينورت، جان (محرر). Über die Bausteine ​​der mathematischen Logik [ حول اللبنات الأساسية للمنطق الرياضي ] . من Frege إلى Gödel: كتاب مصدر في المنطق الرياضي، 1879-1931. ترجمة باور-منجلبيرج، ستيفان. كامبريدج، ماساتشوستس، الولايات المتحدة الأمريكية: مطبعة جامعة هارفارد . ص 355 – 366. ISBN  978-0674324497. OCLC 503886453 . 
• سيلدين، جوناثان ب.؛ هيندلي، جيه آر، محرران. (1980). إلى إتش بي كاري: مقالات في المنطق التوافقي، وحساب لامدا، والشكلية . دار النشر الأكاديمية.
• سيلدين، جوناثان ب. (3 مارس 2008). "منطق الكاري والكنيسة" (ملف PDF) . تم الاطلاع عليه بتاريخ 23 سبتمبر 2023 .

• سيلدين، جوناثان ب. "هاسكل بروكس كاري (1900-1982)" . في: فيزر، جيمس؛ داودن، برادلي (محرران). موسوعة الإنترنت للفلسفة . ISSN 2161-0002 . OCLC 37741658 .  
• أوكونور، جون جيه؛ روبرتسون، إدموند إف ، "هاسكل كاري" ، أرشيف ماك تيوتور لتاريخ الرياضيات ، جامعة سانت أندروز
• توفر أرشيفات كاري صوراً لعدة مئات من صفحات المخطوطات من عام 1920 إلى عام 1931.
• قائمة المراجع CLg. 587 صفحة
• جامعة أمستردام، محررة. (2023). "ألبوم أكاديميكوم - أساتذة وخريجو دكتوراه من عام 1632 حتى يومنا هذا" . تم الاطلاع عليه بتاريخ 23 سبتمبر 2023 .