ฟรานเชสโก เมาโรลีโค: ผู้ใช้การอุปนัยเชิงคณิตศาสตร์อย่างเป็นระบบคนแรกในประวัติศาสตร์

ก่อนที่การอุปนัยเชิงคณิตศาสตร์ (mathematical induction) จะกลายเป็นเครื่องมือพื้นฐานที่นักเรียนคณิตศาสตร์ทุกคนต้องเรียนรู้ มีนักคณิตศาสตร์ชาวซิซิลีคนหนึ่งที่ได้รับการยกย่องว่าเป็นผู้ใช้เทคนิคนี้อย่างเป็นระบบเป็นคนแรก ๆ ในประวัติศาสตร์ นั่นคือ ฟรานเชสโก เมาโรลีโค (Francesco Maurolico) นักคณิตศาสตร์และนักดาราศาสตร์ผู้มีบทบาทสำคัญอย่างยิ่งในการฟื้นฟูตำราคณิตศาสตร์กรีกโบราณให้กลับมาเป็นที่รู้จักในยุโรปยุคเรอเนซองส์

ชีวิตช่วงต้นในเมืองเมสซินา

เมาโรลีโคเกิดเมื่อวันที่ 16 กันยายน ค.ศ. 1494 ที่เมืองเมสซินา ราชอาณาจักรซิซิลี เดิมทีเขามีนามสกุลว่า Marulì เป็นบุตรคนหนึ่งในเจ็ดคนของ Antonio Marulì ข้าราชการท้องถิ่น และ Penuccia บิดาของเขาเป็นแพทย์ชาวกรีกที่หลบหนีมาจากกรุงคอนสแตนติโนเปิลเมื่อจักรวรรดิออตโตมันเข้ายึดครองเมืองนั้น

เนื่องจากครอบครัวมีเชื้อสายกรีก เมาโรลีโคจึงเติบโตขึ้นมาโดยมีความเชี่ยวชาญในภาษากรีกอย่างลึกซึ้ง บิดาของเขาเคยศึกษาภายใต้การดูแลของ Constantine Lascaris นักปราชญ์นีโอเพลโตนิสต์ผู้มีชื่อเสียง ทำให้เมาโรลีโคได้รับการศึกษาแบบ “ลาสคาเรียน” ผ่านทางบิดาของเขาเอง รวมถึงจาก Francesco Faraone และ Giacomo Genovese ซึ่งล้วนเป็นลูกศิษย์ของ Lascaris เช่นกัน

ในปี ค.ศ. 1534 เขาเปลี่ยนนามสกุลจาก Marulì เป็น Mauro Lyco (ซึ่งมีความหมายว่า “หมาป่าลึกลับ”) หลังจากที่เคยใช้ชื่อ Mauro Lycio (“อพอลโลลึกลับ”) ในฐานะสมาชิกของสถาบันแห่งเมสซินาต่อเนื่องมาเป็นเวลาแปดปี

นักบวชผู้อุทิศชีวิตให้กับคณิตศาสตร์

เมาโรลีโคได้รับการบวชเป็นบาทหลวงในปี ค.ศ. 1521 และดำรงตำแหน่งทางศาสนจักรและทางแพ่งหลายตำแหน่งตลอดชีวิต แม้จะใช้ชีวิตเกือบทั้งหมดอยู่ในเกาะซิซิลี แต่เขาก็มีความสนใจอย่างลึกซึ้งในผลงานของนักคณิตศาสตร์กรีกโบราณ โดยเฉพาะ ยูคลิด (Euclid), อาร์คิมิดีส (Archimedes) และอพอลโลเนียส (Apollonius) ซึ่งเป็นผลมาจากการที่บิดาของเขาฝึกฝนให้เขามีความเชี่ยวชาญด้านคณิตศาสตร์ตั้งแต่เด็ก

ผู้บุกเบิกการอุปนัยเชิงคณิตศาสตร์อย่างเป็นระบบ

ผลงานที่สร้างชื่อเสียงให้กับเมาโรลีโคมากที่สุดในประวัติศาสตร์คณิตศาสตร์คือการเป็นผู้ที่ได้รับการบันทึกไว้ว่าเป็นคนแรก ๆ ที่ใช้หลักการอุปนัยเชิงคณิตศาสตร์ (Principle of Mathematical Induction) อย่างเป็นระบบ ในหนังสือ Arithmeticorum Libri Duo ซึ่งตีพิมพ์ในปี ค.ศ. 1575 (แม้จะเขียนขึ้นตั้งแต่ปี ค.ศ. 1557) เขาได้นำเสนอการพิสูจน์ที่ใช้หลักการอุปนัยเชิงคณิตศาสตร์เป็นครั้งแรกที่เป็นที่รู้จัก เพื่อพิสูจน์ว่า ผลรวมของจำนวนคี่ n จำนวนแรกเท่ากับ n กำลังสอง (1 + 3 + 5 + … + (2n-1) = n²)

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

