| กว่าจะพิสูจน์บทคาดการณ์ทางคณิตศาสตร์ “ปวงกาเร” นักคณิตศาสตร์ต้องใช้ทุ่มเทเวลา และสติปัญญาไขปัญหากันข้ามศตวรรษ “การคาดการณ์ของปวงกาเร” (Poincare Conjecture) เป็นปัญหาที่สร้างขึ้นโดย อองรี ปวงกาเร (Henri Poincare) นักคณิตศาสตร์ชาวฝรั่งเศส เมื่อปี 1904 เพื่อหาคำตอบว่าจักรวาลมีรูปร่างอย่างไร โดยปวงกาเรเสนอว่า ถ้าอวกาศนั้นเป็นพื้นที่ 3 มิติซึ่งเชื่อมต่อกัน มีขนาดคงที่ และไม่มีขอบเขต (หรือรู) จริง ห่วงใดๆ ก็ตามในอวกาศจะถูกดึงให้ขดเล็กลงโดยไม่สะดุดจนกลายเป็นจุดจุดหนึ่งได้ และแสดงว่าจักรวาลนั้นมีรูปร่างเป็นทรงกลม (แม้ว่าแท้จริงแล้วจะมีรูปร่างที่บิดเบี้ยวก็ตาม) การพิสูจน์การคาดการณ์นี้ใช้เวลาข้ามศตวรรษ จนกระทั่ง กริกอรี เพเรลมัน (Grigory Perelman) พิสูจน์ปัญหาดังกล่าวได้ในปี 2002 และปัญหาของปวงกาเรยังเป็น 1 ใน 7 ปัญหาคณิตศาสตร์แห่งศตวรรษ ซึ่งสถาบันคณิตศาสตร์เคลย์ แห่งเคมบริดจ์ (Clay Mathematics Institute of Cambridge) สหรัฐฯ ได้คัดเลือกจากปัญหาที่สำคัญๆ ซึ่งผู้ที่แก้ปัญหาได้จะได้รับรางวัลมิลเลนเนียมไพรซ์ พร้อมเงินรางวัลมูลค่า 1 ล้านเหรียญสหรัฐฯ หรือกว่า 30 ล้านบาท สำหรับปัญหาแห่งศตวรรษที่เหลือได้แก่ การคาดการณ์เบิร์ชและสวินเนอร์ตัน-ดายเออร์ (Birch and Swinnerton-Dyer Conjecture) การคาดการณ์ฮอดจ์ (Hodge Conjecture) สมการนาวิเออร์-สโตกส์ (Navier-Stokes Equations) ปัญหา P vs NP , สมมติฐานไรมานน์ (Riemann Hypothesis) และทฤษฎีหยาง-มิลลส์ (Yang-Mills Theory) |
บทความที่น่าสนใจ
