ควร์ท ฟรีดริช เกอเดิล (เยอรมัน: Kurt Friedrich Gödel; 28 เมษายน ค.ศ. 1906 – 14 มกราคม ค.ศ. 1978) เป็นนักปรัชญา นักคณิตศาสตร์ และนักปรัชญาชาวออสเตรีย และต่อมาชาวอเมริกัน ถือว่าเป็นนักตรรกศาสตร์คนสำคัญที่สุดคนหนึ่งในประวัติศาสตร์ร่วมกับอาริสโตเติล, แอลฟริด ทาร์สกี และก็อทโลพ เฟรเกอ เกอเดิลสร้างผลกระทบใหญ่หลวงต่อการคิดวิทยาศาสตร์และปรัชญาในคริสต์ศตวรรษที่ 20 ซึ่งขณะนั้น เมื่อผู้อื่นอย่างเบอร์ทรันด์ รัสเซลล์, แอลฟริด นอร์ท ไวต์เฮด, และดาวิท ฮิลเบิร์ท บุกเบิกการใช้ตรรกะและทฤษฎีเซตเพื่อทำความเข้าใจรากฐานแห่งคณิตศาสตร์
| ควร์ท เกอเดิล |
|---|
| เกิด | ควร์ท ฟรีดริช เกอเดิล
28 เมษายน ค.ศ. 1906(1906-04-28)
บรึน ออสเตรีย-ฮังการี
(ปัจจุบันคือเบอร์โน เช็กเกีย) |
|---|
| เสียชีวิต | 14 มกราคม ค.ศ. 1978 (71 ปี)
พรินซ์ตัน รัฐนิวเจอร์ซีย์ สหรัฐ |
|---|
| พลเมือง | ออสเตรีย, สหรัฐ |
|---|
| ศิษย์เก่า | มหาวิทยาลัยเวียนนา |
|---|
| คู่สมรส | อเดเลอ นิมบัวร์สกี (สมรส ค.ศ. 1938–1981) |
|---|
| อาชีพทางวิทยาศาสตร์ |
| สาขา | คณิตศาสตร์, คณิตตรรกศาสตร์ |
|---|
| สถาบันที่ทำงาน | สถาบันเพื่อการศึกษาขั้นสูง |
|---|
| Thesis | Über die Vollständigkeit des Logikkalküls (On the Completeness of the Calculus of Logic) (ค.ศ. 1929) |
|---|
| อาจารย์ที่ปรึกษาในระดับปริญญาเอก | ฮันส์ ฮาน |
|---|
| |
| ลายมือชื่อ |
|---|
|
เกอเดิลพิมพ์เผยแพร่ทฤษฎีบทความไม่สมบูรณ์สองเรื่องของเขาใน ค.ศ. 1931 เมื่อเขาอายุ 25 ปี หรือ 1 ปีหลังเขาสำเร็จการศึกษาระดับปริญญาเอกที่มหาวิทยาลัยเวียนนา ทฤษฎีบทความไม่สมบูรณ์ที่หนึ่งมีใจความว่า สำหรับระบบเชิงสัจพจน์เวียนเกิดต้องกันกับตัวเองใด ๆ ที่เพียงพออธิบายเลขคณิตของจำนวนธรรมชาติได้ จะมีประพจน์จริงเกี่ยวกับจำนวนธรรมชาติที่ไม่สามารถพิสูจน์จากสัจพจน์ได้ เพื่อพิสูจน์ทฤษฎีบทนี้ เกอเดิลพัฒนาเทคนิคซึ่งปัจจุบันเรียก การกำหนดจำนวนเกอเดิล (Gödel numbering) ซึ่งลงรหัสนิพจน์รูปนัยเป็นจำนวนธรรมชาติ
เขายังแสดงว่าสัจพจน์การเลือกและสมมุติฐานความต่อเนื่องไม่สามารถพิสูจน์แย้งจากสัจพจน์ของทฤษฎีเซตซึ่งเป็นที่ยอมรับได้ หากสันนิษฐานว่าสัจพจน์เหล่านั้นต้องกัน ผลที่สัจพจน์การเลือกไม่สามารถพิสูจน์แย้งได้เปิดประตูให้นักคณิตศาสตร์สันนิษฐานสัจพจน์การเลือกในการพิสูจน์ของตน เขายังมีส่วนสำคัญต่อการพิสูจน์ทฤษฎีโดยการสร้างความกระจ่างถึงความเชื่อมโยงระหว่างตรรกศาสตร์คลาสสิก ตรรกศาสตร์สหัชญาณนิยม (intuitionistic logic) และตรรกศาสตร์อัญรูป
ควร, เกอเด, บทความน, ไม, การอ, างอ, งจากแหล, งท, มาใดกร, ณาช, วยปร, บปร, งบทความน, โดยเพ, มการอ, างอ, งแหล, งท, มาท, าเช, อถ, เน, อความท, ไม, แหล, งท, มาอาจถ, กค, ดค, านหร, อลบออก, เร, ยนร, าจะนำสารแม, แบบน, ออกได, อย, างไรและเม, อไร, ควร, ฟร, ดร, เกอเด, เยอรม. bthkhwamniimmikarxangxingcakaehlngthimaidkrunachwyprbprungbthkhwamni odyephimkarxangxingaehlngthimathinaechuxthux enuxkhwamthiimmiaehlngthimaxacthukkhdkhanhruxlbxxk eriynruwacanasaraemaebbnixxkidxyangiraelaemuxir khwrth fridrich ekxedil eyxrmn Kurt Friedrich Godel 28 emsayn kh s 1906 14 mkrakhm kh s 1978 epnnkprchya nkkhnitsastr aelankprchyachawxxsetriy aelatxmachawxemrikn thuxwaepnnktrrksastrkhnsakhythisudkhnhnunginprawtisastrrwmkbxarisotetil aexlfrid tharski aelakxtholph efrekx ekxedilsrangphlkrathbihyhlwngtxkarkhidwithyasastraelaprchyainkhriststwrrsthi 20 sungkhnann emuxphuxunxyangebxrthrnd rsesll aexlfrid nxrth iwtehd aeladawith hilebirth bukebikkarichtrrkaaelathvsdiestephuxthakhwamekhaicrakthanaehngkhnitsastrkhwrth ekxedilekidkhwrth fridrich ekxedil 28 emsayn kh s 1906 1906 04 28 brun xxsetriy hngkari pccubnkhuxebxron echkekiy esiychiwit14 mkrakhm kh s 1978 71 pi phrinstn rthniwecxrsiy shrthphlemuxngxxsetriy shrthsisyekamhawithyalyewiynnakhusmrsxedelx nimbwrski smrs kh s 1938 1981 xachiphthangwithyasastrsakhakhnitsastr khnittrrksastrsthabnthithangansthabnephuxkarsuksakhnsungThesisUber die Vollstandigkeit des Logikkalkuls On the Completeness of the Calculus of Logic kh s 1929 xacarythipruksainradbpriyyaexkhns hanlaymuxchuxekxedilphimphephyaephrthvsdibthkhwamimsmburnsxngeruxngkhxngekhain kh s 1931 emuxekhaxayu 25 pi hrux 1 pihlngekhasaerckarsuksaradbpriyyaexkthimhawithyalyewiynna thvsdibthkhwamimsmburnthihnungmiickhwamwa sahrbrabbechingscphcnewiynekidtxngknkbtwexngid thiephiyngphxxthibayelkhkhnitkhxngcanwnthrrmchatiid camipraphcncringekiywkbcanwnthrrmchatithiimsamarthphisucncakscphcnid ephuxphisucnthvsdibthni ekxedilphthnaethkhnikhsungpccubneriyk karkahndcanwnekxedil Godel numbering sunglngrhsniphcnrupnyepncanwnthrrmchatiekhayngaesdngwascphcnkareluxkaelasmmutithankhwamtxenuxngimsamarthphisucnaeyngcakscphcnkhxngthvsdiestsungepnthiyxmrbid haksnnisthanwascphcnehlanntxngkn phlthiscphcnkareluxkimsamarthphisucnaeyngidepidpratuihnkkhnitsastrsnnisthanscphcnkareluxkinkarphisucnkhxngtn ekhayngmiswnsakhytxkarphisucnthvsdiodykarsrangkhwamkracangthungkhwamechuxmoyngrahwangtrrksastrkhlassik trrksastrshchyanniym intuitionistic logic aelatrrksastrxyrup bthkhwamekiywkbchiwprawtiniyngepnokhrng khunsamarthchwywikiphiediyidodyephimkhxmulekhathungcak https th wikipedia org w index php title khwrth ekxedil amp oldid 7979654, wikipedia, วิกิ หนังสือ, หนังสือ, ห้องสมุด,
บทความ
, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม
