Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
บทความนี้ไม่มีจาก |
ควร์ท ฟรีดริช เกอเดิล (เยอรมัน: Kurt Friedrich Gödel; 28 เมษายน ค.ศ. 1906 – 14 มกราคม ค.ศ. 1978) เป็นนักปรัชญา นักคณิตศาสตร์ และนักปรัชญาชาวออสเตรีย และต่อมาชาวอเมริกัน ถือว่าเป็นนักตรรกศาสตร์คนสำคัญที่สุดคนหนึ่งในประวัติศาสตร์ร่วมกับอาริสโตเติล, และก็อทโลพ เฟรเกอ เกอเดิลสร้างผลกระทบใหญ่หลวงต่อการคิดวิทยาศาสตร์และปรัชญาในคริสต์ศตวรรษที่ 20 ซึ่งขณะนั้น เมื่อผู้อื่นอย่างเบอร์ทรันด์ รัสเซลล์, , และดาวิท ฮิลเบิร์ท บุกเบิกการใช้ตรรกะและทฤษฎีเซตเพื่อทำความเข้าใจรากฐานแห่งคณิตศาสตร์
ควร์ท เกอเดิล | |
|---|---|
| เกิด | ควร์ท ฟรีดริช เกอเดิล 28 เมษายน ค.ศ. 1906 บรึน ออสเตรีย-ฮังการี (ปัจจุบันคือเบอร์โน เช็กเกีย) |
| เสียชีวิต | 14 มกราคม ค.ศ. 1978 (71 ปี) รัฐนิวเจอร์ซีย์ สหรัฐ |
| พลเมือง | ออสเตรีย, สหรัฐ |
| ศิษย์เก่า | |
| คู่สมรส | อเดเลอ นิมบัวร์สกี (สมรส ค.ศ. 1938–1981) |
| อาชีพทางวิทยาศาสตร์ | |
| สาขา | คณิตศาสตร์, คณิตตรรกศาสตร์ |
| สถาบันที่ทำงาน | |
| วิทยานิพนธ์ | Über die Vollständigkeit des Logikkalküls (On the Completeness of the Calculus of Logic) (ค.ศ. 1929) |
| อาจารย์ที่ปรึกษาในระดับปริญญาเอก | |
| ลายมือชื่อ | |
 | |
เกอเดิลพิมพ์เผยแพร่ทฤษฎีบทความไม่สมบูรณ์สองเรื่องของเขาใน ค.ศ. 1931 เมื่อเขาอายุ 25 ปี หรือ 1 ปีหลังเขาสำเร็จการศึกษาระดับปริญญาเอกที่ ทฤษฎีบทความไม่สมบูรณ์ที่หนึ่งมีใจความว่า สำหรับระบบเชิงสัจพจน์เวียนเกิดต้องกันกับตัวเองใด ๆ ที่เพียงพออธิบายเลขคณิตของจำนวนธรรมชาติได้ จะมีประพจน์จริงเกี่ยวกับจำนวนธรรมชาติที่ไม่สามารถพิสูจน์จากสัจพจน์ได้ เพื่อพิสูจน์ทฤษฎีบทนี้ เกอเดิลพัฒนาเทคนิคซึ่งปัจจุบันเรียก การกำหนดจำนวนเกอเดิล (Gödel numbering) ซึ่งลงรหัสนิพจน์รูปนัยเป็นจำนวนธรรมชาติ
เขายังแสดงว่าสัจพจน์การเลือกและสมมุติฐานความต่อเนื่องไม่สามารถพิสูจน์แย้งจากสัจพจน์ของทฤษฎีเซตซึ่งเป็นที่ยอมรับได้ หากสันนิษฐานว่าสัจพจน์เหล่านั้นต้องกัน ผลที่สัจพจน์การเลือกไม่สามารถพิสูจน์แย้งได้เปิดประตูให้นักคณิตศาสตร์สันนิษฐานสัจพจน์การเลือกในการพิสูจน์ของตน เขายังมีส่วนสำคัญต่อการพิสูจน์ทฤษฎีโดยการสร้างความกระจ่างถึงความเชื่อมโยงระหว่างตรรกศาสตร์คลาสสิก ตรรกศาสตร์สหัชญาณนิยม (intuitionistic logic) และตรรกศาสตร์อัญรูป
 | บทความชีวประวัตินี้ยังเป็น คุณสามารถช่วยวิกิพีเดียได้โดยการเพิ่มเติมข้อมูล |
