มนุษย์เราสามารถล่วงรู้ศาสตร์แห่งตัวเลขได้ลึกซึ้งเพียงใด? คำถามอมตะนี้ถูกหยิบยกขึ้นมาปัดฝุ่นอีกครั้ง หลังการบรรยายครั้งสำคัญ ณ มหาวิทยาลัยฮาร์วาร์ดเมื่อไม่นานมานี้ ซึ่งผู้เชี่ยวชาญด้านคอมพิวเตอร์ควอนตัมระดับแนวหน้าท่านหนึ่งได้เจาะลึกถึงความเชื่อมโยงของพรมแดนระหว่างวิทยาการคอมพิวเตอร์ ปรัชญา และตรรกศาสตร์ทางคณิตศาสตร์ ว่ามีบทบาทอย่างไรในการขีดเส้นจำกัดขององค์ความรู้ทางคณิตศาสตร์ (Harvard Math - Fifth Annual Yip Lecture)
การบรรยายภายใต้หัวข้อ “เราจะรู้คณิตศาสตร์ได้มากแค่ไหน?” (How Much Math Is Knowable?) ได้จุดประกายให้เห็นว่า แม้คณิตศาสตร์มักถูกมองว่าเป็นศาสตร์ที่ว่าด้วยความจริงอันแน่นอนตายตัว แท้จริงแล้วกลับมีความซับซ้อนและมีข้อจำกัดจากการคำนวณเป็นกรอบกำหนด หัวใจสำคัญของเรื่องนี้ก็คือ วิทยาการคอมพิวเตอร์ไม่ได้เป็นแค่ผู้ช่วยสร้างเครื่องมือใหม่ๆ ให้นักคณิตศาสตร์เท่านั้น แต่ยังทำหน้าที่เสมือนผู้ลากเส้นแบ่งเขตแดนว่าสิ่งใดบ้างในทางคณิตศาสตร์ที่มนุษย์สามารถพิสูจน์หรือรับรู้ได้อย่างเป็นรูปธรรม และสิ่งใดที่อยู่นอกเหนือความสามารถนั้น
ประเด็นนี้นับว่ามีความสำคัญไม่น้อยสำหรับผู้เรียนและครูอาจารย์ชาวไทย โดยเฉพาะเมื่อหลักสูตรการศึกษาของไทยกำลังมุ่งเน้นการใช้เหตุผลเชิงคณิตศาสตร์มากขึ้น ประกอบกับการที่ประเทศกำลังลงทุนเพื่อพัฒนาทักษะการคิดเชิงคำนวณขั้นสูงในกลุ่มนักเรียน (กระทรวงศึกษาธิการ ประเทศไทย) การเข้าใจถึงข้อจำกัดและรากฐานทางปรัชญาของคณิตศาสตร์จึงเป็นสิ่งสำคัญอย่างยิ่งยวดในการสร้างนักคิดเชิงวิพากษ์และนักนวัตกรรมรุ่นใหม่ของชาติ
ตัวอย่างเด่นที่หยิบยกมาในการบรรยายคือ “ข้อคาดการณ์ของโกลด์บาค” (Goldbach Conjecture) ที่รู้จักกันดี ซึ่งกล่าวว่าทุกจำนวนคู่ที่มากกว่าสอง สามารถเขียนในรูปผลบวกของจำนวนเฉพาะสองจำนวนได้ แม้ว่าคอมพิวเตอร์จะสามารถตรวจสอบข้อคาดการณ์นี้ไปจนถึงตัวเลขจำนวนมหาศาลแล้ว แต่ก็ยังไม่มีใครสามารถพิสูจน์หรือหักล้างได้อย่างเด็ดขาด การวิเคราะห์ชี้ให้เห็นว่า การยืนยันข้อคาดการณ์นี้ให้ครอบคลุมทุกกรณี จำเป็นต้องตรวจสอบลำดับอนันต์ ซึ่งเป็นภารกิจที่เกินกำลังทั้งของมนุษย์และเครื่องจักร สิ่งนี้แตกต่างอย่างสิ้นเชิงกับทฤษฎีบทพีทาโกรัส ซึ่งชุดขั้นตอนทางตรรกะที่มีจำนวนจำกัดสามารถให้การพิสูจน์ที่ครอบคลุมรูปสามเหลี่ยมจำนวนอนันต์ชุดได้ ในที่นี้ “โครงสร้างที่เป็นระเบียบ” (regularity) ทางคณิตศาสตร์จึงเปรียบเสมือนกุญแจที่ช่วยให้เราจัดการกับปัญหาอนันต์บางประเภทได้ ขณะที่บางปัญหาก็ยังคงเกินเอื้อม (วิกิพีเดีย – ข้อคาดการณ์ของโกลด์บาค)
เพื่ออธิบายถึงความท้าทายเกี่ยวกับอนันต์ การบรรยายได้นำเสนอแนวคิดการคำนวณที่ฟังดูเหนือจริง นั่นคือการทดสอบข้อคาดการณ์โกลด์บาคทีละกรณี โดยใช้เวลาที่ลดลงครึ่งหนึ่งไปเรื่อยๆ (เช่น ทดสอบครั้งแรกใน 1 วินาที ครั้งถัดไปใน 1/2 วินาที ครั้งต่อมาใน 1/4 วินาที และต่อไปเรื่อยๆ) ในทางทฤษฎีคณิตศาสตร์ เมื่อผ่านไปเพียงสองวินาที การตรวจสอบทั้งหมดก็จะเสร็จสมบูรณ์ ซึ่งชวนให้นึกถึง “ปฏิทรรศน์ของซีโน” (Zeno’s Paradox) ในยุคโบราณ ทว่าในโลกแห่งความเป็นจริง กฎเกณฑ์ทางฟิสิกส์ รวมถึงข้อจำกัดจากกลศาสตร์ควอนตัม เช่น “เวลาของพลังค์” (Planck Time) ทำให้แนวคิดเช่นนี้เป็นไปไม่ได้
จากนั้น ประเด็นการบรรยายได้เปลี่ยนไปสู่ “ฟังก์ชันบีเวอร์ผู้ขยัน” (Busy Beaver function) ซึ่งเป็นปัญหาเลื่องชื่อในวิทยาการคอมพิวเตอร์เชิงทฤษฎี ปัญหาบีเวอร์ผู้ขยัน (Busy Beaver game) ตั้งโจทย์ว่า: ภายใต้ชุดกฎเกณฑ์ที่กำหนด (เครื่องจักรทัวริงที่มี n สถานะ) จำนวนขั้นตอนสูงสุดที่เครื่องจักรสามารถทำงานได้ หรือจำนวนสัญลักษณ์สูงสุดที่สามารถเขียนลงบนแถบเทปได้ ก่อนที่เครื่องจักรจะหยุดทำงาน คือเท่าใด ความน่าทึ่งของฟังก์ชันนี้อยู่ที่อัตราการเติบโตของมัน ซึ่งเร็วยิ่งกว่าฟังก์ชันใดๆ ที่สามารถคำนวณได้ จนก้าวข้ามขีดจำกัดของทั้งคอมพิวเตอร์และนักคณิตศาสตร์ไปอย่างรวดเร็ว แม้แต่ค่าของฟังก์ชันสำหรับค่า n เพียงเล็กน้อย (เช่น BB(5)) ก็ให้ผลลัพธ์เป็นตัวเลขที่ใหญ่โตมหาศาลแล้ว ผลพวงที่ตามมานั้นน่าทึ่งอย่างยิ่ง เพราะเพียงแค่คำนวณค่าของฟังก์ชันนี้สำหรับค่าป้อนเข้า (input) เพียงไม่กี่ค่า ก็อาจนำไปสู่การไขปริศนาทางคณิตศาสตร์ที่ยังแก้ไม่ได้จำนวนมาก รวมถึงข้อคาดการณ์ของโกลด์บาค และอาจรวมถึงสมมติฐานของรีมันน์ ด้วยการแปลงคำถามเกี่ยวกับความจริงทางคณิตศาสตร์ไปเป็นคำถามว่าเครื่องจักรทัวริงบางเครื่องจะหยุดทำงานหรือไม่ (วิกิพีเดีย – ฟังก์ชันบีเวอร์ผู้ขยัน)
วิทยากรยังได้กล่าวถึงปัญหา “P ปะทะ NP” (P versus NP problem) ซึ่งเป็นหนึ่งในปัญหาที่ยังแก้ไม่ตกและมีความสำคัญยิ่งยวดในวงการวิทยาการคอมพิวเตอร์ คำถามสำคัญคือ หากปัญหาใดที่คอมพิวเตอร์สามารถตรวจสอบคำตอบได้อย่างรวดเร็วแล้ว ปัญหานั้นจะสามารถถูกแก้ไข (ค้นหาคำตอบ) ได้อย่างรวดเร็วด้วยคอมพิวเตอร์เช่นกันหรือไม่ ปัญหานี้ส่งผลกระทบเป็นวงกว้าง ไม่เพียงแต่ในแวดวงคณิตศาสตร์เชิงทฤษฎีเท่านั้น แต่ยังรวมถึงการประยุกต์ใช้ในชีวิตจริงด้วย เช่น ความมั่นคงปลอดภัยทางไซเบอร์ โลจิสติกส์ และแม้กระทั่งการวินิจฉัยทางการแพทย์อัตโนมัติ (วิกิพีเดีย – ปัญหา P ปะทะ NP)
วิทยากรในการบรรยายได้เน้นย้ำว่าวิทยาการคอมพิวเตอร์ได้แสดงให้เห็นอย่างเป็นรูปธรรมว่า มีขอบเขตที่ชัดเจนและเข้มงวดว่าสิ่งใดบ้างที่สามารถพิสูจน์หรือตัดสินได้ด้วยกระบวนการคำนวณ นี่ไม่ใช่เพียงข้อกังวลในเชิงทฤษฎี แต่เป็นปัจจัยที่กำหนดทิศทางอนาคตของคณิตศาสตร์ วิทยาศาสตร์ และเทคโนโลยี ตัวอย่างเช่น นักการศึกษาและผู้เชี่ยวชาญด้านการส่งเสริมคณิตศาสตร์ในแวดวงการศึกษาไทยให้ข้อสังเกตว่า การตระหนักรู้ถึงสิ่งที่ ‘ตัดสินไม่ได้’ (undecidable) และสิ่งที่ ‘คำนวณไม่ได้’ (incomputable) สามารถจุดประกายให้นักเรียนมีทั้งมุมมองที่อยู่บนพื้นฐานความเป็นจริงและความคิดสร้างสรรค์ในการเรียนรู้คณิตศาสตร์ พร้อมกันนี้ยังเป็นการตอกย้ำว่า คณิตศาสตร์ไม่ได้มีเพียงความจริงที่ค้นพบได้เท่านั้น แต่ยังอุดมไปด้วยปริศนาอันล้ำลึกและท้าทายอยู่เสมอ
แล้วทั้งหมดนี้มีความหมายอย่างไรกับประเทศไทย? ในขณะที่ประเทศไทยกำลังเดินหน้าเปลี่ยนผ่านสู่ยุคดิจิทัลและขับเคลื่อนการพัฒนาด้วยนวัตกรรม โดยเฉพาะอย่างยิ่งภายใต้นโยบายประเทศไทย 4.0 ความเข้าใจในความสัมพันธ์ระหว่างทฤษฎีการคำนวณได้ (computability theory) กับคณิตศาสตร์จึงทวีความสำคัญยิ่งขึ้น ความท้าทายมากมายในภาคการวิจัยและอุตสาหกรรม ตั้งแต่ประเด็นจริยธรรมปัญญาประดิษฐ์ (AI ethics) ไปจนถึงวิทยาการรหัสลับ (cryptography) ล้วนเกี่ยวโยงกับการตระหนักรู้ถึงขีดความสามารถของเครื่องจักร และจุดที่สัญชาตญาณ ความคิดสร้างสรรค์ และการคิดใคร่ครวญเชิงปรัชญาของมนุษย์ยังคงมีบทบาทเหนือกว่า
ในอดีต นักคณิตศาสตร์และนักการศึกษาของไทยได้เปิดรับแนวคิดเชิงปรัชญาจากทั้งโลกตะวันออกและตะวันตก แนวคิดทางพระพุทธศาสนาเรื่องอนิจจัง (ความไม่เที่ยง) และข้อจำกัดในการรับรู้ของมนุษย์ สามารถนำมาเทียบเคียงได้อย่างน่าสนใจกับข้อค้นพบจากทฤษฎีการคำนวณได้ เฉกเช่นที่ไม่ใช่ทุกสัจธรรมจะสามารถหยั่งรู้ได้ด้วยการทำสมาธิหรือตรรกะฉันใด ปัญหาทางคณิตศาสตร์ก็ไม่ใช่ทุกข้อที่จะสามารถไขได้อย่างกระจ่างแจ้งฉันนั้น แม้ว่าเครื่องจักรของเราจะทรงพลังเพียงใดก็ตาม
เมื่อมองไปยังอนาคต คาดการณ์ว่าการถกเถียงในประเด็นขีดจำกัดขององค์ความรู้ทางคณิตศาสตร์ จะส่งผลกระทบไม่เพียงต่อหลักสูตรในระดับอุดมศึกษา แต่ยังรวมถึงการเรียนการสอนคณิตศาสตร์ในระดับโรงเรียนด้วย ครูผู้สอนในประเทศไทยอาจจุดประกายให้นักเรียนรู้จักตั้งคำถาม ไม่ใช่เพียงแค่การแก้โจทย์ปัญหา แต่ให้ลองพิจารณาด้วยว่าปัญหานั้นๆ โดยหลักการแล้วสามารถแก้ไขได้จริงหรือไม่ ทักษะการคิดเชิงวิพากษ์เช่นนี้เองที่จะเสริมสร้างให้ผู้เรียนชาวไทยมีความโดดเด่นในฐานะพลเมืองโลก ท่ามกลางโลกเทคโนโลยีที่ซับซ้อนยิ่งขึ้น
สำหรับผู้ที่ใฝ่หาความรู้ สารสำคัญนั้นชัดเจน: เราต้องยอมรับทั้งสิ่งที่เราสามารถรู้ได้และสิ่งที่อาจจะยังคงอยู่ไกลเกินกว่าที่เราจะไขว่คว้าได้ตลอดไป การสำรวจพรมแดนความรู้ทางคณิตศาสตร์นั้น เป็นเรื่องของความอ่อนน้อมถ่อมตนมากพอๆ กับการค้นพบสิ่งใหม่ นักการศึกษา ผู้กำหนดนโยบาย และนักเรียนนักศึกษาไทย ควรติดตามการอภิปรายในประเด็นเหล่านี้ในระดับโลกอย่างใกล้ชิด เพื่อให้มั่นใจว่าความก้าวหน้าทางคณิตศาสตร์ของไทยยังคงมีพลวัต มีความสมดุล และมองไปสู่อนาคต สำหรับนักเรียนและประชาชนทั่วไป ความสนใจใคร่รู้ในประเด็นเหล่านี้สามารถนำไปสู่ความซาบซึ้งในความมหัศจรรย์ของคณิตศาสตร์ ทั้งในแง่ความงดงาม ความลี้ลับ และพลังอันยั่งยืนที่ท้าทายความคิดและสร้างแรงบันดาลใจ
สำหรับผู้ที่สนใจสำรวจหัวข้อเหล่านี้เพิ่มเติม แหล่งข้อมูล เช่น การบรรยายของ สกอตต์ แอรอนสัน (Scott Aaronson) บทความเชิงลึกเกี่ยวกับทฤษฎีการคำนวณได้จากวิกิพีเดีย และสื่อการเรียนรู้ภาษาไทยที่เกี่ยวข้องกับทฤษฎีทางคณิตศาสตร์ นับเป็นจุดเริ่มต้นที่ดีในการศึกษาค้นคว้าเพิ่มเติม
แหล่งข้อมูล:
