ผลต่างระหว่างรุ่นของ "ควร์ท เกอเดิล"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ไม่มีความย่อการแก้ไข |
ไม่มีความย่อการแก้ไข |
||
บรรทัด 1:
{{ต้องการอ้างอิง}}
{{Infobox scientist
'''คูร์ท ฟรีดริช เกอเดิล''' ({{lang-de|Kurt Friedrich Gödel}}, 28 เมษายน ค.ศ. 1906 – 14 มกราคม ค.ศ. 1978) เป็นนักปรัชญา นักคณิตศาสตร์และนักปรัชญาชาวออสเตรีย และต่อมาชาวอเมริกัน ถือว่าเป็นนักตรรกศาสตร์คนสำคัญที่สุดคนหนึ่งในประวัติศาสตร์ร่วมกับ[[อาริสโตเติล]]และ[[กอทท์ล็อบ ฟรีเกอ]] เกอเดิลสร้างผลกระทบใหญ่หลวงต่อการคิดวิทยาศาสตร์และปรัชญาในคริสต์ศตวรรษที่ 20 ซึ่งขณะนั้น เมื่อผู้อื่นอย่างเบอร์แทรนด์ รัสเซล, เอ. เอ็น. ไวต์เฮด, และเดวิด ฮิลเบิร์ทบุกเบิกการใช้ตรรกะและ[[ทฤษฎีเซต]]เพื่อทำความเข้าใจรากฐานแห่งคณิตศาสตร์▼
| name = ควร์ท เกอเดิล
| image =
| image_size =
| caption =
| birth_name = ควร์ท ฟรีดริช เกอเดิล
| birth_date = {{birth date|1906|4|28}}
| birth_place = บรึน [[ออสเตรีย-ฮังการี]]<br />{{small|(ปัจจุบันคือ[[เบอร์โน]] [[เช็กเกีย]])}}
| death_date = {{death date and age|1978|1|14|1906|4|28}}
| death_place = [[พรินซ์ตัน (รัฐนิวเจอร์ซีย์)|พรินซ์ตัน]] [[รัฐนิวเจอร์ซีย์]] [[สหรัฐ]]
| citizenship = ออสเตรีย, สหรัฐ
| field = [[คณิตศาสตร์]], [[คณิตตรรกศาสตร์]]
| work_institutions = [[สถาบันเพื่อการศึกษาขั้นสูง]]
| alma_mater = [[มหาวิทยาลัยเวียนนา]]
| thesis_title = Über die Vollständigkeit des Logikkalküls (On the Completeness of the Calculus of Logic)
| thesis_url = http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9079526&fileId=S0022481200026633
| thesis_year = ค.ศ. 1929
| doctoral_advisor = [[ฮันส์ ฮาน (นักคณิตศาสตร์)|ฮันส์ ฮาน]]
| doctoral_students =
| influences =
| influenced =
| spouse = อเดเลอ นิมบัวร์สกี (สมรส ค.ศ. 1938–1981)
| signature = Kurt Gödel signature.svg
| footnotes =
}}
▲'''
เกอเดิลพิมพ์เผยแพร่ทฤษฎีบทความไม่สมบูรณ์สองเรื่องของเขาใน ค.ศ. 1931 เมื่อเขาอายุ 25 ปี หรือ 1 ปีหลังเขาสำเร็จการศึกษาระดับ[[ปริญญาเอก]]ที่[[มหาวิทยาลัยเวียนนา]] ทฤษฎีบทความไม่สมบูรณ์ที่หนึ่งมีใจความว่า สำหรับระบบเชิงสัจพจน์เวียนเกิดต้องกันกับตัวเองใด ๆ ที่เพียงพออธิบาย[[เลขคณิต]]ของ[[จำนวนธรรมชาติ]]ได้ จะมีประพจน์จริงเกี่ยวกับจำนวนธรรมชาติที่ไม่สามารถพิสูจน์จาก[[สัจพจน์]]ได้ เพื่อพิสูจน์ทฤษฎีบทนี้ เกอเดิลพัฒนาเทคนิคซึ่งปัจจุบันเรียก การกำหนดจำนวนเกอเดิล (Gödel numbering) ซึ่งลงรหัสนิพจน์รูปนัยเป็นจำนวนธรรมชาติ
เส้น 7 ⟶ 32:
{{birth|1906}}{{death|1978}}
[[หมวดหมู่:นักคณิตศาสตร์ชาว
[[หมวดหมู่:นักคณิตศาสตร์ชาวออสเตรีย-ฮังการี]]
[[หมวดหมู่:นักปรัชญาชาวออสเตรีย]]
[[หมวดหมู่:ชาวออสเตรียเชื้อสายมอเรเวีย-เยอรมัน]]
[[หมวดหมู่:ชาวอเมริกันเชื้อสายมอเรเวีย-เยอรมัน]]
[[หมวดหมู่:บุคคลจากเบอร์โน]]
{{โครงชีวประวัติ}}
| |||