علماء الرياضيات

خط الزمن صور نقود طوابع رسم بحث

Haskell Brooks Curry

تاريخ الميلاد:

مكان الولادة:

تاريخ وفاته:

مكان الوفاة:

12 Sept 1900

Millis, Massachusetts, USA

1 Sept 1982

State College, Pennsylvania , USA

العرض
إنتبه -- الترجمة الآلية من النسخة الانكليزية

حزقيل كاري بالمجلس ، وكانت الام انا baright وكان والده صموئيل سيلاس الكاري. وكان صموئيل رئيس المدرسة التعبير في بوسطن وانا وكان عميد كلية. حزقيل لم تظهر اهتماما خاصا عند الرياضيات في المدارس الثانويه وعندما تخرج في العام 1916 بشكل كامل وقال انه ينوي دراسة الطب. دخل كلية هارفارد ، كلية الجامعي لجامعة هارفارد ، واتخذ مسار الرياضيات في السنة الاولى من الدراسه كجزء من دراسته من اجل شهادة في الطب.

تأثير كبير على الاتجاه الذي اخذت دراسته وكان دخول الولايات المتحدة الى الحرب العالمية الاولى في ربيع عام 1917. كاري المطلوبين لخدمة بلاده ، وقرر انه سيكون من الارجح ان نرى اذا كان قد عمل في الرياضيات بدلا من التدريب اذا ما استمر في ما قبل الطبية وبطبيعة الحال كان. وقال انه على أي حال قد حظيت الرياضيات وبطبيعة الحال كان قد اتخذ وبذلت جهدا جيدا في الدورة. وقال انه تم تغيير الموضوع الرئيسي لبلدة والرياضيات ، ثم جند في الجيش طالب هيئة التدريب على 18 تشرين الاول / اكتوبر 1918. الحرب ، ومع ذلك ، انتهت بعد فترة وجيزة من ذلك (فى نوفمبر) و 9 كانون الاول / ديسمبر 1918 الكاري ترك الجيش. وتابع على الرياضيات في جامعة هارفارد وبطبيعة الحال ، ومع ذلك ، وتخرجت في عام 1920 مع درجة بكالوريوس.

كاري قررت الان انه سينظر للمهنة في مجال الهندسه الكهرباءيه وانه يعتبر وظيفة مع شركة جنرال الكتريك التى سمحت له لدراسة الهندسه الكهرباءيه لجزء من الوقت في معهد ماساتشوستس للتكنولوجيا. غير انه سرعان ما اكتشف ان لديه موقفا مختلفا على الاخرين اخذ هذه الدورات ، لأنه كان يرغب في ان يعرف لماذا كان صحيحا نتيجة للجميع في كل حين الا انها يهم ان كان صحيحا. ادراك ان كان اكثر ملائمة لمن العلوم البحته الى العلوم التطبيقيه ، وقال انه تم تغيير مسار لدراسة الفيزياء فى عام 1922. ويبدو ايضا هارفارد مكانا أفضل للدراسة والعلوم البحته حتى عاد هناك ، بعد ان تم تعيين لنصف وظيفة مساعد بحوث من PW bridgeman للدورة 1922-23. وتخرج مع الكاري على درجة الماجستير في الفيزياء من جامعة هارفارد فى عام 1924 ولكنه قال انه أدرك الآن ان هذا الموضوع ليس له ولكنه كان والفيزياء والرياضيات. بدأ لاجراء بحوث على الدكتوراه في الرياضيات في جامعة هارفارد.

وطوال هذه الفترة من تغيير المواضيع كاري امور اخرى كان له ان يبقى مشغولا. والده قد توفى فى عام 1921 وأصبح الكاري وصيا على والده الحوزه. وبطبيعة الحال فإن الجزء الرئيسى من هذه الحوزه هي مدرسة التعبير في بوسطن وبعد ثلاث سنوات من الكاري وفاة والده فى عام 1924 ، اصبحت شركة قانونيه فى عام 1927. كاري بدور امين الخزانة الى التعبير عن الشركة انه تم تشكيل لوقت ، الا انه تم بيعها في عام 1928.

