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

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

Stanislaw Lesniewski

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

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

تاريخ وفاته:

مكان الوفاة:

30 March 1886

Serpukhov (near Ivanovo-Vosniesiensk), Russia

13 May 1939

Warsaw, Poland

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

Stanislaw lesniewski بالمجلس ، التي ينبغي أن تكتب إسم جنيه niewski ولكن كما هي عادة نقلا كما lesniewski وسوف نستخدم هذا الشكل في جميع انحاء هذه المادة. Lesniewski كان والد isydor lesniewski ، البولنديه مهندس السكك الحديديه. وكانت فرص العمل التي تنطوي على isydor lesniewski ارسالهم إلى أماكن تتعرض فيها للسكك الحديديه ويجري بناؤها في مرحلة stanislaw عندما كان يحضر المدارس الثانويه الاسرة كانوا يعيشون في سيبيريا. Stanislaw الى المدرسة هناك في مدينة ايركوتسك.

وقال انه درس في جامعات عدة وانفاق بعض الوقت في ميونيخ حيث حضر من جانب الاساتذه هانز كورنيليوس ، قبل اتخاذ الدكتوراه في جامعة lwów البولنديه (lvov الآن ، واوكرانيا ولكن بعد ذلك تحت سيطره النمسا). في lwów اساسا درس الفلسفه والرياضيات كما اخذت دورات ، وحضور المحاضرات التي يلقيها الرياضيات jozef puzyna وwaclaw sierpinski. Lesniewski ، الذي كان المشرف على الدكتوراه Kazimierz twardowski ، نشرت رقتين مساهمه في تحليل وجودية والمقترحات فى محاولة لاثبات وجودي من مبدأ التناقض في حين لا يزال البحث تعهد صاحب الدكتوراه. وقد نشرت هذه الاوراق في lesniewski لغة الام بالنسبة للالبولنديه فى عام 1913 ولكن الترجمة من الروسيه الى الورقتين ونشرت تحت عنوان واحد منطقي الدراسات. الدكتوراه في عام 1912 حصل على جائزة.

وفي ذلك الوقت كان يان lukasiewicz التدريس في lwów ، يجري الترويج لمن privatdozent أستاذ فوق العادة في عام 1911 ، وقال انه تأثر الى حد كبير lesniewski في الدورة الاولى على منطق رياضي الذي القى هناك. احدى الطرق ولا سيما ان هذا النفوذ قد انتهت وقد فرض قانون المستبعدين الاوسط. واحد من أول المشاريع lesniewski كان محاولة لدحض هذا المبدأ ، ولكنه كان قد نشر lukasiewicz تذييل للبلدة 1910 المنشور على مبدأ ارسطو في الانكماش lesniewski الأمر الذي أدى الى تغيير اتجاه لبحثه. وقال انه بدأ في دراسة المنطق الرسمي ، وبدأت محاولات لجعل المضنيه لفهم راسل 'التناقض الذي كان قد علمت من خلال lukasiewicz.

في عام 1913 lesniewski نشرت مقالا بشأن قانون المستبعدين الأوسط ، ثم في السنة التالية منشور عن راسل 'التناقض. غادر lwów لتولي منصب تدريس في مدرسة وارسو ولكن بعد بدء الحرب العالمية الاولى وقال انه اتخذ قرار العودة الى روسيا ، 1914-18 امضى في موسكو التي يدرس في المدارس الثانويه البولنديه. على الرغم من انه قد قدم تقريره الاول على أفكار نظرية جديدة للفئات التي من شأنها تفادي التناقضات اثناء وجوده في lwów ، وكان اثناء وجوده في موسكو ان lesniewski رسمية صادرة عن صاحب نظرية تسمى mereology. ونحن كذلك اعطاء بعض التفاصيل التقنيه لهذه النظريه ادناه.

