โลโก้
ยูเนี่ยนพีเดีย
การสื่อสาร
ดาวน์โหลดได้จาก Google Play
ใหม่! ดาวน์โหลด ยูเนี่ยนพีเดีย บน Android ™ของคุณ!
ฟรี
เร็วกว่าเบราว์เซอร์!
 

ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล

ดัชนี ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล

ทฤษฎีบทความไม่สมบูรณ์ของเกอเดล (Gödel's incompleteness theorems) เป็นทฤษฎีตรรกะทางคณิตศาสตร์ ที่เกิดขึ้นในปี ค.ศ. 1931 โดย เคิร์ท เกอเดล (Kurt Gödel) เคิร์ท เกอเดล ซึ่งในขณะนั้นเป็นนักคณิตศาสตร์อยู่ที่มหาวิทยาลัยเวียนนา ได้ตีพิมพ์เปเปอร์ชื่อ Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (ต้นฉบับเป็นภาษาเยอรมัน หรือมีชื่อในภาษาอังกฤษว่า On Formally Undecidable Propositions in Principia Mathematica and Related Systems หรือ ว่าด้วยประพจน์ที่ตัดสินไม่ได้อย่างเป็นรูปนัยใน พรินซิเพีย แมเทเมทิกา และระบบอื่นที่เกี่ยวข้อง) ในเปเปอร์นี้ เกอเดลทำการพิสูจน์จนที่สุดแล้วได้ผลลัพธ์เป็นสองทฤษฎีบทที่น่าตื่นตะลึง ซึ่งในภายหลังทฤษฎีบททั้งสองถูกเรียกรวมกันว่าทฤษฎีบทความไม่สมบูรณ์ของเกอเดล ทฤษฎีบทนี้นับว่าเป็นเป็นทฤษฎีบทสำคัญที่เข้าขั้นปฏิวัติวงการ ทั้งในด้านตรรกศาสตร์ ด้านคณิตศาสตร์ ด้านปรัชญา และด้านการแสวงหาความรู้ของมนุษยชาติ รวมทั้งทำให้เกิดบทวิเคราะห์ การตีความ และคำถามต่างๆ ตามมาขึ้นอีกมากม.

22 ความสัมพันธ์: พ.ศ. 2474พ.ศ. 2479กรีซโบราณภาษาอังกฤษภาษาเยอรมันยุคลิดศตวรรษที่ 19สัจพจน์ทฤษฎีเซตดาฟิด ฮิลแบร์ทคูร์ท เกอเดิลคณิตศาสตร์ตรรกศาสตร์ปฏิทรรศน์ปฏิทรรศน์ของรัสเซิลล์ประพจน์ปรัชญานักคณิตศาสตร์เบอร์ทรันด์ รัสเซลล์เกออร์ก คันทอร์เรขาคณิตเลขคณิต

พ.ศ. 2474

ทธศักราช 2474 ตรงกับปีคริสต์ศักราช 1931 เป็นปีปกติสุรทินที่วันแรกเป็นวันพฤหัสบดี ตามปฏิทินเกรกอเรียน.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและพ.ศ. 2474 · ดูเพิ่มเติม »

พ.ศ. 2479

ทธศักราช 2479 ตรงกับปีคริสต์ศักราช 1936.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและพ.ศ. 2479 · ดูเพิ่มเติม »

กรีซโบราณ

กรีซโบราณ (Ancient Greece) เป็นคำที่ใช้เรียกถึงบริเวณที่มีการพูดภาษากรีกในโลกยุคโบราณ ซึ่งไม่เพียงอ้างถึงพื้นที่คาบสมุทรของกรีซยุคปัจจุบันเท่านั้น แต่ยังกล่าวรวมถึงอารยธรรมกรีกโบราณซึ่งเป็นที่ตั้งรกรากถิ่นฐานโดยชาวกรีกในยุคโบราณอันได้แก่ ไซปรัส, บริเวณชายฝั่งของทะเลอีเจียนของตุรกี (หรือที่รู้จักในนามไอโอเนีย), ซิซิลีและทางใต้ของอิตาลี (หรือที่รู้จักในนามแมกนา เกรเชีย) และถิ่นฐานซึ่งกระจายออกไปของชาวกรีกตามชายฝั่งต่างๆซึ่งปัจจุบันเป็นประเทศ บัลแกเรีย ฝรั่งเศส ยูเครน โรมาเนีย ลิเบีย สเปน อัลแบเนีย และอียิปต.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและกรีซโบราณ · ดูเพิ่มเติม »

ภาษาอังกฤษ

ษาอังกฤษ หรือ ภาษาอังกฤษใหม่ เป็นภาษาในกลุ่มภาษาเจอร์แมนิกตะวันตกที่ใช้ครั้งแรกในอังกฤษสมัยต้นยุคกลาง และปัจจุบันเป็นภาษาที่ใช้กันแพร่หลายที่สุดในโลก ประชากรส่วนใหญ่ในหลายประเทศ รวมทั้ง สหราชอาณาจักร สหรัฐอเมริกา แคนาดา ออสเตรเลีย ไอร์แลนด์ นิวซีแลนด์ และประเทศในแคริบเบียน พูดภาษาอังกฤษเป็นภาษาที่หนึ่ง ภาษาอังกฤษเป็นภาษาแม่ที่มีผู้พูดมากที่สุดเป็นอันดับสามของโลก รองจากภาษาจีนกลางและภาษาสเปน มักมีผู้เรียนภาษาอังกฤษเป็นภาษาที่สองอย่างกว้างขวาง และภาษาอังกฤษเป็นภาษาราชการของสหภาพยุโรป หลายประเทศเครือจักรภพแห่งชาติ และสหประชาชาติ ตลอดจนองค์การระดับโลกหลายองค์การ ภาษาอังกฤษเจริญขึ้นในราชอาณาจักรแองโกล-แซ็กซอนอังกฤษ และบริเวณสกอตแลนด์ตะวันออกเฉียงใต้ในปัจจุบัน หลังอิทธิพลอย่างกว้างขวางของบริเตนใหญ่และสหราชอาณาจักรตั้งแต่คริสต์ศตวรรษที่ 17 จนถึงกลางคริสต์ศตวรรษที่ 20 ผ่านจักรวรรดิอังกฤษ และรวมสหรัฐอเมริกาด้วยตั้งแต่กลางคริสต์ศตวรรษที่ 20 ภาษาอังกฤษได้แพร่หลายทั่วโลก กลายเป็นภาษาชั้นนำของวจนิพนธ์ระหว่างประเทศและเป็นภาษากลางในหลายภูมิภาค ในประวัติศาสตร์ ภาษาอังกฤษกำเนิดจากการรวมภาษาถิ่นหลายภาษาที่สัมพันธ์อย่างใกล้ชิด ซึ่งปัจจุบันเรียกรวมว่า ภาษาอังกฤษเก่า ซึ่งผู้ตั้งนิคมนำมายังฝั่งตะวันออกของบริเตนใหญ่เมื่อคริสต์ศตวรรษที่ 5 คำในภาษาอังกฤษจำนวนมากสร้างขึ้นบนพื้นฐานรากศัพท์ภาษาละติน เพราะภาษาละตินบางรูปแบบเป็นภาษากลางของคริสตจักรและชีวิตปัญญาชนยุโรปDaniel Weissbort (2006).

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและภาษาอังกฤษ · ดูเพิ่มเติม »

ภาษาเยอรมัน

ษาเยอรมัน (German; Deutsch) เป็นภาษากลุ่มเจอร์แมนิกด้านตะวันตก และเป็นภาษาที่มีคนพูดเป็นภาษาแม่มากที่สุดในสหภาพยุโรป ส่วนใหญ่พูดในประเทศเยอรมนี ออสเตรีย ลิกเตนสไตน์ ส่วนมากของสวิตเซอร์แลนด์ ลักเซมเบิร์ก แคว้นปกครองตนเองเตรนตีโน-อัลโตอาดีเจในอิตาลี แคว้นทางตะวันออกของเบลเยียม บางส่วนของโรมาเนีย แคว้นอาลซัสและบางส่วนของแคว้นลอแรนในฝรั่งเศส นอกจากนี้ อาณานิคมเดิมของประเทศเหล่านี้ เช่น นามิเบีย มีประชากรที่พูดภาษาเยอรมันได้พอประมาณ และยังมีชนกลุ่มน้อยที่พูดภาษาเยอรมันในหลายประเทศทางยุโรปตะวันออก เช่น รัสเซีย ฮังการี และสโลวีเนีย รวมถึงอเมริกาเหนือ (โดยเฉพาะสหรัฐอเมริกา) รวมถึงบางประเทศในละตินอเมริกา เช่น อาร์เจนตินา และในบราซิล โดยเฉพาะในรัฐ รีโอกรันดีโดซูล ซันตากาตารีนา ปารานา และเอสปีรีตูซันตู ชาวอามิช รวมถึงชาวเมนโนไนต์บางคนก็เป็นภาษาเยอรมันอย่างหนึ่ง ประมาณ 120 ล้านคน คือ 1/4 ของชาวยุโรปทั้งหมด พูดภาษาเยอรมัน ภาษาเยอรมันเป็นภาษาต่างประเทศที่สอนทั่วโลกมาเป็นอันดับ 3 และเป็นภาษาต่างประเทศที่สอนมากที่สุดเป็นอันดับ 2 ในยุโรป (เป็นรองภาษาอังกฤษ) สหรัฐอเมริกา และเอเชียตะวันออก (ประเทศญี่ปุ่น) เป็นหนึ่งในภาษาราชการของสหภาพยุโรป ผู้รู้ภาษาเยอรมันในกลุ่มประเทศสหภาพยุโรป.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและภาษาเยอรมัน · ดูเพิ่มเติม »

ยุคลิด

ลิดแห่งอะเล็กซานเดรีย (Euclid of Alexandria, ประมาณ 325 – 270 ปีก่อนคริสต์ศักราช) นักคณิตศาสตร์ที่มีชื่อเสียงชาวกรีก.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและยุคลิด · ดูเพิ่มเติม »

ศตวรรษที่ 19

ตวรรษที่ 19 อาจหมายถึง.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและศตวรรษที่ 19 · ดูเพิ่มเติม »

สัจพจน์

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

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและสัจพจน์ · ดูเพิ่มเติม »

ทฤษฎีเซต

ทฤษฎีเซต คือทฤษฎีทางคณิตศาสตร์ที่เกี่ยวกับเรื่องเซต ซึ่งใช้นำเสนอการรวบรวมวัตถุนามธรรม ทฤษฎีเซตเป็นแนวความคิดของการรวบรวมวัตถุในชีวิตประจำวัน และใช้สอนในโรงเรียนประถมศึกษาซึ่งบ่อยครั้งใช้แผนภาพเวนน์เป็นสื่อช่วยสอน ทฤษฎีเซตใช้ภาษาในการอธิบายวัตถุทางคณิตศาสตร์เป็นธรรมเนียมการสอนคณิตศาสตร์สมัยใหม่ ทฤษฎีเซตเป็นหนึ่งในรากฐานทางคณิตศาสตร์ที่ยอมรับกันโดยทั่วไป เหมือนเช่นตรรกศาสตร์และแคลคูลัสภาคแสดง ซึ่งทำให้สามารถสร้างวัตถุทางคณิตศาสตร์ขึ้นมาใหม่โดยใช้ "เซต" และ "ความเป็นสมาชิกของเซต" เป็นตัวนิยาม ทฤษฎีเซตเองนั้นก็เป็นสาขาหนึ่งของคณิตศาสตร์ และยังคงเป็นสาขาที่สำคัญอยู่สำหรับการวิจั.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและทฤษฎีเซต · ดูเพิ่มเติม »

ดาฟิด ฮิลแบร์ท

ฟิด ฮิลแบร์ท ดาฟิด ฮิลแบร์ท (David Hilbert,, 23 มกราคม ค.ศ. 1862 (พ.ศ. 2405) - 14 กุมภาพันธ์, ค.ศ. 1943 (พ.ศ. 2486); อายุ 81 ปี) เป็นนักคณิตศาสตร์, นักปรัชญาและนักฟิสิกส์ ชาวเยอรมัน เกิดที่เมืองเวลู ใกล้ ๆ กับเมืองโคนิสเบิร์ก แคว้นปรัสเซีย (ปัจจุบันนี้คือเมืองซนาเมนสค์ ใกล้กับคาลินินกราด, ประเทศรัสเซีย) ฮิลแบร์ทได้รับการยอมรับว่าเป็นนักคณิตศาสตร์ที่มีอิทธิพลอย่างสูงในคริสต์ศตวรรษที่ 19 และต้นคริสต์ศตวรรษที่ 20 แม้ว่าผลงานของเขาเองก็มากพอที่จะทำให้เขาได้รับการยกย่องนี้ แต่ความเป็นผู้นำทางด้านคณิตศาสตร์ของเขาในช่วงบั้นปลายชีวิตต่างหาก ที่ทำให้เขาโดดเด่นจากผู้อื่น เขาเป็นศาสตราจารย์ที่มหาวิทยาลัยเกิตติงเงนแทบจะทั้งชีวิตของเขา นอกจากงานคณิตศาสตร์แล้ว เขายังมีอิทธิพลในด้านฟิสิกส์ด้วย กล่าวคือ เขาเป็นหนึ่งในผู้ให้กำเนิดทฤษฎีสัมพัทธภาพ ร่วมกับอัลเบิร์ต ไอน์สไตน์ แต่ไม่ได้หมายความว่าไอน์สไตน์ลอกงานของฮิลแบร์ท เพียงแต่ทฤษฎีของทั้งคู่มีความคล้ายคลึงกัน.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและดาฟิด ฮิลแบร์ท · ดูเพิ่มเติม »

คูร์ท เกอเดิล

ูร์ท ฟรีดริช เกอเดิล (Kurt Friedrich Gödel, 28 เมษายน ค.ศ. 1906 – 14 มกราคม ค.ศ. 1978) เป็นนักปรัชญา นักคณิตศาสตร์และนักปรัชญาชาวออสเตรีย และต่อมาชาวอเมริกัน ถือว่าเป็นนักตรรกศาสตร์คนสำคัญที่สุดคนหนึ่งในประวัติศาสตร์ร่วมกับอาริสโตเติลและกอทท์ล็อบ ฟรีเกอ เกอเดิลสร้างผลกระทบใหญ่หลวงต่อการคิดวิทยาศาสตร์และปรัชญาในคริสต์ศตวรรษที่ 20 ซึ่งขณะนั้น เมื่อผู้อื่นอย่างเบอร์แทรนด์ รัสเซล, เอ.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและคูร์ท เกอเดิล · ดูเพิ่มเติม »

คณิตศาสตร์

ยูคลิด (กำลังถือคาลิเปอร์) นักคณิตศาสตร์ชาวกรีก ในสมัย 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''). คณิตศาสตร์ เป็นศาสตร์ที่มุ่งค้นคว้าเกี่ยวกับ โครงสร้างนามธรรมที่ถูกกำหนดขึ้นผ่านทางกลุ่มของสัจพจน์ซึ่งมีการให้เหตุผลที่แน่นอนโดยใช้ตรรกศาสตร์สัญลักษณ์ และสัญกรณ์คณิตศาสตร์ เรามักนิยามโดยทั่วไปว่าคณิตศาสตร์เป็นสาขาวิชาที่ศึกษาเกี่ยวกับรูปแบบและโครงสร้าง, การเปลี่ยนแปลง และปริภูมิ กล่าวคร่าว ๆ ได้ว่าคณิตศาสตร์นั้นสนใจ "รูปร่างและจำนวน" เนื่องจากคณิตศาสตร์มิได้สร้างความรู้ผ่านกระบวนการทดลอง บางคนจึงไม่จัดว่าคณิตศาสตร์เป็นสาขาของวิทยาศาสตร์ ในอดีตผู้คนจะใช้สิ่งของแทนจำนวนที่จะนับยิ่งนานเข้าจำนวนประชากรยิ่งมีมากขึ้น ทำให้ผู้คนเริ่มคิดที่จะประดิษฐ์ตัวเลขขึ้นมาแทนการนับที่ใช้สิ่งของนับแทนจากนั้นก็มีการบวก ลบคูณ และหาร จากนั้นก็ก่อให้เกิดคณิตศาสตร์ คำว่า "คณิตศาสตร์" (คำอ่าน: คะ-นิด-ตะ-สาด) มาจากคำว่า คณิต (การนับ หรือ คำนวณ) และ ศาสตร์ (ความรู้ หรือ การศึกษา) ซึ่งรวมกันมีความหมายโดยทั่วไปว่า การศึกษาเกี่ยวกับการคำนวณ หรือ วิชาที่เกี่ยวกับการคำนวณ.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและคณิตศาสตร์ · ดูเพิ่มเติม »

