เชซาเร บูราลี-ฟอร์ตี: ผู้จุดชนวนวิกฤตรากฐานคณิตศาสตร์

ปลายศตวรรษที่ 19 คือช่วงเวลาที่วงการคณิตศาสตร์กำลังพยายามวางรากฐานให้กับทฤษฎีเซตอย่างเข้มงวด และหนึ่งในเหตุการณ์สำคัญที่สั่นคลอนความเชื่อมั่นในรากฐานดังกล่าวก็มาจากนักคณิตศาสตร์อิตาลีท่านหนึ่ง นั่นคือ เชซาเร บูราลี-ฟอร์ตี (Cesare Burali-Forti) เกิดเมื่อวันที่ 13 สิงหาคม ค.ศ. 1861 ที่เมืองอาเรซโซ (Arezzo) ประเทศอิตาลี

ชีวิตช่วงต้นและเส้นทางวิชาการ

บูราลี-ฟอร์ตีศึกษาคณิตศาสตร์ที่มหาวิทยาลัยปิซา (University of Pisa) และสำเร็จการศึกษาในปี ค.ศ. 1884 หลังจากนั้นเขาเข้าทำงานเป็นผู้ช่วยของจูเซปเป เปอาโน (Giuseppe Peano) นักคณิตศาสตร์ผู้บุกเบิกตรรกศาสตร์เชิงสัญลักษณ์และทฤษฎีเซตเชิงสัจพจน์ที่มีชื่อเสียงระดับโลก การทำงานร่วมกับเปอาโนนี้เองที่ทำให้บูราลี-ฟอร์ตีได้สัมผัสกับปัญหารากฐานของทฤษฎีเซตอย่างลึกซึ้ง

ต่อมาบูราลี-ฟอร์ตีได้เป็นอาจารย์สอนที่โรงเรียนการทหาร Accademia Militare ในเมืองตูริน (Turin) และใช้เวลาส่วนใหญ่ในอาชีพการงานอยู่ที่นั่น

ปฏิทรรศน์บูราลี-ฟอร์ตี

ผลงานที่ทำให้ชื่อของบูราลี-ฟอร์ตีเป็นที่จดจำมากที่สุดคือการค้นพบ ปฏิทรรศน์บูราลี-ฟอร์ตี (Burali-Forti paradox) ในปี ค.ศ. 1897 ปฏิทรรศน์นี้เกิดจากการพิจารณา “เซตของจำนวนออร์ดินัลทั้งหมด” (the set of all ordinal numbers)

ในทฤษฎีเซต จำนวนออร์ดินัลถูกใช้อธิบายลำดับของเซต และเซตของจำนวนออร์ดินัลทั้งหมดที่เรียงลำดับกันนั้น ย่อมมีจำนวนออร์ดินัลของตัวมันเองด้วย แต่จำนวนออร์ดินัลนี้จะต้องมีค่ามากกว่าจำนวนออร์ดินัลทุกตัวในเซตนั้น ซึ่งหมายความว่ามันจะต้องเป็นสมาชิกของเซตนั้นด้วย นำไปสู่ความขัดแย้งในตัวเอง (self-contradiction) เพราะเซตของจำนวนออร์ดินัลทั้งหมดไม่สามารถมีจำนวนออร์ดินัลที่มากกว่าตัวมันเองได้

การค้นพบนี้ถือเป็นปฏิทรรศน์แรกๆ ที่ถูกตีพิมพ์อย่างเป็นทางการในประวัติศาสตร์ทฤษฎีเซต และเกิดขึ้นก่อนปฏิทรรศน์ที่มีชื่อเสียงกว่าอย่างปฏิทรรศน์ของรัสเซลล์ (Russell’s paradox) ซึ่งเบอร์ทรันด์ รัสเซลล์ค้นพบในปี ค.ศ. 1901

ผลกระทบต่อวิกฤตการณ์รากฐานคณิตศาสตร์

การค้นพบของบูราลี-ฟอร์ตีสร้างแรงสั่นสะเทือนอย่างมากต่อวงการคณิตศาสตร์ในยุคนั้น เพราะแสดงให้เห็นว่าทฤษฎีเซตแบบที่เคยใช้กันมา (ซึ่งภายหลังเรียกว่า “ทฤษฎีเซตไร้เดียงสา” หรือ naive set theory) มีความขัดแย้งในตัวเองซ่อนอยู่ ปฏิทรรศน์นี้กลายเป็นหนึ่งในจุดเริ่มต้นสำคัญของ “วิกฤตการณ์รากฐานคณิตศาสตร์” (foundational crisis of mathematics) ในช่วงต้นศตวรรษที่ 20 ซึ่งท้าทายให้นักคณิตศาสตร์ต้องกลับมาทบทวนว่าคณิตศาสตร์ควรตั้งอยู่บนรากฐานเชิงตรรกะแบบใดที่มั่นคงและปราศจากความขัดแย้ง

วิกฤตการณ์นี้นำไปสู่การพัฒนาระบบสัจพจน์ทฤษฎีเซตที่รัดกุมยิ่งขึ้น เช่น ระบบเซอร์เมโล-เฟรนเคิล (Zermelo–Fraenkel set theory หรือ ZF) ที่ใช้กันอย่างแพร่หลายในปัจจุบัน ซึ่งถูกออกแบบมาโดยเฉพาะเพื่อหลีกเลี่ยงปฏิทรรศน์ในลักษณะเดียวกับที่บูราลี-ฟอร์ตีค้นพบ

มรดกทางวิชาการ

แม้บูราลี-ฟอร์ตีจะเป็นที่รู้จักมากที่สุดจากปฏิทรรศน์ดังกล่าว แต่เขายังมีผลงานด้านอื่นๆ อีกมาก โดยเฉพาะงานร่วมกับเปอาโนในการพัฒนาสัญกรณ์ทางคณิตศาสตร์และตรรกศาสตร์เชิงสัญลักษณ์ รวมถึงงานด้านเรขาคณิตเชิงเวกเตอร์และเรขาคณิตเชิงอนุพันธ์ บูราลี-ฟอร์ตีเสียชีวิตเมื่อวันที่ 21 มกราคม ค.ศ. 1931 ที่เมืองตูริน ทิ้งไว้ซึ่งชื่อที่ยังคงถูกกล่าวถึงทุกครั้งที่มีการสอนประวัติศาสตร์ทฤษฎีเซตและตรรกศาสตร์คณิตศาสตร์