สถานีย่อย:คณิตศาสตร์/บทความยอดเยี่ยม กรกฎาคม 2007
ทฤษฎีบทสี่สี (Four color theorem) กล่าวว่า แผนที่ทางภูมิศาสตร์สามารถระบายด้วยสี 4 สี ซึ่งไม่มีพื้นที่ที่อยู่ติดกันมีสีเดียวกันได้เสมอ เราเรียกพื้นที่ว่าติดกันก็ต่อเมื่อมันมีส่วนของขอบร่วมกัน ไม่ใช่แค่จุดร่วมกัน และพื้นที่แต่ละชิ้นจะต้องติดเป็นอันหนึ่งอันเดียวกัน ไม่ใช่แยกเป็นหลาย ๆ ส่วน อย่างมิชิแกน หรืออาเซอร์ไบจาน
เป็นที่ประจักษ์ว่าสี 3 สีนั้นไม่เพียงพอ ซึ่งพิสูจน์ได้ไม่ยาก นอกจากนั้น เราสามารถพิสูจน์ได้ว่าสี 5 สีนั้นเพียงพอในการระบายแผนที่
ทฤษฎีบทสี่สี เป็นทฤษฎีบทแรกที่ถูกพิสูจน์ด้วยคอมพิวเตอร์ แต่การพิสูจน์นี้ไม่เป็นที่ยอมรับจากนักคณิตศาสตร์ส่วนใหญ่ เพราะว่ามันไม่สามารถตรวจสอบด้วยคนได้ และบางคนถึงกับกังวลในความถูกต้องของตัวแปลภาษา (คอมไพเลอร์) และฮาร์ดแวร์ที่ใช้ทำงานโปรแกรมสำหรับการพิสูจน์ อ่านต่อ...