คณิตศาสตร์และทฤษฎีบทสี่สี

ทางลัด: ความแตกต่างความคล้ายคลึงกันค่าสัมประสิทธิ์การเปรียบเทียบ Jaccardการอ้างอิง

ความแตกต่างระหว่าง คณิตศาสตร์และทฤษฎีบทสี่สี

คณิตศาสตร์ vs. ทฤษฎีบทสี่สี

ยูคลิด (กำลังถือคาลิเปอร์) นักคณิตศาสตร์ชาวกรีก ในสมัย 300 ปีก่อนคริสตกาล ภาพวาดของราฟาเอลในชื่อ ''โรงเรียนแห่งเอเธนส์''No likeness or description of Euclid's physical appearance made during his lifetime survived antiquity. Therefore, Euclid's depiction in works of art depends on the artist's imagination (see ''Euclid''). คณิตศาสตร์ เป็นศาสตร์ที่มุ่งค้นคว้าเกี่ยวกับ โครงสร้างนามธรรมที่ถูกกำหนดขึ้นผ่านทางกลุ่มของสัจพจน์ซึ่งมีการให้เหตุผลที่แน่นอนโดยใช้ตรรกศาสตร์สัญลักษณ์ และสัญกรณ์คณิตศาสตร์ เรามักนิยามโดยทั่วไปว่าคณิตศาสตร์เป็นสาขาวิชาที่ศึกษาเกี่ยวกับรูปแบบและโครงสร้าง, การเปลี่ยนแปลง และปริภูมิ กล่าวคร่าว ๆ ได้ว่าคณิตศาสตร์นั้นสนใจ "รูปร่างและจำนวน" เนื่องจากคณิตศาสตร์มิได้สร้างความรู้ผ่านกระบวนการทดลอง บางคนจึงไม่จัดว่าคณิตศาสตร์เป็นสาขาของวิทยาศาสตร์ ในอดีตผู้คนจะใช้สิ่งของแทนจำนวนที่จะนับยิ่งนานเข้าจำนวนประชากรยิ่งมีมากขึ้น ทำให้ผู้คนเริ่มคิดที่จะประดิษฐ์ตัวเลขขึ้นมาแทนการนับที่ใช้สิ่งของนับแทนจากนั้นก็มีการบวก ลบคูณ และหาร จากนั้นก็ก่อให้เกิดคณิตศาสตร์ คำว่า "คณิตศาสตร์" (คำอ่าน: คะ-นิด-ตะ-สาด) มาจากคำว่า คณิต (การนับ หรือ คำนวณ) และ ศาสตร์ (ความรู้ หรือ การศึกษา) ซึ่งรวมกันมีความหมายโดยทั่วไปว่า การศึกษาเกี่ยวกับการคำนวณ หรือ วิชาที่เกี่ยวกับการคำนวณ. แผนที่ที่ระบายด้วยสี 4 สี ทฤษฎีบทสี่สี (Four color theorem) กล่าวว่า แผนที่ทางภูมิศาสตร์สามารถระบายด้วยสี 4 สี ซึ่งไม่มีพื้นที่ที่อยู่ติดกันมีสีเดียวกันได้เสมอ เราเรียกพื้นที่ว่าติดกันก็ต่อเมื่อมันมีส่วนของขอบร่วมกัน ไม่ใช่แค่จุดร่วมกัน และพื้นที่แต่ละชิ้นจะต้องติดเป็นอันหนึ่งอันเดียวกัน ไม่ใช่แยกเป็นหลายๆ ส่วน อย่างมิชิแกน หรืออาเซอร์ไบจาน เป็นที่ประจักษ์ว่าสี 3 สีนั้นไม่เพียงพอ ซึ่งพิสูจน์ได้ไม่ยาก นอกจากนั้น เราสามารถพิสูจน์ได้ว่าสี 5 สีนั้นเพียงพอในการระบายแผนที่ ทฤษฎีบทสี่สี เป็นทฤษฎีบทแรกที่ถูกพิสูจน์ด้วยคอมพิวเตอร์ แต่การพิสูจน์นี้ไม่เป็นที่ยอมรับจากนักคณิตศาสตร์ส่วนใหญ่ เพราะว่ามันไม่สามารถตรวจสอบด้วยคนได้ และบางคนถึงกับกังวลในความถูกต้องของตัวแปลภาษา (คอมไพเลอร์) และฮาร์ดแวร์ที่ใช้ทำงานโปรแกรมสำหรับการพิสูจน์ การขาดความสง่างามทางคณิตศาสตร์ก็เป็นอีกสาเหตุหนึ่ง ดังคำกล่าวอันหนึ่งว่า "บทพิสูจน์ทางคณิตศาสตร์ที่ดีเป็นดั่งบทกวี — แต่นี่มันคือสมุดจดเบอร์โทรศัพท์ชัดๆ!".

