วันดา ชเมียเลฟ: ผู้ก่อตั้งสำนักรากฐานเรขาคณิตแห่งวอร์ซอ

เมื่อวันที่ 27 สิงหาคม ค.ศ. 1976 ณ กรุงวอร์ซอ ประเทศโปแลนด์ วันดา ชเมียเลฟ (Wanda Szmielew) นักตรรกศาสตร์คณิตศาสตร์ชาวโปแลนด์เสียชีวิตลงด้วยโรคมะเร็งด้วยวัย 58 ปี เธอทิ้งไว้เบื้องหลังผลงานที่วางรากฐานสำคัญให้กับตรรกศาสตร์คณิตศาสตร์และเรขาคณิตพีชคณิต ในฐานะหนึ่งในผู้หญิงเพียงไม่กี่คนที่มีบทบาทโดดเด่นในสำนักตรรกศาสตร์แห่งวอร์ซอ

จากมอนต์แลกสู่ชเมียเลฟ

ชเมียเลฟเกิดเมื่อวันที่ 5 เมษายน ค.ศ. 1918 ที่กรุงวอร์ซอ ในนามเดิมว่า วันดา มอนต์แลก เป็นบุตรีของดาวิด มอนต์แลกและบรอนิสวาวา ภรรยาของเขา หลังสำเร็จการศึกษาระดับมัธยมในปี 1935 เธอได้แต่งงานกับบอรีส ชเมียเลฟ และเปลี่ยนนามสกุลตามสามี ในปีเดียวกันนั้นเธอเข้าศึกษาที่มหาวิทยาลัยวอร์ซอเพื่อศึกษาตรรกศาสตร์คณิตศาสตร์ ภายใต้การสอนของอาดอลฟ์ ลินเดนบัม ลูกศิษย์ของวาตซวัฟ เชียร์ปินสกี, ยัน วูคาชีวิช, คาซีเมียร์ซ ควูราตอฟสกี และอัลเฟรด ทาร์สกี (Alfred Tarski) ผู้ซึ่งขณะนั้นยังเป็นเพียงผู้ช่วยระดับต้นของวูคาชีวิชแต่ต่อมาได้กลายเป็นทั้งอาจารย์ที่ปรึกษาและเพื่อนสนิทตลอดชีวิตของเธอ เพื่อนร่วมชั้นเรียนตรรกศาสตร์คณิตศาสตร์ของเธอในช่วงเวลานั้นคืออันด์แชย์ มอสตอฟสกี (Andrzej Mostowski) ซึ่งต่อมาก็กลายเป็นนักตรรกศาสตร์ชั้นนำของโปแลนด์เช่นกัน

ชเมียเลฟสร้างผลลัพธ์สำคัญชิ้นแรกในปี 1938 เกี่ยวกับสัจพจน์การเลือกสำหรับเซตจำกัด (axiom of choice for finite sets) แต่การศึกษาของเธอที่มหาวิทยาลัยวอร์ซอต้องหยุดชะงักลงเมื่อสงครามโลกครั้งที่สองปะทุขึ้น เมื่อนาซีเยอรมนีปิดสถาบันการศึกษาส่วนใหญ่ในโปแลนด์ ชเมียเลฟไม่ยอมแพ้และเข้าร่วมการสอนแบบใต้ดินอย่างลับ ๆ แม้จะรู้ถึงอันตรายที่อาจเกิดขึ้น เธอยังทำงานเป็นเจ้าหน้าที่วัดที่สำนักงานวัดแห่งชาติในช่วงสงคราม

ผู้พิสูจน์การตัดสินใจได้ของทฤษฎีกรุ๊ปอาเบเลียน

หลังสงครามสิ้นสุดลง ชเมียเลฟศึกษาต่อที่มหาวิทยาลัยลอดซ์ในปี 1945 ก่อนจะกลับไปศึกษาต่อที่มหาวิทยาลัยวอร์ซอ และได้รับปริญญาโทในปี 1947 ด้วยวิทยานิพนธ์เรื่อง “ความสมบูรณ์ของทฤษฎีกรุ๊ปอาเบเลียนที่ไม่มีสมาชิกวัฏจักร” เธอเดินทางไปศึกษาต่อระดับปริญญาเอกที่มหาวิทยาลัยแคลิฟอร์เนีย เบิร์กลีย์ ภายใต้การดูแลของทาร์สกี ซึ่งขณะนั้นได้ย้ายไปทำงานที่สหรัฐอเมริกาแล้ว เธอได้รับปริญญาเอกในปี 1955 ด้วยวิทยานิพนธ์เรื่อง “คุณสมบัติเบื้องต้นของกรุ๊ปอาเบเลียน” (Elementary properties of Abelian groups)

