ทฤษฎีบทของธาเลส

คณิตศาสตร์กรีกถูกกล่าวหาว่าเริ่มต้นด้วย Thales of Miletus (ประมาณ 624–548 คริสตศักราช)ไม่ค่อยมีใครรู้เกี่ยวกับชีวิตของเขา แม้ว่าโดยทั่วไปจะตกลงกันว่าเขาเป็นหนึ่งในเจ็ดนักปราชญ์แห่งกรีซตามคำกล่าวของ Proclus เขาเดินทางไปยังบาบิโลนจากที่ที่เขาเรียนคณิตศาสตร์และวิชาอื่นๆ ขึ้นมาพร้อมกับการพิสูจน์สิ่งที่เรียกว่าทฤษฎีบทของทาลีสในปัจจุบัน^[23]ทาลีสใช้เรขาคณิตในการแก้ปัญหา เช่น การคำนวณความสูงของปิรามิดและระยะห่างของเรือจากฝั่งเขาได้รับเครดิตจากการใช้เหตุผลเชิงนิรนัยเป็นครั้งแรกที่ใช้กับเรขาคณิต โดยได้รับข้อพิสูจน์สี่ข้อจากทฤษฎีบทของทาลีสเป็นผลให้เขาได้รับการยกย่องว่าเป็นนักคณิตศาสตร์ตัวจริงคนแรกและเป็นบุคคลแรกที่รู้จักซึ่งมีสาเหตุมาจากการค้นพบทางคณิตศาสตร์^[30]