เป้าหมายเชิงปรัชญา ของ การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์

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

ในทางกลับกัน เราสามารถถามคำถามโต้กลับได้ว่า หากมนุษย์ไม่ไว้ใจคอมพิวเตอร์ให้ทำการคำนวณอันยืดยาวแล้ว เหตุใดเราจึงไว้ใจในการใช้เหตุผลอันยืดยาวไม่แพ้กัน ของนักคณิตศาสตร์บางคน?

ใกล้เคียง

การพิสูจน์ตัวจริงด้วยปัจจัยหลายอย่าง การพิสูจน์ว่าเป็นเท็จ การพิจารณาคดีเนือร์นแบร์ค การพิชิตจักรวรรดิแอซเท็กของสเปน การพิชิตดินแดนโดยมุสลิม การพิมพ์ การพิสูจน์ตัวจริงโดยไร้รหัสผ่าน การพิชิตมักกะฮ์ การพิมพ์ 3 มิติ การพิจารณาซัดดัม ฮุสเซน