ตรรกศาสตร์

ตรรกศาสตร์ (logic - มีรากศัพท์จากภาษากรีกคือ λόγος, logos) โดยทั่วไปประกอบด้วยการศึกษารูปแบบของข้อโต้แย้งอย่างเป็นระบบ ข้อโต้แย้งที่สมเหตุสมผลคือข้อโต้แย้งที่มีความสัมพันธ์ของการสนับสนุนเชิงตรรกะที่เฉพาะเจาะจงระหว่างข้อสมมุติพื้นฐานของข้อโต้แย้งและข้อสรุป ตรรกศาสตร์เป็นการศึกษาเชิงปรัชญาว่าด้วยการให้เหตุผล โดยมักจะเป็นส่วนสำคัญของวิชาปรัชญา คณิตศาสตร์ คอมพิวเตอร์ รวมถึงภาษาศาสตร์ ตรรกศาสตร์เป็นการตรวจสอบข้อโต้แย้งที่สมเหตุสมผล (valid argument) หรือการให้เหตุผลแบบผิดๆ (fallacies) ตรรกศาสตร์ เป็นการศึกษาที่มีมานานโดยมนุษยชาติที่เจริญแล้ว เช่น กรีก จีน หรืออินเดีย และถูกยกขึ้นเป็นสาขาวิชาหนึ่งโดย อริสโตเติล.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและตรรกศาสตร์ · ดูเพิ่มเติม »

