ผลต่างระหว่างรุ่นของ "การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์"

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