เมนูนำทาง
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ เป้าหมายเชิงปรัชญาการพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ เป็นประเด็นที่มีการโต้เถียงกันมากในวงการคณิตศาสตร์ นักคณิตศาสตร์บางคนมีความเชื่อว่า บทพิสูจน์ที่ใช้คอมพิวเตอร์ช่วยอันแสนยืดยาวนั้น ไม่ถือเป็นบทพิสูจน์ทางคณิตศาสตร์จริงๆ เนื่องจากบทพิสูจน์แบบนี้ เต็มไปด้วยขั้นตอนการให้เหตุผลทางคณิตศาสตร์ ที่ยาวเกินกว่าที่มนุษย์จะสามารถตรวจสอบได้ และรู้สึกว่านักคณิตศาสตร์ถูกบังคับให้ไว้ใจ ในการเขียนโปรแกรมคอมพิวเตอร์
ในทางกลับกัน เราสามารถถามคำถามโต้กลับได้ว่า หากมนุษย์ไม่ไว้ใจคอมพิวเตอร์ให้ทำการคำนวณอันยืดยาวแล้ว เหตุใดเราจึงไว้ใจในการใช้เหตุผลอันยืดยาวไม่แพ้กัน ของนักคณิตศาสตร์บางคน?
เมนูนำทาง
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ เป้าหมายเชิงปรัชญาใกล้เคียง
การพิสูจน์ตัวจริงด้วยปัจจัยหลายอย่าง การพิสูจน์ว่าเป็นเท็จ การพิจารณาคดีเนือร์นแบร์ค การพิชิตจักรวรรดิแอซเท็กของสเปน การพิชิตดินแดนโดยมุสลิม การพิมพ์ การพิสูจน์ตัวจริงโดยไร้รหัสผ่าน การพิชิตมักกะฮ์ การพิมพ์ 3 มิติ การพิจารณาซัดดัม ฮุสเซนแหล่งที่มา
WikiPedia: การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ http://www.maa.org/devlin/devlin_01_05.html http://www.comp.glam.ac.uk/pages/staff/efurse/Abst...