ทฤษฎีบทของเกอเดลและปรัชญาที่เกี่ยวข้อง
ด้วยการเข้ารหัสการอ้างอิงตนเองเข้าสู่เลขคณิต เกอเดลได้พิสูจน์ว่าระบบรูปนัยใดๆ ที่สอดคล้องกันและมีความซับซ้อนเพียงพอสำหรับเลขคณิต จะมีประโยคที่เป็นจริงซึ่งระบบนั้นไม่สามารถพิสูจน์ได้
Definition
ทฤษฎีบทความไม่สมบูรณ์ข้อแรกของเกอเดลระบุว่า ระบบรูปนัยใดๆ ที่สอดคล้องกัน มีการวางสัจพจน์อย่างมีประสิทธิภาพ และสามารถแสดงเลขคณิตพื้นฐานได้ จะมีประโยคที่เป็นจริงซึ่งระบบนั้นไม่สามารถพิสูจน์หรือหักล้างได้; ทฤษฎีบทข้อที่สองระบุว่า ไม่มีระบบดังกล่าวใดที่สามารถพิสูจน์ความสอดคล้องของตนเองได้
Scope
หัวข้อนี้ครอบคลุมทฤษฎีบทความไม่สมบูรณ์ของเกอเดลและการตีความเชิงปรัชญา โดยกล่าวถึงเทคนิคของการทำให้เป็นเลขคณิต (การกำหนดหมายเลขเกอเดล) และบทตั้งแนวทแยงที่สร้างประโยคที่อ้างอิงตนเองว่า 'ฉันไม่สามารถพิสูจน์ได้'; ทฤษฎีบทแรก (ระบบดังกล่าวไม่สมบูรณ์) และทฤษฎีบทที่สอง (ระบบดังกล่าวไม่สามารถพิสูจน์ความสอดคล้องของตนเองได้); และการใช้ทฤษฎีบทเชิงปรัชญาที่เป็นที่ถกเถียง — ข้ออ้างเกี่ยวกับข้อจำกัดของรูปนัยนิยมและโครงการของฮิลเบิร์ต และข้อโต้แย้งของลูคัส-เพนโรสที่ว่าจิตใจของมนุษย์เหนือกว่าอัลกอริทึมใดๆ
Core questions
- การกำหนดหมายเลขเกอเดลช่วยให้เลขคณิตพูดถึงการพิสูจน์ของตนเองได้อย่างไร?
- ทฤษฎีบทความไม่สมบูรณ์ยืนยันอะไรอย่างแท้จริง และสำหรับระบบใดบ้าง?
- ทฤษฎีบทเหล่านี้มีความหมายอย่างไรต่อโครงการของฮิลเบิร์ตและตรรกนิยม?
- ทฤษฎีบทเหล่านี้แสดงให้เห็นว่าจิตใจเหนือกว่าเครื่องจักรหรือไม่?
Key concepts
- การกำหนดหมายเลขเกอเดล (การทำให้เป็นเลขคณิต)
- บทตั้งแนวทแยง
- ประโยคของเกอเดล
- ทฤษฎีบทความไม่สมบูรณ์ข้อแรกและข้อที่สอง
- โครงการของฮิลเบิร์ต
- ความสอดคล้องและความสอดคล้องแบบโอเมก้า
Key theories
- ความไม่สมบูรณ์ผ่านการทำให้เป็นแนวทแยง
- เกอเดลทำให้วากยสัมพันธ์เป็นเลขคณิต เพื่อให้สูตรสามารถแสดงการไม่สามารถพิสูจน์ได้ของตนเอง; ประโยคที่ได้จะเป็นจริง (หากระบบสอดคล้องกัน) แต่ไม่สามารถพิสูจน์ได้ ซึ่งเป็นการยืนยันความไม่สมบูรณ์ และทฤษฎีบทที่สองแสดงให้เห็นว่าความสอดคล้องเองก็ไม่สามารถพิสูจน์ได้ภายในระบบ
- ข้อโต้แย้งของลูคัส-เพนโรส
- ลูคัสโต้แย้งจากทฤษฎีบทของเกอเดลว่า เนื่องจากมนุษย์สามารถเห็นความจริงของประโยคเกอเดลของเครื่องจักรที่สอดคล้องกันใดๆ ที่จำลองจิตใจได้ ดังนั้นจิตใจจึงไม่สามารถเป็นเครื่องจักรดังกล่าวได้; ข้อโต้แย้งนี้เป็นที่ถกเถียงกันอย่างกว้างขวาง
History
เกอเดลพิสูจน์ทฤษฎีบทความไม่สมบูรณ์ในปี ค.ศ. 1931 ซึ่งเป็นการจำกัดโครงการของฮิลเบิร์ตอย่างเด็ดขาดในการพิสูจน์ว่าคณิตศาสตร์สมบูรณ์และสอดคล้องกันด้วยวิธีการที่จำกัด ผลลัพธ์ดังกล่าวได้สะท้อนไปทั่วปรัชญาคณิตศาสตร์และจิตใจ โดยลูคัส (1961) และต่อมาเพนโรสได้สรุปผลแบบต่อต้านกลไกนิยม ซึ่งกระตุ้นให้เกิดวรรณกรรมวิพากษ์วิจารณ์อย่างกว้างขวาง
Debates
- ทฤษฎีบทเหล่านี้หักล้างกลไกนิยมเกี่ยวกับจิตใจหรือไม่?
- ว่าข้อโต้แย้งของลูคัส-เพนโรสสรุปได้อย่างถูกต้องจากความไม่สมบูรณ์ว่าความเข้าใจทางคณิตศาสตร์ของมนุษย์เหนือกว่าอัลกอริทึมใดๆ หรือว่าข้อโต้แย้งนี้เกินเลยไปโดยการสมมติว่าเราสามารถรู้ความสอดคล้องของเราเองได้เสมอและจดจำประโยคเกอเดลที่เกี่ยวข้องได้
Key figures
- Kurt Godel
- David Hilbert
- J. R. Lucas
- Roger Penrose
- Peter Smith
Related topics
Seminal works
- godel1931
- smith2013
Frequently asked questions
- ทฤษฎีบทของเกอเดลหมายความว่าคณิตศาสตร์มีปัญหาหรือไม่?
- ไม่ ทฤษฎีบทนี้หมายความว่าไม่มีระบบรูปนัยที่สอดคล้องกันเพียงระบบเดียวที่สามารถพิสูจน์ความจริงทางเลขคณิตได้ทุกประการ และไม่มีระบบใดที่สามารถรับรองความสอดคล้องของตนเองได้จากภายใน คณิตศาสตร์ยังคงดำเนินไปได้ด้วยดี; ทฤษฎีบทเหล่านี้กลับวางข้อจำกัดที่เป็นหลักการว่าระบบสัจพจน์ที่กำหนดไว้สามารถทำอะไรได้บ้าง ซึ่งเป็นการหักล้างความหวังสำหรับรากฐานที่สมบูรณ์และรับรองตนเองได้เพียงหนึ่งเดียว