ปฏิทรรศน์

ปฏิทรรศน์ หรือ พาราด็อกซ์ (Paradox) คือ ประโยคหรือกลุ่มของประโยคที่เป็นจริงอย่างชัดเจน แต่นำไปสู่ความขัดแย้งในตัวเอง หรือสถานการณ์ที่อยู่นอกความคิดทั่วไป โดยทั่วไปแล้วอาจเป็นไปได้ว่า ประโยคดังกล่าวนี้แท้จริงแล้วอาจไม่ได้นำไปสู่สภาวะขัดแย้ง ผลลัพธ์ที่ได้อาจไม่ใช่ข้อขัดแย้งจริง ๆ หรือข้อกำหนดในตอนต้นอาจไม่จริงหรือไม่สามารถเป็นจริงพร้อม ๆ กันได้ คำว่าปฏิทรรศน์หรือพาราด็อกซ์มักถูกใช้แทนที่ไปมากับคำว่าข้อขัดแย้ง อย่างไรก็ตามแนวคิดทั้งสองนั้นไม่เหมือนกันเสียทีเดียว ในขณะที่ข้อขัดแย้งประกาศสิ่งที่ตรงกันข้ามกับตัวเองหลาย ๆ ปฏิทรรศน์กลับมีทางออกหรือคำอ.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและปฏิทรรศน์ · ดูเพิ่มเติม »

