पहली अपूर्णता प्रमेय
कोई भी सुसंगत औपचारिक प्रणाली F जो बुनियादी अंकगणित को व्यक्त करने के लिए पर्याप्त शक्तिशाली है, उसमें ऐसे कथन होते हैं जो सत्य तो हैं लेकिन F के भीतर सिद्ध नहीं किए जा सकते। इसका प्रमाण आत्म-संदर्भ द्वारा है: गोडेल ने एक कथन G बनाया जो दावा करता है 'यह कथन F में सिद्ध नहीं है।' यदि F कथन G को सिद्ध करता है, तो F असंगत है। यदि F कथन G को सिद्ध नहीं कर सकता, तो G सत्य है (क्योंकि यह कहता है कि यह सिद्ध नहीं है) लेकिन सिद्ध नहीं किया जा सकता। किसी भी तरह से, F अधूरा या असंगत है।
दूसरी अपूर्णता प्रमेय
कोई भी सुसंगत औपचारिक प्रणाली जो बुनियादी अंकगणित को व्यक्त करने के लिए पर्याप्त शक्तिशाली है, वह अपनी स्वयं की सुसंगति को सिद्ध नहीं कर सकती। आप किसी प्रणाली का उपयोग यह स्थापित करने के लिए नहीं कर सकते कि वह प्रणाली कभी विरोधाभास साबित नहीं करेगी। यह गहरा परिणाम है — इसका मतलब है कि गणितीय साधनों का उपयोग करके गणित को सुसंगत साबित करने का हिल्बर्ट का कार्यक्रम असंभव है।
गोडेल क्या सिद्ध नहीं करते
अपूर्णता प्रमेयों का मतलब यह नहीं है कि गणित अविश्वसनीय है या 'कुछ भी चलता है।' वे औपचारिक प्रणालियों (यांत्रिक प्रमाण नियमों के साथ स्वयंसिद्ध प्रणालियों) पर लागू होते हैं, न कि सामान्य रूप से गणितीय अंतर्ज्ञान पर। इसका मतलब यह नहीं है कि हर गणितीय प्रश्न अनिर्णायक है — केवल यह कि कोई भी परिमित स्वयंसिद्ध प्रणाली सभी प्रश्नों का निर्णय नहीं करती है। गोडेल स्वयं एक प्लेटोवादी थे: उनका मानना था कि गणितीय सत्य वस्तुनिष्ठ रूप से वास्तविक हैं और गणितीय अंतर्ज्ञान के लिए सुलभ हैं, भले ही वे औपचारिक प्रमाण से परे हों।
बीस प्रश्न, घड़ी पर आठ मिनट, और अब तक टेस्ट देने वालों के सामने मापा गया पर्सेंटाइल। साइन-अप नहीं।
IQ टेस्ट दें →गणित से परे निहितार्थ
गोडेल की प्रमेयों की व्याख्या (अक्सर अति-व्याख्या) आर्टिफिशियल इंटेलिजेंस, मानव ज्ञान की सीमाओं और चेतना की प्रकृति (पेनरोज़ का तर्क) के लिए निहितार्थ के रूप में की गई है। सबसे रक्षात्मक व्याख्या: एक औपचारिक प्रणाली पर आधारित कोई भी पर्याप्त रूप से शक्तिशाली AI में ब्लाइंड स्पॉट होंगे — गणितीय सत्य जिन्हें वह सिद्ध नहीं कर सकता। क्या मानव गणितीय अंतर्ज्ञान इस सीमा से बचता है, इस पर तीखी बहस होती है।
अक्सर पूछे जाने वाले प्रश्न
गोडेल की अपूर्णता प्रमेय क्या कहती हैं?
पहली प्रमेय: अंकगणित के लिए पर्याप्त शक्तिशाली कोई भी सुसंगत औपचारिक प्रणाली में ऐसे सत्य कथन होते हैं जिन्हें वह सिद्ध नहीं कर सकती। दूसरी प्रमेय: ऐसी कोई भी प्रणाली अपनी स्वयं की सुसंगति को सिद्ध नहीं कर सकती। साथ में, वे दिखाते हैं कि गणित को पूरी तरह से स्वयंसिद्ध नहीं किया जा सकता — हमेशा किसी भी निश्चित प्रमाण प्रणाली से परे गणितीय सत्य होंगे।
क्या गोडेल की प्रमेय सिद्ध करती हैं कि AI कभी भी मानवीय बुद्धिमत्ता से मेल नहीं खा सकता?
रोजर पेनरोज़ तर्क देते हैं कि हाँ — यदि मन एक औपचारिक प्रणाली होता, तो गोडेल लागू होते; चूंकि गणितज्ञ औपचारिक प्रमाण से परे सत्य को पहचान सकते हैं, इसलिए मन कुछ और होना चाहिए। आलोचकों (अधिकांश AI शोधकर्ताओं सहित) का तर्क है कि यह प्रमेयों को गलत तरीके से लागू करता है: गोडेल निश्चित औपचारिक प्रणालियों पर लागू होते हैं, और एक सीखने वाली प्रणाली या जो अपने स्वयंसिद्धों को बदलती है, वह समान चीज नहीं है।
क्या गोडेल की प्रमेय मानव ज्ञान की सीमाओं के बारे में हैं?
वे विशेष रूप से औपचारिक स्वयंसिद्ध प्रणालियों के बारे में हैं, न कि सामान्य रूप से मानव ज्ञान के बारे में। गोडेल का मानना था कि मनुष्यों के पास गणितीय अंतर्ज्ञान है जो किसी भी विशेष औपचारिक प्रणाली से परे है — वे एक प्लेटोवादी थे। प्रमेय यह दिखाते हैं कि कोई भी यांत्रिक प्रमाण प्रक्रिया सभी गणित को नहीं पकड़ती है, लेकिन क्या मानव गणितीय समझ यांत्रिक प्रक्रियाओं से अधिक है, यह एक अलग दार्शनिक प्रश्न है।