บุคคลสำคัญสมัยกรีกโบราณที่ได้ชื่อว่าเป็น บิดาของการให้เหตุผลแบบนิรนัย คือ ทาเลสแห่งมิเลตุส(Thales of Miletus:ประมาณ 640-546 ปีก่อนคริสต์ศักราช) ท่านได้ชื่อว่าเป็นคนแรกที่เห็นความจำเป็นในการพิสูจน์ทฤษฎีบทและข้อค้นพบต่าง ๆ ในเรขาคณิต ซึ่งในเวลาก่อนหน้านี้มีการนำผลตามทฤษฎีบทและข้อค้นพบต่าง ๆ ไปใช้งานโดยไม่สนใจจะพิสูจน์ว่าทำไมจึงได้ผลเป็นเช่นนั้น
ทาเลสไม่เพียงแต่สนใจด้านการพิสูจน์ทฤษฎีบทต่าง ๆ ทางเรขาคณิตอย่างเดียวเท่านั้นแต่ยังสนใจด้านการนำเรขาคณิตไปใช้อีกด้วย ทาเลสได้พิสูจน์ทฤษฎีบทเกี่ยวกับรูปสามเหลี่ยมคล้ายและนำความรู้เรื่องนี้ไปใช้ในการหาความสูงของพีระมิด เป็นต้น นอกจากทางเรขาคณิตแล้วยังถือกันว่าท่านเป็นบุคคลแรกที่พยายามอธิบายปรากฏการณ์ต่าง ๆ ทางธรรมชาติด้วยเหตุด้วยผลแทนที่จะยกให้เป็นเรื่องราวของโชคลางและอิทธิฤทธิ์ที่อยู่เหนือธรรมชาติ
ไม่มีความคิดเห็น:
แสดงความคิดเห็น