ทฤษฎีกราฟ

กราฟที่มีจุดยอด 6 จุด และเส้นเชื่อม 7 เส้น ทฤษฎีกราฟ (graph theory) เป็นหนึ่งในสาขาคณิตศาสตร์และวิทยาการคอมพิวเตอร์ ที่ศึกษาถึงคุณสมบัติต่าง ๆ ของกราฟ.

คณิตศาสตร์และทฤษฎีกราฟ · ทฤษฎีกราฟและทฤษฎีบทสี่สี · ดูเพิ่มเติม »

ทอพอโลยี

การเปลี่ยนรูปถ้วยกาแฟเป็นโดนัท ทอพอโลยี (Topology, มาจากภาษากรีก: topos, สถานที่ และ logos, การเรียน) เป็นสาขาหลักทางคณิตศาสตร์ ที่สนใจเกี่ยวกับ คุณสมบัติทางรูปร่างที่ไม่แปรเปลี่ยนภายใต้การดึง ยืด หด บีบ (โดยไม่มีการฉีก การเจาะ หรือ การเชื่อมติดใหม่) โดยเรียกคุณสมบัติเหล่านี้ว่าความไม่แปรผันทางทอพอโลยี ทอพอโลยีได้รับการศึกษาอย่างจริงจังในช่วงปี ค.ศ. 1925 - ค.ศ. 1975 นอกจากนี้ ทอพอโลยี ยังหมายความถึง วัตถุทางคณิตศาสตร์ประเภทหนึ่ง ซึ่งในความหมายนี้ ทอพอโลยี คือ ปริภูมิคณิตศาสตร์ หรือที่เรียกกันว่า ปริภูมิทอพอโลยี (topological space) โดยปริภูมิทอพอโลยี มีนิยามเป็น คอลเล็กชันของเซตเปิด ที่มี \varnothing, \varnothing^c เป็นสมาชิก และ มีคุณสมบัติปิดภายใต้การยูเนียนใด ๆ (ยูเนียนจำกัด, ยูเนียนอนันต์นับได้ และ ยูเนียนอนันต์นับไม่ได้) และการอินเตอร์เซกชันแบบจำกั นักทอพอโลยี มักโดนล้อเลียนว่า ไม่สามารถแยกความแตกต่างระหว่าง โดนัท หรือ วัตถุรูปห่วงยาง กับ แก้วกาแฟมีหูได้ (เพราะทั้งสองสิ่งเป็นวัตถุที่มีผิวเรียบ ต่อเนื่อง และมีรู 1 รูเหมือนกัน ซึ่งสมมูลกันในเชิงทอพอโลยี) ทอพอโลยีบางครั้งถูกเรียกว่า "เรขาคณิตแผ่นยาง" เนื่องจากในการศึกษานั้นจะไม่นับความแตกต่างระหว่างรูปร่างไม่ว่าจะเป็นวงกลมและสี่เหลี่ยม (เนื่องจากวงกลมที่ทำจากแผ่นยางสามารถดึงให้กลายเป็นรูปสี่เหลี่ยมได้) แต่จะแยกแยะความแตกต่างระหว่างวงกลมและรูปเลขแปด (เราไม่สามารถดึงรูปเลขแปดให้กลายเป็นวงกลมได้โดยไม่ฉีกมันออก).

คณิตศาสตร์และทอพอโลยี · ทฤษฎีบทสี่สีและทอพอโลยี · ดูเพิ่มเติม »

คอมพิวเตอร์

