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