wikipedia, แบบไทย, วิกิพีเดีย, วิกิ หนังสือ, หนังสือ, ห้องสมุด, บทความ, อ่าน, ดาวน์โหลด, ฟรี, ดาวน์โหลดฟรี, mp3, วิดีโอ, mp4, 3gp, jpg, jpeg, gif, png, รูปภาพ, เพลง, เพลง, หนัง, หนังสือ, เกม, เกม, มือถือ, โทรศัพท์, Android, iOS, Apple, โทรศัพท์โมบิล, Samsung, iPhone, Xiomi, Xiaomi, Redmi, Honor, Oppo, Nokia, Sonya, MI, PC, พีซี, web, เว็บ, คอมพิวเตอร์
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 aelakxtholph efrekx ekxedilsrangphlkrathbihyhlwngtxkarkhidwithyasastraelaprchyainkhriststwrrsthi 20 sungkhnann emuxphuxunxyangebxrthrnd rsesll aeladawith hilebirth bukebikkarichtrrkaaelathvsdiestephuxthakhwamekhaicrakthanaehngkhnitsastrkhwrth ekxedilekidkhwrth fridrich ekxedil 28 emsayn kh s 1906 1906 04 28 brun xxsetriy hngkari pccubnkhuxebxron echkekiy esiychiwit14 mkrakhm kh s 1978 1978 01 14 71 pi rthniwecxrsiy shrthphlemuxngxxsetriy shrthsisyekakhusmrsxedelx nimbwrski smrs kh s 1938 1981 xachiphthangwithyasastrsakhakhnitsastr khnittrrksastrsthabnthithanganwithyaniphnthUber die Vollstandigkeit des Logikkalkuls On the Completeness of the Calculus of Logic kh s 1929 xacarythipruksainradbpriyyaexklaymuxchux ekxedilphimphephyaephrthvsdibthkhwamimsmburnsxngeruxngkhxngekhain kh s 1931 emuxekhaxayu 25 pi hrux 1 pihlngekhasaerckarsuksaradbpriyyaexkthi thvsdibthkhwamimsmburnthihnungmiickhwamwa sahrbrabbechingscphcnewiynekidtxngknkbtwexngid thiephiyngphxxthibayelkhkhnitkhxngcanwnthrrmchatiid camipraphcncringekiywkbcanwnthrrmchatithiimsamarthphisucncakscphcnid ephuxphisucnthvsdibthni ekxedilphthnaethkhnikhsungpccubneriyk karkahndcanwnekxedil Godel numbering sunglngrhsniphcnrupnyepncanwnthrrmchati ekhayngaesdngwascphcnkareluxkaelasmmutithankhwamtxenuxngimsamarthphisucnaeyngcakscphcnkhxngthvsdiestsungepnthiyxmrbid haksnnisthanwascphcnehlanntxngkn phlthiscphcnkareluxkimsamarthphisucnaeyngidepidpratuihnkkhnitsastrsnnisthanscphcnkareluxkinkarphisucnkhxngtn ekhayngmiswnsakhytxkarphisucnthvsdiodykarsrangkhwamkracangthungkhwamechuxmoyngrahwangtrrksastrkhlassik trrksastrshchyanniym intuitionistic logic aelatrrksastrxyrup bthkhwamchiwprawtiniyngepnokhrng khunsamarthchwywikiphiediyidodykarephimetimkhxmuldkhk