गोडेल के प्रमेय और उनका दर्शन
स्व-संदर्भ को अंकगणित में कोडित करके, गोडेल ने सिद्ध किया कि अंकगणित के लिए पर्याप्त समृद्ध कोई भी सुसंगत औपचारिक प्रणाली ऐसे सच्चे वाक्य रखती है जिन्हें वह सिद्ध नहीं कर सकती।
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
- क्या गोडेल के प्रमेय का मतलब है कि गणित टूट गया है?
- नहीं। इसका मतलब है कि कोई भी एकल सुसंगत औपचारिक प्रणाली हर अंकगणितीय सत्य को सिद्ध नहीं कर सकती है, और कोई भी अपने भीतर से अपनी संगति को प्रमाणित नहीं कर सकती है। गणित पूरी तरह से ठीक काम करता है; प्रमेय इसके बजाय किसी भी निश्चित स्वयंसिद्ध प्रणाली क्या हासिल कर सकती है, इस पर एक सैद्धांतिक सीमा लगाते हैं, एक पूर्ण, आत्म-प्रमाणित नींव की आशा का खंडन करते हैं।