อบีเอ็ม โรดรันเนอร์ - ซูเปอร์คอมพิวเตอร์ที่เร็วที่สุดในโลกผลิตโดยไอบีเอ็มและสถาบันวิจัยแห่งชาติลอสอะลาโมส (2551) http://www.cnn.com/2008/TECH/06/09/fastest.computer.ap/ Government unveils world's fastest computer จากซีเอ็นเอ็น คอมพิวเตอร์ (computer) หรือในภาษาไทยว่า คณิตกรณ์ เป็นเครื่องจักรแบบสั่งการได้ที่ออกแบบมาเพื่อดำเนินการกับลำดับตัวดำเนินการทางตรรกศาสตร์หรือคณิตศาสตร์ โดยอนุกรมนี้อาจเปลี่ยนแปลงได้เมื่อพร้อม ส่งผลให้คอมพิวเตอร์สามารถแก้ปัญหาได้มากมาย คอมพิวเตอร์ถูกประดิษฐ์ออกมาให้ประกอบไปด้วยความจำรูปแบบต่าง ๆ เพื่อเก็บข้อมูล อย่างน้อยหนึ่งส่วนที่มีหน้าที่ดำเนินการคำนวณเกี่ยวกับตัวดำเนินการทางตรรกศาสตร์ และตัวดำเนินการทางคณิตศาสตร์ และส่วนควบคุมที่ใช้เปลี่ยนแปลงลำดับของตัวดำเนินการโดยยึดสารสนเทศที่ถูกเก็บไว้เป็นหลัก อุปกรณ์เหล่านี้จะยอมให้นำเข้าข้อมูลจากแหล่งภายนอก และส่งผลจากการคำนวณตัวดำเนินการออกไป หน่วยประมวลผลของคอมพิวเตอร์มีหน้าที่ดำเนินการกับคำสั่งต่าง ๆ ที่คอยสั่งให้อ่าน ประมวล และเก็บข้อมูลไว้ คำสั่งต่าง ๆ ที่มีเงื่อนไขจะแปลงชุดคำสั่งให้ระบบและสิ่งแวดล้อมรอบ ๆ เป็นฟังก์ชันที่สถานะปัจจุบัน คอมพิวเตอร์อิเล็กทรอนิกส์เครื่องแรกถูกพัฒนาขึ้นในช่วงกลางคริสต์ศตวรรษที่ 20 (ค.ศ. 1940 – ค.ศ. 1945) แรกเริ่มนั้น คอมพิวเตอร์มีขนาดเท่ากับห้องขนาดใหญ่ ซึ่งใช้พลังงานมากเท่ากับเครื่องคอมพิวเตอร์ส่วนบุคคล (พีซี) สมัยใหม่หลายร้อยเครื่องรวมกัน คอมพิวเตอร์ในสมัยใหม่นี้ผลิตขึ้นโดยใช้วงจรรวม หรือวงจรไอซี (Integrated circuit) โดยมีความจุมากกว่าสมัยก่อนล้านถึงพันล้านเท่า และขนาดของตัวเครื่องใช้พื้นที่เพียงเศษส่วนเล็กน้อยเท่านั้น คอมพิวเตอร์อย่างง่ายมีขนาดเล็กพอที่จะถูกบรรจุไว้ในอุปกรณ์โทรศัพท์มือถือ และคอมพิวเตอร์มือถือนี้ใช้พลังงานจากแบตเตอรี่ขนาดเล็ก และหากจะมีคนพูดถึงคำว่า "คอมพิวเตอร์" มักจะหมายถึงคอมพิวเตอร์ส่วนบุคคลซึ่งถือเป็นสัญลักษณ์ของยุคสารสนเทศ อย่างไรก็ดี ยังมีคอมพิวเตอร์ชนิดฝังอีกมากมายที่พบได้ตั้งแต่ในเครื่องเล่นเอ็มพีสามจนถึงเครื่องบินบังคับ และของเล่นชนิดต่าง ๆ จนถึงหุ่นยนต์อุตสาหกรรม.

คณิตศาสตร์และคอมพิวเตอร์ · คอมพิวเตอร์และทฤษฎีบทสี่สี · ดูเพิ่มเติม »