ผลงานที่มีชื่อเสียงที่สุดของชเมียเลฟคือการเป็นบุคคลแรกที่พิสูจน์ การตัดสินใจได้ (decidability) ของทฤษฎีอันดับหนึ่ง (first-order theory) ของกรุ๊ปอาเบเลียน (abelian groups) ผลงานนี้แสดงให้เห็นว่ามีอัลกอริทึมที่สามารถตัดสินได้เสมอว่าประโยคใด ๆ เกี่ยวกับกรุ๊ปอาเบเลียนที่เขียนในภาษาลำดับที่หนึ่งเป็นจริงหรือเท็จ ผลลัพธ์นี้กลายเป็นผลงานสำคัญในทฤษฎีแบบจำลอง (model theory) และในภายหลังนักคณิตศาสตร์ เอ็คลอฟและฟิชเชอร์ (Eklof & Fischer) ได้พิสูจน์ผลลัพธ์เดียวกันนี้ซ้ำอีกครั้งโดยใช้เทคนิคทฤษฎีแบบจำลองที่เป็นมาตรฐานมากขึ้นในปี 1972

ผู้บุกเบิกรากฐานเรขาคณิตแห่งวอร์ซอ

หลังจากกลับมาที่วอร์ซอในตำแหน่งผู้ช่วยศาสตราจารย์ ความสนใจของชเมียเลฟเปลี่ยนทิศทางไปสู่รากฐานของเรขาคณิต (foundations of geometry) ในปี 1955 เธอร่วมกับคาโรล บอร์ซุก (Karol Borsuk) ตีพิมพ์ตำราสำคัญในสาขานี้ ซึ่งได้รับการแปลเป็นภาษาอังกฤษในปี 1960 ตลอดช่วงปี 1970-1974 เธอตีพิมพ์ผลงานสำคัญเกี่ยวกับรากฐานของเรขาคณิตแบบยุคลิด โดยอาศัยระบบสัจพจน์ชเมียเลฟ-ทาร์สกี (Szmielew-Tarski axiomatics) แบบใหม่ งานวิจัยของเธอพยายามหาความเชื่อมโยงระหว่างพีชคณิตและเรขาคณิต ซึ่งนำไปสู่การแสดงออกเชิงทฤษฎีเรขาคณิตที่แข็งแกร่งและเรียบง่ายยิ่งขึ้น เธอได้รับการยกย่องว่าเป็นผู้ก่อตั้งสำนักรากฐานเรขาคณิตแห่งวอร์ซอ (Warsaw school of the foundations of geometry)

ผลงานสุดท้ายท่ามกลางการต่อสู้กับโรคร้าย

ในปี 1974 แม้จะกำลังป่วยหนักด้วยโรคมะเร็ง ชเมียเลฟก็ตัดสินใจเขียนหนังสือที่นำเสนอแนวทางของเธอเองต่อรากฐานของเรขาคณิต ซึ่งในขณะนั้นได้พัฒนาไปในทิศทางที่แตกต่างจากมุมมองของทาร์สกีพอสมควร มาเรีย มอสซินสกา เพื่อนร่วมงานของเธอเล่าว่า แม้จะไม่สามารถปฏิบัติหน้าที่มหาวิทยาลัยได้อีกต่อไป แต่ชเมียเลฟยังคงทำงานอย่างเข้มข้นตลอดสองปีสุดท้ายของชีวิต หนังสือเล่มนี้เติบโตขึ้นเกินกว่ากรอบความคิดเริ่มต้น แต่ในเดือนพฤษภาคม 1976 ก็ชัดเจนว่าเธอไม่มีเวลาและกำลังเพียงพอที่จะทำให้งานชิ้นนี้เสร็จสมบูรณ์

แม้จะป่วยหนัก ทาร์สกีก็ยังคงเป็นห่วงและดูแลเธออย่างใกล้ชิด ช่วยเหลือเรื่องการซื้อรถและส่งเงินให้เธอไปพักผ่อนที่อิตาลี ผลงานที่ยังไม่เสร็จสมบูรณ์ของเธอได้รับการตีพิมพ์หลังจากที่เธอเสียชีวิตไปแล้ว ทั้งหนังสือ From Affine to Euclidean Geometry ในปี 1981 และ Metamathematische Methoden in der Geometrie ซึ่งเขียนร่วมกับวูล์ฟกัง ชวาบเฮาเซอร์และอัลเฟรด ทาร์สกี ตีพิมพ์ในปี 1983

มรดกทางวิชาการของวันดา ชเมียเลฟยังคงเป็นที่จดจำในวงการตรรกศาสตร์คณิตศาสตร์และรากฐานเรขาคณิต ทั้งในฐานะผู้พิสูจน์การตัดสินใจได้ของทฤษฎีกรุ๊ปอาเบเลียน และผู้ก่อตั้งแนวทางใหม่ในการศึกษารากฐานของเรขาคณิตที่ยังคงมีอิทธิพลต่อนักคณิตศาสตร์รุ่นหลังมาจนถึงทุกวันนี้ เป็นเครื่องพิสูจน์ถึงความมุ่งมั่นอันแน่วแน่ของนักวิชาการที่ทำงานต่อเนื่องแม้ในช่วงเวลาที่ยากลำบากที่สุดของชีวิต