في اقرب وقت تحررت بولندا في نهاية الحرب ، lesniewski عاد الى وارسو. وهناك بدأ للانخراط بشكل اكبر فى دراسة منطق رياضي. Janiszewski وmazurkiewicz قد اوجدت في وارسو قبل نهاية الحرب من أقوى المدارس للرياضيات في العالم. بقيادة janiszewski هذه المدرسة مهتمة بصفة خاصة في مجموعة من الناحية النظريه ، وأسس الرياضيات. Lesniewski بحماس وانضم janiszewski 'مدرسة الرياضيات. في عام 1919 ، قال انه يقبل الرئاسة من فلسفة الرياضيات في وارسو حيث كان بالفعل lukasiewicz التدريس.

مختلف الرياضيين في وارسو ، بما في janiszewski ، mazurkiewicz وlesniewski ، لعبت دورا رئيسيا في انشاء اليوميه fundamenta mathematicae. Janiszewski كان من اقترح اسم المجله lesniewski ولكن في عام 1919 كان عضوا في مجلس التحرير التأثير على السياسة العامة. المجلد الأول بدأ في عام 1920 و، علما بأن النية تتجه لمجلة دولية حقا ، عن عمد تماما المحررين قد قرر أن يجعل من المجلد الأول يتضمن البولنديه من قبل المؤلفين ورقات فقط. Janiszewski يقول :

... ومن نيتي ان هذا ، اذا امكن ، جميع الرياضيين البولنديه العاملة في ميدان مجموعة من الناحية النظريه ، التي كرست المجله.

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

Lesniewski نشرت في عام 1927 أول عمل هام على اسس من الرياضيات. منذ ذلك الحين وحتى 1939 وقال انه نشر سلسلة من اثني عشر ورقات مع ابداء نظريات المنطق والرياضيات. نظرياته في التغلب على التناقضات راسل في مجموعة من الناحية النظريه. المحررين من الكتابة في مقدمة ذلك العمل :

لlesniewski منشوراته التي ليست هي السبيل الوحيد لنشر نظام جديد للبلدة أسس الرياضيات. وقال انه يعلق اهمية كبيرة على بلدة الجامعة والمحاضرات وحاضر خلاله بالكامل تقريبا عن عمله.

هذه المحاضرات وترد في. ولحسن الحظ تمكنت tarski للتعريف لم تنشر نتائج lesniewski التي دمرت في الحرب العالمية الثانية.

ويقول المؤلف ان من اهمية lesniewski عمل في تقديم بديل للالنهج التقليدي لاسس المنطق والرياضيات. Lesniewski مساهمات منطق التركيز على هيكل الحكم ، ويقول عن الفكره التقليديه للحكم كما تتألف من الموضوع ، وهو موضوع واحد الصلة. صاحب العمل الرياضي يركز على مجموعة من الناحية النظريه ، حيث قلقة هي طبيعه مجموعة. Lesniewski يضع التركيز اساسا على التمييز بين مجموعات في مجموعات والتوزيع شعور في الشعور العام.

Lesniewski آراء المتقدمه من تحليله للراسل 'التناقض الذي خلص الى اثنين من الخلط بين المفاهيم المختلفة للطبقة. الرئيسية الثلاث التي lesniewski المنطقي نظم المتقدمه هي : protothetic ، نظرية والمقترحات اقتراحي المنفذون ، مماثلة في نظرية السلطة الى انواع من اقتراحي ، وتقديم حساب القضايا ممتده مع المتغيرات الكميه وظيفيه ؛ علم الوجود ، الذي هو من الناحية النظريه axiomatised من الاسماء الشاءعه واستنادا الى protothetic التي يمكن أن تصنف باعتبارها مشتركة بين التقليديه والمنطق ومصطلح الحديث النوع من الناحية النظريه ، التي تتضمن ، الى جانب الشروط المفرد ، وأيضا فارغه من حيث الجمع ومجموعة من ميزات اخرى مثيرة للاهتمام وmereology ، وهو بديهي للتمديد لتبويب نظرية الطبقات من مجموعة مختلفة تماما من الناحية النظريه تقديم رسمي من الناحية النظريه وجزء من الجامع مماثلة لحساب التفاضل والتكامل للافراد.

Surma ، srzednicki ، كما rickey بارنيت والمحررين وخلاصة القول ان من مساهمات lesniewski :

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

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