ประวัติและนิรุกติศาสตร์

  ขัดแย้งความเป็นไปโดยใช้อุปกรณ์ heuristic เช่นภาพและ analogies นำหน้าพิสูจน์ทางคณิตศาสตร์อย่างเคร่งครัด การพัฒนาของการพิสูจน์ทางคณิตศาสตร์เป็นหลักผลิตภัณฑ์
อารยธรรมกรีกแรก Thales (624-546 BCE) พิสูจน์ theorems บางในเรขาคณิต Eudoxus (408-355 BCE) และ Theaetetus (417-369 BCE)สูตร theorems
แต่ไม่ได้พิสูจน์พวกเขา. อริสโตเติล (384-322 BCE) กล่าวว่าคำจำกัดความจะอธิบายแนวคิดที่มีการกำหนดไว้ในแง่ของแนวคิดอื่นๆที่รู้จักกันแล้ว. Euclid (300 BCE) เริ่มต้นด้วย
 คำที่ไม่ได้กำหนด และ axioms (propositions เกี่ยวกับเงื่อนไขไม่ได้กำหนดถือว่าเป็นตัวจริงชัดเจนจาก axios “กรีก” หมายถึงสิ่งที่ “สมควร”) และใช้เหล่านี้เพื่อพิสูจน์
theorems ใช้ ตรรกะ deductive พิสูจน์ทฤษฎี สมัยใหม่ถือว่าเป็นหลักฐานอัน inductively กำหนดโครงสร้างข้อมูล ไม่สมมติว่า axioms เป็น “true” ในแง่ใดๆ;
 นี้ช่วยให้ทฤษฎีทางคณิตศาสตร์คู่ขนานที่สร้างขึ้นจากชุดอื่นของ axioms (ดู ทฤษฎีกำหนดซึ่งเห็นได้ง่าย และ Non-Euclidean เรขาคณิต สำหรับตัวอย่าง)

  คำสมัยใหม่ที่เกี่ยวข้องมีการสอบสวน “อังกฤษ”, “งวง” การทดลอง “และน่าจะเป็น” “และ probar” สเปน “(ให้กลิ่นหรือรสหรือ (ใช้น้อย) ติดต่อหรือทดสอบ)
ต้นใช้ความซื่อสัตย์ “” ถูกในการนำเสนอหลักฐานทางกฎหมาย. คนของอำนาจเช่นขุนให้ได้ว่ามีความซื่อสัตย์, โดยหลักฐานได้โดยอำนาจญาติของเขาซึ่ง outweighed พยานชัดเจน

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s