สรุปหัวข้อตรรกศาสตร์ และ การพิสูจน์ (Logic & Proof) ในทางคณิตศาสตร์

Disclaimer !!

ตัวผมเองนั้นจัดตัวเองอยู่ในผู้ที่มีความสนใจในคณิตศาสตร์ ไม่ใช่ผู้เชี่ยวชาญ และ ผมอยากจะเขียน Blog นี้ออกมาให้ตัวเอง (และคนอื่น ?) อ่านแล้วเข้าใจได้ไม่ยากให้มากที่สุด ดังนั้นผมจึงไม่สามารถรับประกันในรายละเอียด หรือ ความถูกต้องอย่างถี่ถ้วนภายในบทความได้ วิธีที่ดีที่สุดในการที่คุณจะทำความเข้าใจมันคือ ให้คุณลองเอา Keyword หรือบางอย่างที่ผมเขียนใน Blog นี้ไปค้นหา ศึกษาต่อ หรือ ถ้าใครที่พอมีความรู้ ความเข้าใจมาอ่าน หากมีตรงไหนที่ขาดตกบกพร่อง หรือ อยากเสริม ก็สามารถเข้ามาคอมเมนต์ใน Blog นี้ได้อย่างสะดวก ขออย่างเดียวคือขอให้เราแลกเปลี่ยนกันอย่างเป็นมิตรที่ดีต่อกันก็พอ และผมแนะนำคนที่มาอ่านว่าถ้าหากคุณอ่าน Blog นี้แล้วเจอว่ามันมีคอมเมนต์ ก็แนะนำให้ลองไปอ่านในคอมเมนต์ด้วยเผื่อจะมีคนมาเมนต์ตามที่บอกไปข้างต้น จะได้ทำให้พวกท่านได้รับข้อมูล ความรู้ที่หลากหลาย ครอบคลุมมากขึ้นนะครับ :)

เกริ่น

เนื่องจากผมได้มีความสนใจอยากจะเขียน Blog เกี่ยวกับเรื่องที่ผมสนใจ ในโอกาสที่ผมได้กลับมาเขียน Blog ใน Medium อีกครั้ง หลังจากเรียนจบ ซึ่งหนึ่งในเรื่องที่ผมสนใจก็คือ คณิตศาสตร์ (Mathematics) โดยเฉพาะสายคณิตศาสตร์บริสุทธิ์ (Pure Mathematics) ซึ่งหัวข้อนึงที่จำเป็น เป็นหัวข้อที่คนที่สนใจคณิตศาสตร์ควรที่จะเรียนรู้เป็นเรื่องแรกๆ เพื่อนำไปใช้ต่อยอดในการศึกษาหัวข้อถัดไป คือ เรื่องตรรกศาสตร์ และ การพิสูจน์ (Logic & Proof) เนื่องจากการศึกษาคณิตศาสตร์โดยมากนั้น เราจะศึกษากันอยู่ภายใต้ นิยาม สัจพจน์ ระบบสัจพจน์ และ ทฤษฎีบท บางอย่างกันเป็นส่วนใหญ่ เราจึงจำเป็นต้องมีความเข้าใจเรื่องการพิสูจน์ เพื่อนำไปต่อยอดในการทำความเข้าใจที่มาของหลายๆทฤษฎีบทในทางคณิตศาสตร์ ในแต่ละหัวข้อได้ครับ

เนื้อหา

เนื้อหาใน Blog นี้ผมจะทำการเรียบเรียงอยู่เรื่อยๆ แต่เนื่องจากความติดขัดบางประการในการพิมพ์สัญลักษณ์ทางคณิตศาสตร์ใน Medium ใน Draft แรกของ Blog นี้ ผมจะแนบเป็นลิงก์ของ Notion ที่ผมได้ทำการสรุปเรื่องนี้ไว้ก่อนนะครับ

ลิงก์สรุป: https://field-week-e72.notion.site/Lecture-Note-Logic-Proof-c0d00a2afbbe465d87b162f9834ac9f5?pvs=4