اذا كان يتصور احد ان من الكاري 1924 عندما شرعت على الدكتوراه في الرياضيات في جامعة هارفارد وقال انه في الماضي وجدت الموضوع له ، ومن ثم سيكون من الخطأ. وقال انه بالنظر الى موضوع في نظرية المعادلات التفاضليه من جورج birkhoff لكنه بدأ قراءة الكتب على المنطق الذي يبدو له الآن اكثر اثارة للاهتمام ان موضوع البحث. وطلب من مختلف اعضاء هيئة التدريس في جامعة هارفارد ، ونوربرت وينر في معهد ماساتشوستس للتكنولوجيا ، واذا اعتقدوا انه يمكن ان تتغير الى اجراء بحوث في المنطق. انها تماما بالاجماع ، يبلغه فيها ضده. وقال انه كان يعمل نصف الوقت في الرياضيات من قبل مدرب هارفارد خلال النصف الاول من 1926-27 وكان في جميع انحاء هذه المرة ان يقرأ المجلد الأول من بقعة الجلد البيضاء وراسل 'mathematica المبادىء الأولى التي كانت قد نشرت فى عام 1910. هذا امر اساسي في التنمية ، ذلك لانه بعد قراءة هذا العمل ان لديه فكرة لاستخدام combinators لتحليل القواعد المعقده للبدائل التي تميز الجزء الأول من النص. مرة اخرى وقال انه اقترب من مختلف اعضاء هيئة التدريس في جامعة هارفارد ، ونوربرت وينر في معهد ماساتشوستس للتكنولوجيا ، وبالسؤال عما اذا كانت انهم يعتقدون انه يمكن ان يكتب له رسالة الدكتوراه عن المنطق. وقال انه ما حصلت عليه ألان مختلفة جدا من رد ما كان قد تلقاها في وقت سابق. وينر 'الرد النمطيه -- تجنب المنطق اذا لم يكن لديك ما تقوله ، ولكن بالتأكيد انت الآن ان تقول شيئا!

كاري الآن تقريره النهائي في تغيير الاتجاه وقررت ان تولي منصبه على دراسات الدكتوراه والمعادلات التفاضليه لكتابة اطروحة دكتوراه عن المنطق. قبل البدء في البحث عن هذا الموضوع الجديد ، انه قرر للتدريس لمدة عام و، مع توصية قوية من birkhoff ، وعين مدرسا في برينستون في الرياضيات لدورة 1927-28. وقال انه ناقش معه هناك خطط البحوث ومع فيبلين ، وفي حين أن النظر في ورقات في mathematische انالين مكتبه في برنستون ، واكتشفت ورقة من 1924 م schönfinkel uber يموت bausteine دير mathematischen logik التي تستخدم في combinators على نحو مماثل لأفكاره. فيبلين واكد كاري ان ذلك كان ايجابيا ، بدلا من السلبيه ، والاكتشاف ، وبعد الكسندر قد ابلغته ان schönfinkel كان في مستشفى للامراض العقليه وبالتالي ليست له استمرار المسار البحثي ، كاري سعى المشوره بشأن من سيكون افضل دكتوراه مشرف. فيبلين نصح له ان bernays في غوتنغن في المانيا ، سيكون افضل. من اجل ان يحسن من فرص الدعم المالي ، حتى كتب كاري أفكاره عن combinators للنشر واصبح هذا هو اول الورقه تحليلا للبدائل منطقيه التي وردت في المجله الامريكية للرياضيات فى عام 1929.

قبل خصم لغوتنغن ، متزوج من ماري كاري wheatly فرجينيا الذي كان قد التقى به في المدرسة التعبير عندما كانت طالبة هناك. وهي متزوجة في 3 تموز / يولية 1928 وسافر الى المانيا معا. بعد ما يقرب من عام تماما (في 24 تموز / يولية 1929) وقال انه درس على اطروحته بعنوان grundlagen دير kombinatorischen logik. رسميا وقال انه اشرف على هيلبيرت ، ولكن في الواقع كان bernays من يوم الى اخر وقدمت دعمها لعمله. صاحب اطروحة نشر في المجله الامريكية للرياضيات فى عام 1930.