ผู้ฟื้นฟูตำราคณิตศาสตร์กรีกโบราณ

นอกเหนือจากผลงานวิจัยดั้งเดิมแล้ว คุณูปการที่สำคัญไม่แพ้กันของเมาโรลีโคคือบทบาทในการแปลและฟื้นฟูตำราคณิตศาสตร์กรีกโบราณหลายเล่มให้กลับมาใช้งานได้ในยุโรปยุคเรอเนซองส์ เขาได้ทำการเรียบเรียง แปล และให้คำอธิบายประกอบผลงานของนักคณิตศาสตร์กรีกโบราณที่สำคัญหลายคน ทั้ง Archimedes, Apollonius, Autolycus, Theodosius และ Serenus

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

ผลงานด้านดาราศาสตร์และวิทยาศาสตร์อื่น ๆ

นอกเหนือจากคณิตศาสตร์บริสุทธิ์ เมาโรลีโคยังมีผลงานสำคัญด้านทัศนศาสตร์ (optics), ภาคตัดกรวย (conics), กลศาสตร์ (mechanics), ดนตรี และดาราศาสตร์ ในหนังสือ Cosmographia เขาได้อธิบายวิธีการวัดขนาดของโลก ซึ่งต่อมา Jean Picard นักดาราศาสตร์ชาวฝรั่งเศสได้นำวิธีการนี้ไปใช้ในการวัดความยาวส่วนโค้งเมริเดียนในปี ค.ศ. 1670

เมาโรลีโคยังเป็นที่รู้จักจากการสังเกตซูเปอร์โนวาในกลุ่มดาวแคสสิโอเปียในปี ค.ศ. 1572 ซึ่งการสังเกตของเขาปรากฏว่าเกิดขึ้นก่อนการสังเกตของ Tycho Brahe นักดาราศาสตร์ผู้มีชื่อเสียงถึงห้าวัน อย่างไรก็ตาม ในหนังสือ De Sphaera Liber Unus (ค.ศ. 1575) เขากลับแสดงจุดยืนที่ต่อต้านทฤษฎีดวงอาทิตย์เป็นศูนย์กลางจักรวาล (heliocentrism) ของโคเปอร์นิคัสอย่างรุนแรง โดยเขียนไว้ว่าโคเปอร์นิคัส “สมควรได้รับการเฆี่ยนตีมากกว่าการโต้แย้งด้วยเหตุผล” ซึ่งสะท้อนให้เห็นถึงมุมมองอันขัดแย้งกับความก้าวหน้าทางวิทยาศาสตร์ที่จะเกิดขึ้นในเวลาต่อมา

บั้นปลายชีวิตและมรดกที่ทิ้งไว้

ฟรานเชสโก เมาโรลีโคเสียชีวิตด้วยสาเหตุตามธรรมชาติเมื่อวันที่ 21 หรือ 22 กรกฎาคม ค.ศ. 1575 ที่เมืองเมสซินา ขณะอายุ 80 ปี ในช่วงที่เกิดการระบาดของโรคระบาดใหญ่ ซึ่งทำให้เขาต้องหลบไปพักอาศัยที่ Contrada Annunziata พื้นที่เนินเขาทางเหนือของเมืองเมสซินา ซึ่งเป็นที่ตั้งของวิลลาของตระกูล Marulì

ตลอดชีวิตการทำงาน เมาโรลีโคได้รับการยกย่องว่าเป็นหนึ่งในนักปราชญ์รอบด้าน (polymath) คนสุดท้าย ๆ ที่ทำงานภายใต้ประเพณีคณิตศาสตร์กรีกโบราณ ก่อนที่การปฏิวัติทางวิทยาศาสตร์ (scientific revolution) จะเปลี่ยนโฉมหน้าวงการวิทยาศาสตร์ไปตลอดกาล ผลงานด้านทัศนศาสตร์และเรขาคณิตของเขามีอิทธิพลต่อนักคิดรุ่นหลัง อาทิ เดการ์ต (Descartes) และเมอร์แซนน์ (Mersenne)

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