निम्नलिखित तर्क पर विचार करें:
चलो निरूपित Kolmogorov जटिलता की स्ट्रिंग । चैतीन का अधूरापन प्रमेय कहता है
किसी भी सुसंगत और पर्याप्त मजबूत औपचारिक प्रणाली के लिए , वहाँ एक निरंतर मौजूद है (केवल औपचारिक प्रणाली और उसके भाषा के आधार पर) ऐसी है कि किसी भी तार के लिए , साबित नहीं कर सकते कि ।
चलो पर एक बूलियन समारोह होना चर सेंट इसकी स्पेक्ट्रम के Kolmogorov जटिलता अधिक से अधिक है । चलो के सर्किट जटिलता हो , यानी कम से कम सर्किट कंप्यूटिंग के आकार ।
लिए ) की ऊपरी सीमा जो एक स्थिर और एक व्यस्त बीवर फ़ंक्शन है (अधिकतम संभव चरणों को रोकना आकार के विवरण के साथ मशीन ट्यूरिंग प्रदर्शन कर सकते हैं)। ( स्पेक्ट्रम में प्रत्येक के लिए, संबंधित सत्य असाइनमेंट के मिन्टरम का निर्माण करें, और इन सभी मिन्टरम्स को एक साथ लें)।
मान लीजिए कि बूलियन फ़ंक्शंस के एक अनंत परिवार के लिए , हमारे पास एक औपचारिक प्रमाण है कि को सुपरलाइनर आकार के सर्किट की आवश्यकता है, अर्थात
यदि हम पर्याप्त रूप से बड़े होने के लिए लेते हैं , तो हमारे पास
विशेष रूप से यह इस बात का प्रमाण होगा कि के स्पेक्ट्रम की कोलमोगोरोव जटिलता कम से कम , जो असंभव है।
इससे दो प्रश्न होते हैं:
1) उपरोक्त तर्क में कुछ गलत होना चाहिए। मुख्य रूप से क्योंकि यह सुपरलाइनियर सर्किट को कम कर देगा, जो औपचारिक रूप से सिद्ध नहीं होगा।
2) क्या आप निम्न सीमाओं के लिए बाधाओं को दिखाने के लिए समान दृष्टिकोणों के बारे में जानते हैं, अर्थात यह दर्शाता है कि कुछ प्रकार के (सर्किट) निचले सीमाएं औपचारिक रूप से अप्राप्य हैं?