العودة الى الولايات المتحدة ، تم تعيين كاري لدولة كلية ، بنسلفانيا (الآن جامعة ولاية بنسلفانيا) في ايلول / سبتمبر 1929. حزقيل فرجينيا وبدأت الأسرة في هذا الوقت مع أن رأيت كاري ولد في 27 تموز / يولية عام 1930 وروبرت weatley كاري ولد في 6 تموز / يولية 1934. وبدأ الكساد الكبير في عام 1929 ، لذا كان من حسن الطالع أن كاري الحصول على موقفه عندما قام به. ومن المؤكد ان سنوات من الكساد الكبير لقد كان منها عندما رياضي منطقي ، بالكاد كان من المرجح للحصول على وظيفة. وقال انه ما زال على الرغم من كلية في ولاية بنسلفانيا حتى تقاعده في عام 1966 ، قام به من قضاء بعض الوقت في المؤسسات الاخرى ، ولا سيما في جامعة شيكاغو ، حيث كان المجلس الوطني للبحوث زميل خلال 1931-32 ، ومعهد الدراسات المتقدمه في برينستون خلال 1938-39. بعض الاوراق التي نشرت خلال السنوات الاولى من بحثه تشمل الجميع في combinatory المنطق المحدد للكمية (1931) ، وبعض الاضافات لنظرية combinators (1932) ، والمتغيرات واضحة من وجهة نظر combinatory المنطق (1933) ، وبعض الممتلكات والمساواة combinatory في والمنطق (1934).

رابطة رمزية منطق تأسست فى عام 1936 مع كاري بوصفه واحدا من مؤسسيها. وكان نائبا لرئيس 1936-37 اثناء وبعد ذلك رئيسا للرابطة في 1938-40. بلدة المتقاعدين الرءاسيه معالجة combinatory أسس منطق رياضي ونشرت في مجلة المنطق الرمزي في عام 1942. بعد توجيه واضح جدا في معرض combinatory الاساسية للمنطق ، والتي تبين العلاقة الوثيقة بين لحساب التفاضل والتكامل وضعتها الكنيسة ، الكاري وذهبت الى وصف عمله الأخير. وقال انه درس تبسيط اساليب التناقضات الناشءه (مثل تلك التي وريتشارد راسل) في نظم المنطق التي لا تتفق ، وضعت ايضا وسيلة لادخال مفاهيم غير معرفة المنطق combinatory من العموميه ، مثل القياس الرسمي أو ضمنا ، في على هذا النحو ان الاتساق المبرهنه شأنه في ذلك شأن الكنيسة وrosser لا يزال من الممكن ان تستمد.

