واندا شميلو

حياة

توفيت بسبب مرض السرطان في 27 أغسطس 1976 في وارسو.

وفي هذا الصدد، بعد عودتها إلى وارسو كأستاذة مساعدة، تحولت اهتماماتها إلى أسس الهندسة، نشرت مع كارول بورسوك نصًا حول الموضوع في عام 1955 (ترجم إلى الإنجليزية في سنة 1960)، ودراسة أخرى نُشرت بعد وفاتها في عام 1981 (وترجمت إلى الإنجليزية) في عام 1983.

من جهة ثانية، أصبحت واندا مسّاحة أراضي خلال الحرب العالمية الثانية، وخلال ذلك الوقت واصلت أبحاثها بمفردها، حيث طورت إجراءً لاتخاذ القرار يعتمد على حذف الكميات لنظرية المجموعات الآبلية، كما قامت بالتدريس لصالح المقاومة البولندية، بعد تحرير بولندا، شغلت واندا منصبًا في جامعة وودج، التي تأسست في مايو 1945، في عام 1947، نشرت بحثها حول بديهية الاختيار، وحصلت على درجة الماجستير من جامعة وارسو، وانتقلت إلى وارسو كمساعدة أولى.

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

في هذا الإطار، وُلدت واندا مونتلاك في 5 أبريل 1918 في وارسو، أنهت دراستها الثانوية عام 1935 وتزوجت، واتخذت اسم شميلو، وفي نفس العام التحقت بجامعة وارسو، حيث درست المنطق على يد أدولف ليندنبوم، ويان ووكاشيفيتش، وكازيميرز كوراتوفسكي، وألفريد تارسكي، وشملت أبحاثها في ذلك الوقت العمل على بديهية الاختيار، لكنها توقفت بسبب غزو بولندا عام 1939.