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

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

Helena Rasiowa

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

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

تاريخ وفاته:

مكان الوفاة:

20 June 1917

Vienna, Austria

9 Aug 1994

Warsaw, Poland

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

ورغم ان هيلانة rasiowa ولد في فيينا ، كانت البولنديه والديها. بولندا فى عام 1918 استعادت مكانتها كدوله مستقلة rasiowa والدي وانتقل الى وارسو. كانت هناك تعليما ، والحصول على التعليم الثانوي جيدة مع الموسيقى الدروس المتخذة في المدارس الخاصة والموسيقى. بعد ان حصلت على مدرسة الدراسات وقالت انها اتخذت في مجال ادارة الأعمال وبطبيعة الحال قبل الدخول الى الجامعة.

Rasiowa دخلت جامعة وارسو في عام 1938 ولكن ، بعد الغزو الألماني لبولندا فى عام 1939 ، بإغلاق الجامعة. Rasiowa والديها انتقل الى lvov لكن أقطاب حوصر بين السوفيات والالمان وlvov جاء تحت السيطرة السوفياتيه. الحياة هناك على ما يبدو اكثر صعوبة مما كان في ظل الاحتلال الالماني ، وذلك بعد سنة عادت الأسرة الى وارسو.

وكان هناك اعجاب جمع من علماء الرياضيات فى جامعة وارسو في هذا الوقت بما borsuk ، lukasiewicz ، mazurkiewicz ، sierpinski ، mostowski وغيرها. وقد نظمت تحت نسخة من الجامعة التي كانت هناك معارضة قوية من جانب السلطات النازية. Borsuk ، على سبيل المثال ، كان مسجونا بعد ان وجدت السلطات انه يساعد على ادارة الجامعة تحت الارض.

في هذه الحاله الخطيره rasiowa وعلم الرياضيات ، علما ان العقوبات التي اكتشفت كانت بالغة. ومع ذلك وفي هذه البيئة rasiowa لدراسة الماجستير في lukasiewicz بالمجلس الاشراف.

عندما اقتربت القوات السوفياتيه الى وارسو في عام 1944 ، فيما صعدت المقاومة وارسو ضد الالمان ضعف الحاميه. ومع ذلك وصلت تعزيزات الالمانيه واخماد المقاومة. حوالى 160000 شخصا قضوا في انتفاضة وارسو عام 1944 وغادر المدينة في حالة من الدمار الكامل تقريبا. Rasiowa للمرة خلال الانتفاضة على النحو المبين في :

وارسو في عام 1944 اندلعت الانتفاضة ونتيجة في وارسو دمرت تماما تقريبا ، ليس فقط بسبب الحرب وانما ايضا بسبب التدمير المنهجي التي أعقبت الانتفاضة بعد ان تم ممرود الى اسفل. Rasiowa اطروحة احرق جنبا الى جنب مع كل بيت. وقالت انها على قيد الحياة مع والدتها في قبو التي يغطيها انقاض هدم المبنى.

بعد الحرب rasiowa يدرس في مدرسة ثانويه في حين ان المشرف lukasiewicz ترك بولندا بعد المعاناة الرهيبه التي مرت. Mostowski بيد ان نتذكر rasiowa للاعجاب واقنعت هي العمل للعودة الى جامعة وارسو ثانية لاستكمال اطروحة الماجستير تحت اشرافه.

في عام 1946 ، وبعد الحصول على الماجستير ، وقالت انها عينت مساعد في جامعة وارسو واستمر على العمل من اجل الدكتوراه في اطار mostowski بالمجلس الاشراف. هي الاطروحه ، التى قدمت فى عام 1950 ، كان على الجبر والمنطق جبري معاملة حساب التفاضل والتكامل الوظيفي من لويس وheyting وستكون هذه المواضيع والمجالات الرئيسية التي بحثها طوال حياتها.

Rasiowa جرى الترويج باطراد ، ووصل الى رتبة استاذ في عام 1957 واستاذ كرسي في عام 1967. وقالت أنها أدت اسس قسم الرياضيات في الفترة من عام 1964 ومنطق رياضي الباب بعد انشائها في عام 1970.

وكان البحث الرئيسية هي في جبري ومنطق رياضي أسس علم الحاسوب. في منطق جبري وقالت انها واصلت العمل عن طريق البريد ، الحجر ، tarski وlukasiewicz :

... التي تهدف الى ايجاد وصف دقيق للهيكل رياضي رسمي نظم منطقيه.

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

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

في الواقع فى عام 1984 rasiowa عرض مفهوم هام الاستدلال من حيث المعلومات الاساسية كاملة. وادى ذلك الى تقارب وتقارب المنطق المنطق الوسطى التي هي الآن لدراسة الذكاء الاصطناعي.

Rasiowa كتب ما يزيد على 100 ورقات ، والكتب والدراسات. كما اشرف على رسائل الدكتوراه من اكثر من 20 طالبا. ومع ذلك لاسهاماتها لا تقتصر على البحث. وقالت انها ساعدت على اقامة اليوميه fundamenta informaticae التي اعربت عن رئيس تحرير من انشاء في عام 1977 حتى وفاتها. وبالاضافة الى هذه الواجبات التحريريه وقالت انها أيضا كان يجمع تحرير studia logica ومن عام 1974 ، من عام 1986 ، معاون مدير مجلة التقريبي للمنطق.

كما انها لعبت دورا رئيسيا في الحياة الرياضية في بولندا. عضو من المجتمع البولندي رياضية ، وقالت انها امينة في 1955-57 ونائب الرئيس في 1958/59. وقالت إنها عملت في لجنة الرياضيات التابع للاكاديميه البولنديه للعلوم وترأس لجان مختلفة للالبولنديه وزارة العلوم والتعليم العالي. ومن جزئيا من خلال مساعيها ان المجتمع البولندي لمنطق وفلسفة العلوم انشئ لاجله.

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

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