كما بدأت في الأربعينات من القرن الماضي ، كاري قد وصلت الى موقف حاليا واحدة من ابرز المنطقيون رياضية في العالم. وسئل لاعطاء معالجة تفسيريه لعلماء الرياضيات لشرح المفاهيم الاساسية للالشكليه واضافة الى اقتراحات جديدة. الورقه بعض جوانب المشكلة من الصرامه الرياضية نشرت في نشرة رياضية المجتمع الامريكى فى عام 1941 هو نص هذا العنوان. وقدم في كلمته : نقد النظريات غير الرسمي ؛ فكرة وجود نظام رسمي (يتضح من ديكسون 'المسلمات لمجموعة) ؛ فكرة وجود حساب التفاضل والتكامل ؛ مناقشة احدى metatheory ؛ تعريف الرياضيات ؛ والقبول من نظام رسمي ، ومناقشة الانتقادات من intuitionists والشكليون. وخلال الأربعينات من القرن الماضي وجدد الكاري ايضا بالاشتراك مع المدرسة التعبير في بوسطن ، التي وبحلول ذلك الوقت قد تغير اسمها الى كلية كاري. وانضم الى مجلس الأمناء للكلية في عام 1940 وبقي على المجلس لأكثر من عقد.

خلال الحرب العالمية الثانية كاري اجرت بحوثا في الرياضيات التطبيقيه. وقال انه نشرت heaviside التنفيذية حساب التفاضل والتكامل في عام 1943. في أنه قدم جبري نهج بسيط جدا ولكن كان على علم قصوره كتابه :

... وهذه الميزه ، بطبيعة الحال ، ينطوي على القيود المفروضة على نطاق العلاج ، لأنها تقتصر على الجوانب الرشيد ان تنشأ عن مثل المعادلات التفاضليه العاديه خطى ثابتة مع المعاملات. لمزيد من العام حالات المعادلات التفاضليه الجزءيه ، ومتعهدي جزئي ، وما الى ذلك ، فان نظرية متكاملة ليتحول هو بلا شك لا يمكن تجنبه.

وقال انه يعمل في فرانكفورد ترسانة من ايار / مايو 1942 الى كانون الثاني / يناير 1944 ثم في مختبرات الفيزياء التطبيقيه بجامعه جونز هوبكنز في عام 1945 وحتى اذار / مارس. ثم انتقل الى ارض الواقع تثبت ابردين ، والاسلحة العسكرية harford موقع التجارب فى شمال شرق مقاطعة ميريلاند. وقال انه اصبح هناك مشاركة مع الحاسوب eniac نشر دراسة عكسيه على استيفاء eniac ودراسة الرابعة من النظام الداخلي على حد سواء eniac فى عام 1946. وعاد الى جامعة ولاية بنسلفانيا في ايلول / سبتمبر 1946 وحاولت اقناع ادارة الجامعة للحصول على الكومبيوتر ، لكنه فشل.

النصوص الرئيسية التي تشمل combinatory المنطق (1958) (مع روبرت feys) ، وأسس منطق رياضي (1963). كاري بدأت العمل على combinatory المنطق في عام 1950 عندما حصل على منحة فولبرايت جعلته يعمل مع روبرت feys في لوفان. وهي تتعاون على الكتاب بعد الكاري عاد الى الولايات المتحدة واكملت النص في عام 1956. اكساجول cogan وإعادة النظر في الكتاب ، ويعطي وصفا للنيس combinatory المنطق :

Combinatory منطق المعنية مع بعض المفاهيم الأساسية للأسس الرياضيات والتي عادة ما تستخدم في طريقه حدسيه وunanalysed. وتشمل استبدال هذه المفاهيم ، وعادة ما عرضه استخدام المتغيرات ، وتصنيف للكيانات وجود نظام آلي انواع ، التي عادة ما تكون المنصوص عليها في القواعد التي هي المساعدة على ، ولكنها ليست جزءا من ذلك ، فإن هذا النظام. من جانب combinatory المنطق الذي المعنية بمسائل ذات طابع اساسي ، مثل استبدال ، تنطوي على المتغيرات ، ويسمى نظرية combinators.

في أسس منطق رياضي كاري يتطور الموضوع من هيربج اساس استخدام gentzen 'الاساليب. ي تاكر كتب ما يلي :

الأكثر لفتا للتأثير هذا النهج هو ان العمليات المحدوده من الآثار الإيجابية ، جنبا الى جنب ويتم التعامل مع التناوب الاولى ، في حين أن انكار والقياس الفعليين في وقت لاحق وفي فصول مستقلة. معنى كل رابط اساسي هو عدم وضعها في بداية كما هو الحال في النهج التقليدي ، وإنما هي مستمده من قواعد استنتاجي.

في عام 1966 وقال انه يقبل منصب استاذ المنطق والتاريخ والمنطق ، والفلسفه والعلوم في امستردام. وحمل هذا الموقف لمدة اربع سنوات وبعد ذلك عاد الى العيش في دولة كلية ، بنسلفانيا.

المؤلفون من ابداء بعض الملاحظات حول نيس كاري وزوجته :

الجميع يعرف من currys تدرك كيف انها ودية ومفيدة دائما هي. حزقيل دائما ان تفعل المزيد للزملاء والطلاب من ان تكون مصدرا للأفكار هامة. وقال انه كان دائما على استعداد للاستماع الى الجميع من يريد التحدث اليه ، لمناقشة أفكارهم ، واعطاء أيا كان انه يمكن ان التشجيع. ... مكتبة الباب كان دائما مفتوحا. وهذا مما لا شك فيه ان مساهمه هامة لحماس من العديد من تلك العاملة منا في combinatory المنطق. ومعروف جيدا ايضا اينما عاشوا currys وقد كرم الضيافة التي ابدياها. هناك دائما الكثير من الاطراف وغيرها ، أقل رسمية التجمعات ، ونحن تخمين ان فرجينيا طهي 'sكما لعبت دورا في تزايد الاهتمام combinatory المنطق.

Source:School of Mathematics and Statistics University of St Andrews, Scotland