ปฏิทรรศน์ของรัสเซิลล์

ปฏิทรรศน์ของรัสเซิลล์ (Russell's paradox) คือ ปฏิทรรศน์ที่ถูกค้นพบโดยเบอร์แทรนด์ รัสเซิลล์ ใน ค.ศ. 1901 ซึ่งแสดงให้เห็นว่าทฤษฎีเซตสามัญของคันทอร์และเฟรเกอ มีความขัดแย้ง พิจารณาเซต M ซึ่งเป็น "เซตของเซตทุกเซตที่ไม่บรรจุตัวเองเป็นสมาชิก".

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและปฏิทรรศน์ของรัสเซิลล์ · ดูเพิ่มเติม »

ประพจน์

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

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและประพจน์ · ดูเพิ่มเติม »

ปรัชญา

มัยคลาสสิกไว้ในภาพเดียวกัน คำว่า ปรัชญา มีที่มามาจากภาษาสันสกฤต หมายถึงความรู้อันประเสริฐ โดยมีรากศัพท์มาจากคำว่า ปฺร ที่แปลว่าประเสริฐ กับ คำว่า ชฺญา ที่แปลว่ารู้ ซึ่งเป็นศัพท์บัญญัติโดยพระเจ้าวรวงศ์เธอ พระองค์เจ้าวรรณไวทยากร กรมหมื่นนราธิปพงศ์ประพันธ์ แทนคำว่า philosophy ในภาษาอังกฤษ ซึ่งมีรากศัพท์มาจากคำΦιλοσοφία ซึ่งไพธากอรัสเป็นผู้บัญญัติไว้ เมื่อราวศตวรรษที่ 6 ก่อน..

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและปรัชญา · ดูเพิ่มเติม »

นักคณิตศาสตร์

นักคณิตศาสตร์ (mathematician) คือบุคคลที่ศึกษาและ ทำงานวิจัยเกี่ยวกับคณิตศาสตร.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและนักคณิตศาสตร์ · ดูเพิ่มเติม »

เบอร์ทรันด์ รัสเซลล์

อร์ทรันด์ อาร์เทอร์ วิลเลียม รัสเซลล์ (Bertrand Arthur William Russell; 18 พฤษภาคม พ.ศ. 2415 - 2 กุมภาพันธ์ พ.ศ. 2513) เป็นหนึ่งในนักคณิตศาสตร์ นักปรัชญา นักตรรกวิทยา ที่มีอิทธิพลอย่างสูงในช่วงคริสต์ศตวรรษที่ 20 เขาเป็นนักปรัชญาการศึกษาหัวรุนแรงที่มีบทบาทสำคัญยิ่งคนหนึ่งของอังกฤษ เป็นผู้ที่ได้สร้างผลงานด้านการศึกษาในแนวปฏิรูปไว้มากมายหลายแขนง ซึ่งเป็นที่ยอมรับและมีอิทธิพลต่อการศึกษาในปัจจุบันอย่างมาก บรรดานักปรัชญารู้จักเขาในฐานะของผู้ให้กำเนิดทฤษฎีความรู้ (Epistemology หรือ Theory of Knowledge) นักคณิตศาสตร์รู้จักรัสเซลในฐานะบิดาแห่งตรรกวิทยา ผู้เขียนตำราคลาสสิกทางคณิตศาสตร์ คือหนังสือชื่อ Principia Mathematica นักฟิสิกส์รู้จักเขาในฐานะของผู้แต่งตำรา ABC of Relativity สำหรับคนทั่วไปรู้จักรัสเซลล์ในฐานะของนักจิตวิทยา นักการศึกษา นักการเมือง และนักเขียนผู้ได้รับรางวัลโนเบลสาขาวรรณกรรม เมื่อปี..

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและเบอร์ทรันด์ รัสเซลล์ · ดูเพิ่มเติม »

เกออร์ก คันทอร์

กออร์ก แฟร์ดินันด์ ลุดวิก ฟิลิพพ์ คันทอร์ (Georg Ferdinand Ludwig Philipp Cantor, 3 มีนาคม ค.ศ. 1845 เซนต์ปีเตอร์สเบิร์ก จักรวรรดิรัสเซีย – 6 มกราคม ค.ศ. 1918) เป็นนักคณิตศาสตร์ เกิดในประเทศรัสเซีย แต่ใช้ชีวิตอยู่ในเยอรมนี มีชื่อเสียงเป็นที่รู้จักในนามของผู้บัญญัติทฤษฎีเซตยุคใหม่ โดยได้ขยายขอบเขตของทฤษฎีเซตให้ครอบคลุมแนวคิดของจำนวนเชิงอนันต์ (transfinite or infinite numbers) ทั้งจำนวนเชิงการนับและจำนวนเชิงอันดับที่ นอกจากนี้ คันทอร์ยังเป็นที่รู้จักจากผลงานในเรื่อง การแทนฟังก์ชันด้วยอนุกรมตรีโกณมิติ ที่เป็นเอกลักษณ์ (unique representation of functions by means of trigonometric series) ซึ่งเป็นภาคขยายของอนุกรมฟูรี.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและเกออร์ก คันทอร์ · ดูเพิ่มเติม »

เรขาคณิต

รขาคณิต (Geometry; กรีก: γεωμετρία; geo.

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและเรขาคณิต · ดูเพิ่มเติม »

เลขคณิต

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

ใหม่!!: ทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและเลขคณิต · ดูเพิ่มเติม »

เปลี่ยนเส้นทางที่นี่:

Gödel's incompleteness theorems

ขาออกขาเข้า
Hey! เราอยู่ใน Facebook ตอนนี้! »