🔢 mathematics

Operational Evidence and Incompleteness: A Minkowski Radar Model

यह शोध पत्र यह प्रदर्शित करता है कि जबकि एक सख्त सीमा के परिमित रडार सत्यापन (finite radar verification) का अर्थ हैिंग समस्या (halting problem) के तुल्य है, कोई भी प्रभावी सिद्धांत जो ऐसे अभाव कथनों (absence statements) के लिए सुसंगत हो, उसे अनंत $\Pi^0_1$ वाक्यों को अनिर्णित छोड़ना ही होगा, जिससे एक मौलिक गणनात्मक बाधा (computability obstruction) का सरल रडार-आधारित यथार्थ चित्रण प्राप्त होता है।

मूल लेखक: Milan Rosko

प्रकाशित 2026-09-16

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Milan Rosko

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

विज्ञान के विशाल परिदृश्य में, वह जो हम माप सकते हैं और वह जो हम जान सकते हैं, उनके बीच एक मौलिक तनाव विद्यमान है। हम अक्सर यह मान लेते हैं कि यदि किसी प्रश्न का निश्चित उत्तर है, तो एक पर्याप्त चतुर प्रयोग या एक शक्तिशाली सिद्धांत अंततः उसे प्रकट कर देगा। यह विश्वास भौतिकी और गणित में हमारे भरोसे का आधार है: कि ब्रह्मांड व्यवस्थित है और इसे समझने के लिए हमारे उपकरण, सैद्धांतिक रूप से, किसी भी विवाद को सुलझाने में सक्षम हैं। हालाँकि, कंप्यूटेबिलिटी थ्योरी (computability theory) नामक गणित की एक विशिष्ट शाखा ने लंबे समय से यह दिखाया है कि इस भरोसे की एक कठोर सीमा है। यह सिद्ध करता है कि कंप्यूटर प्रोग्राम के बारे में कुछ ऐसे प्रश्न कि क्या वह कभी अपना काम पूरा करेगा, जिन्हें नियमों का कोई भी एकल, सुसंगत सेट हर संभव मामले के लिए हल नहीं कर सकता। ये केवल लापता डेटा या अपर्याप्त तकनीक के प्रश्न नहीं हैं; ये तर्कसंगत रूप से सिद्ध किए जा सकने वाले कार्यों में संरचनात्मक अंतराल हैं। प्रश्न जो लंबे समय से बना हुआ है वह यह है कि क्या इस अमूर्त गणितीय सीमा का कोई वास्तविक दुनिया का समकक्ष है, या यह केवल शुद्ध तर्क के क्षेत्र तक सीमित एक जिज्ञासा बनी रहती है।

मिलन रोस्को का एक नया शोध पत्र इस अमूर्त सीमा को रडार और समय-गणना (timekeeping) की भौतिक दुनिया में लाता है। यह कार्य न तो किसी नई मशीन या भौतिकी के नए नियम का प्रस्ताव देता है, बल्कि एक विचार प्रयोग (thought experiment) का निर्माण करता है जो दूरी मापने के भौतिक कार्य और एक कंप्यूटर के व्यवहार की भविष्यवाणी करने की तार्किक समस्या के बीच एक सेतु के रूप में कार्य करता है। रोस्को एक एकल पर्यवेक्षक और एक विशिष्ट दूरी पर रखे गए एक स्थिर दर्पण, या परावर्तक (reflector) की कल्पना करते हैं। पर्यवेक्षक प्रकाश का एक स्पंद (pulse) भेजता है, जो दर्पण से टकराकर वापस आता है। प्रकाश के स्पंद को आने-जाने के समय को मापकर, पर्यवेक्षक अत्यंत सटीकता के साथ दर्पण की दूरी की गणना कर सकता है। यह सेटअप सरल है और इस मानक समझ पर निर्भर करता है कि प्रकाश की गति स्थिर है। नवाचार इस माप के भौतिकी में नहीं, बल्कि इस बात में है कि दर्पण की दूरी को कैसे परिभाषित किया गया है। इस मॉडल में, दूरी दस मीटर जैसी कोई निश्चित, ज्ञात संख्या नहीं है। इसके बजाय, दूरी एक विशिष्ट कंप्यूटर प्रोग्राम के व्यवहार से जुड़ी हुई है। यदि प्रोग्राम अंततः चलना बंद कर देता है, तो दूरी एक विशिष्ट मान होगी; यदि प्रोग्राम अनंत काल तक चलता रहता है, तो दूरी थोड़ा अलग मान होगी।

इस खोज का मूल यह है कि जबकि इस दूरी के किसी भी एकल मापन को सीमित समय में पूरा किया जा सकता है, दूरी की वास्तविक प्रकृति को जानने की क्षमता मौलिक रूप से बाधित है। शोधकर्ता दिखाता है कि सटीकता के किसी भी विशिष्ट स्तर के लिए, पर्यवेक्षक एक ऐसा मापन कर सकता है जो समाप्त होता है और एक परिणाम देता है। यदि कंप्यूटर प्रोग्राम रुक जाता है, तो मापन अंततः यह प्रकट करेगा कि दूरी एक निश्चित संकीर्ण सीमा के भीतर आती है। यदि प्रोग्राम कभी नहीं रुकता है, तो मापन दिखाएगा कि घेरा (enclosure) मान 1 को समाहित करता है, जिससे सत्यापन जांच (verification check) विफल हो जाती है। इसका अर्थ है कि एक सफल मापन रिकॉर्ड का अस्तित्व ऐसी चीज़ है जिसे सत्यापित किया जा सकता है। हालाँकि, यह शोध पत्र प्रदर्शित करता है कि कोई भी सुसंगत भौतिकी या तर्क यह सिद्ध नहीं कर सकता कि एक विशिष्ट सत्यापन रिकॉर्ड मौजूद नहीं है, यदि वह दूरी उस प्रोग्राम से संबंधित है जो कभी नहीं रुकता। दूसरे शब्दों में, एक सत्यापन रिकॉर्ड की अनुपस्थिति के बारे में ऐसे सत्य कथन हैं जिन्हें कोई भी सुसंगत सिद्धांत कभी सिद्ध नहीं कर पाएगा।

यह परिणाम एक प्रसिद्ध गणितीय समस्या का रडार की भाषा में सीधा अनुवाद है। यह शोध पत्र यह सिद्ध करता है कि क्या कोई दूरी एक निश्चित सीमा के भीतर आती है, इस तरह के प्रश्नों को हल करना उतना ही कठिन है जितना कि यह भविष्यवाणी करना कि क्या कोई कंप्यूटर प्रोग्राम रुकेगा। जिस प्रकार कोई सामान्य एल्गोरिदम नहीं है जो किसी भी प्रोग्राम को देखकर निश्चित रूप से कह सके कि वह रुकेगा या नहीं, उसी प्रकार कोई एकल सिद्धांत नहीं है जो इस तरह से परिभाषित किसी भी दूरी को देखकर निश्चित रूप से कह सके कि क्या एक सत्यापन मापन मौजूद है। यह पत्र स्थापित करता है कि जबकि प्रत्येक व्यक्तिगत मापन प्रक्रिया कार्य करती है और समाप्त होती है, सभी संभावित "अनुपस्थिति" कथनों का संग्रह—कि कोई मापन कभी सफल नहीं होगा—काफी हद तक अनिर्णायक रहता है। इस प्रकार के अनगिनत सत्य कथन हैं जिन्हें एक सिद्धांत न तो सिद्ध कर सकता है और न ही खंडित कर सकता है।

इस कार्य का महत्व इसकी स्पष्टता में निहित है। यह जटिल क्वांटम प्रभावों या स्पेस-टाइम की वक्रता पर निर्भर नहीं करता है। यह अवलोकन के सबसे बुनियादी उपकरणों का उपयोग करता है: एक घड़ी, एक प्रकाश स्पंद और एक दर्पण। यह दिखाकर कि तार्किक प्रमाण की सीमाएं इतने सरल, शास्त्रीय सेटअप में भी दिखाई देती हैं, यह पत्र सुझाव देता है कि गणित में पाई जाने वाली अपूर्णता केवल अमूर्त प्रतीकों का एक अवशेष नहीं है। यह एक ऐसी विशेषता है जिसे एक भौतिक मॉडल में साकार किया जा सकता है। लेखक सावधानीपूर्वक यह उल्लेख करते हैं कि यह एक सैद्धांतिक निर्माण है। यह पत्र यह दावा नहीं करता है कि हम प्रयोगशाला में परीक्षण करने के लिए एक विशिष्ट कंप्यूटर प्रोग्राम पर निर्भर दूरी पर भौतिक रूप से एक दर्पण बना सकते हैं। ध्यान स्वयं मॉडल की तार्किक संरचना पर है। यह दिखाता है कि यदि हम कंप्यूटर के काम करने के मानक नियमों और मापन को रिकॉर्ड करने के तरीकों को स्वीकार करते हैं, तो हमें यह भी स्वीकार करना होगा कि प्रमाणन (certification) की कुछ सीमाएं हैं।

अंततः, यह शोध पत्र इस विचार पर एक शांत लेकिन दृढ़ सुधार प्रस्तुत करता है कि एक सीमित मापन रिकॉर्ड हमेशा भौतिक दुनिया के बारे में किसी दावे को प्रमाणित कर सकता है। यह दिखाता है कि जबकि हम हमेशा एक मापन पूरा कर सकते हैं, हम हमेशा यह नहीं जान सकते कि जो परिणाम हम खोज रहे हैं वह पाना असंभव है या नहीं। दुनिया के बारे में कुछ ऐसे सत्य तथ्य हैं—विशेष रूप से, एक सत्यापन रिकॉर्ड के गैर-अस्तित्व के बारे में तथ्य—जो हमेशा किसी भी सुसंगत सिद्धांत की पहुंच से बाहर रहेंगे। यह हमारे उपकरणों या हमारी बुद्धि की विफलता नहीं है, बल्कि एक मौलिक सीमा है। यह कार्य पुष्टि करता है कि जो हम कंप्यूट कर सकते हैं और जो हम जान सकते हैं के बीच का अंतर केवल एक गणितीय जिज्ञासा नहीं है, बल्कि एक संरचनात्मक वास्तविकता है जिसे भौतिक अंतःक्रियाओं के सरलतम रूप पर भी मैप किया जा सकता है। रडार मॉडल गणना में एक मानक बाधा का एक स्पष्ट, मूर्त चित्रण है, जो यह सिद्ध करता है कि कुछ प्रश्नों को तय करने में असमर्थता उतनी ही वास्तविक है जितना कि दर्पण तक जाने और वापस आने वाला प्रकाश स्पंद।

तकनीकी सारांश: परिचालन साक्ष्य और अपूर्णता: एक मिंकोव्स्की रडार मॉडल

समस्या विवरण
यह शोध पत्र गणना सिद्धांत (computability theory) और परिचालन भौतिकी (operational physics) के मिलन बिंदु पर एक मौलिक प्रश्न को संबोधित करता है: क्या एक प्रभावी सिद्धांत (effective theory) परिमित मापन अभिलेखों (finite measurement records) की अनुपस्थिति के दावों को निर्णायक रूप से तय कर सकता है? विशेष रूप से, लेखक यह जांचते हैं कि क्या एक औपचारिक प्रणाली यह निर्धारित कर सकती है कि जब कोई परिमित सत्यापन अभिलेख मौजूद नहीं है, तो क्या एक सख्त दूरी सीमा (जैसे, $1 < d < 2$ ) किसी भौतिक विन्यास के लिए सत्य है। मुख्य तनाव इस तथ्य में निहित है कि प्रत्येक निश्चित-परिशुद्धता (fixed-precision) वाला मापन प्रोटोकॉल समाप्त होता है (एक परिमित अभिलेख प्रदान करता है), लेकिन सभी परिशुद्धताओं में एक सफल रिकॉर्ड की अनुपस्थिति एक अनिर्णय योग्य प्रस्ताव (undecidable proposition) हो सकती है।

कार्यप्रणाली
लेखक एक मानक गणना संबंधी बाधा (computability obstruction) को संचालित करने के लिए एक "मिंकोव्स्की रडार मॉडल" का निर्माण करते हैं। कार्यप्रणाली इस प्रकार है:

रडार सेटअप: एक एकल जड़त्वीय प्रेक्षक ( $P$ ) और एक स्थिर परावर्तक (stationary reflector) को मिंकोव्स्की स्पेसटाइम (जहाँ $c=1$ ) में रखा गया है। प्रेक्षक उचित समय (proper time) $\tau_-$ पर प्रकाश तरंगें उत्सर्जित करता है जो लक्ष्य से टकराकर $\tau_+$ पर वापस आती हैं। दूरी $d$ को राउंड-ट्रिप समय द्वारा परिभाषित किया जाता है: $d = (\tau_+ - \tau_-)/2$ ।
गणना संबंधी एन्कोडिंग: एक दिए गए प्रश्न सूचकांक $e$ $e$ के लिए दूरी $d_e$ $d_{e}$ को ट्यूरिंग मशीन $\Phi_e(0)$ $Φ_{e} (0)$ के रुकने (halting) के व्यवहार के आधार पर एनकोड किया जाता है।
- यदि $\Phi_e(0)$ चरण $h_e$ पर रुकता है, तो दूरी $d_e = 1 + 2^{-h_e}$ निर्धारित की जाती है।
- यदि $\Phi_e(0)$ कभी नहीं रुकता, तो $d_e = 1$ निर्धारित किया जाता है।
- फलस्वरूप, $1 \leq d_e \leq 1.5$ । स्थिति $1 < d_e < 2$ सत्य है यदि और केवल यदि $\Phi_e(0)$ रुकता है।
सन्निकटन प्रोटोकॉल (Approximation Protocol): एक समान रूप से गणनीय परिमेय सन्निकटन परिवार $q(e, k)$ $q (e, k)$ को परिभाषित किया गया है। $\Phi_e$ $Φ_{e}$ को $k$ $k$ चरणों तक सिम्युलेट करके, प्रोटोकॉल अंतराल $J_{e,k} = [q(e, k) - 2^{-k}, q(e, k) + 2^{-k}]$ $J_{e, k} = [q (e, k) - 2^{- k}, q (e, k) + 2^{- k}]$ उत्पन्न करता है।
- यदि मशीन रुकती है, तो एक पर्याप्त बड़ा $k$ एक ऐसा अंतराल प्रदान करेगा जो $(1, 2)$ के भीतर सख्ती से स्थित है, जो दूरी सीमा को प्रमाणित करता है।
- यदि मशीन कभी नहीं रुकती, तो प्रत्येक अंतराल $J_{e,k}$ में मान 1 शामिल होगा, जो सख्त सीमा $1 < d_e < 2$ को प्रमाणित करने में विफल रहेगा।
प्रमाणन प्रणाली (Certificate System): एक "परिमित प्रमाण" (finite certificate) को रिकॉर्ड $(e, k, L, H)$ के रूप में परिभाषित किया गया है जहाँ गणना किया गया अंतराल $[L, H]$ एक वैध उप-अंतराल $(1, 2)$ है। उन सूचकांकों $e$ का सेट, जिनके लिए ऐसा प्रमाण मौजूद है, 'रिकर्सिवली एन्यूमेरेबल' (RE) दिखाया गया है।

प्रमुख योगदान

RE-पूर्णता का परिचालन यथार्थ: (Operational Realization of RE-Completeness): यह शोध पत्र प्रदर्शित करता है कि सख्त सीमा $1 < d_e < 2$ के लिए एक परिमित रडार सत्यापन रिकॉर्ड का अस्तित्व RE-पूर्ण है। यह अमूर्त 'हाल्टिंग समस्या' (halting problem) को घड़ी-आधारित दूरी मानकों वाले एक भौतिक मापन परिदृश्य पर सीधे मैप करता है।
अनुपस्थिति कथनों का औपचारिकीकरण: लेखक "अनुपस्थिति कथनों" (यह दावा कि कोई सत्यापन रिकॉर्ड मौजूद नहीं है) को $\Pi^0_1$ वाक्यों के रूप में औपचारिक रूप देते हैं। शोध पत्र सिद्ध करता है कि जबकि एक रिकॉर्ड का अस्तित्व RE है, सत्य अनुपस्थिति कथनों का सेट 'हाल्टिंग सेट' के पूरक (complement) के अनुरूप है, जो RE नहीं है।
रडार मॉडलों के लिए अपूर्णता प्रमेय: यह शोध पत्र स्थापित करता है कि इन रडार अनुपस्थिति कथनों और उनके निषेधों (negations) के लिए सत्य होने वाले किसी भी प्रभावी सिद्धांत $T$ के लिए, अनंत रूप से कई ऐसे सत्य अनुपस्थिति कथन हैं जिन्हें $T$ सिद्ध नहीं कर सकता। इसके अतिरिक्त, अपनी सत्यता (soundness) के कारण, $T$ उन्हें खंडित (refute) भी नहीं कर सकता।

परिणाम

समाप्ति बनाम निर्णायता (Termination vs. Decidability): एक निश्चित परिशुद्धता $k$ पर प्रत्येक विशिष्ट मापन प्रोटोकॉल समाप्त होता है और एक परिणाम उत्पन्न करता है। हालाँकि, एक विशिष्ट $e$ के लिए सत्यापन रिकॉर्ड के अस्तित्व का वैश्विक प्रश्न अनिर्णय योग्य है।
अनुपस्थिति की अनिर्णायता: यदि एक सिद्धांत $T$ सत्यनिष्ठ (sound) है, तो वह "कोई परिमित मापन रिकॉर्ड सीमा को प्रमाणित नहीं करता" जैसे अनंत सत्य कथनों के सत्य मान को निर्धारित नहीं कर सकता है, क्योंकि यह 'हाल्टिंग सेट' के पूरक के न होने का सीधा परिणाम है।
दूरियों की परिमेयता: सभी निर्मित दूरियाँ $d_e$ परिमेय संख्याएँ हैं। हालाँकि, एक एल्गोरिदम जो सूचकांक $e$ से $d_e$ के सटीक परिमेय मान को पुनः प्राप्त करने में सक्षम है, वह 'हाल्टिंग समस्या' को हल कर देगा, जो असंभव है।

महत्व और दावे
शोध पत्र का दावा है कि यह "एक मानक गणना संबंधी बाधा का एक सरल रडार यथार्थ" प्रदान करता है। इसका महत्व अमूर्त गणना सिद्धांत और परिचालन भौतिकी के बीच की खाई को पाटने में निहित है:

यह एक समाप्त होने वाली मापन प्रक्रिया और सभी परिशुद्धताओं में एक सफल शोधन (refinement) के अस्तित्व के बीच के अंतर को स्पष्ट करता है।
यह दावा करता है कि अपूर्णता मापन परिशुद्धता की भौतिक सीमाओं से नहीं, बल्कि एक रिकॉर्ड की अनुपस्थिति को सत्यापित करने की तार्किक संरचना से उत्पन्न होती है।
लेखक स्पष्ट रूप से उल्लेख करते हैं कि यह निर्माण एक गणितीय मॉडल है; ऐसी विन्यासों की भौतिक तैयारी या आवश्यक घेरे (enclosures) प्रदान करने के लिए मापन के अंशांकन (calibration) से संबंधित प्रश्नों को खुला छोड़ दिया गया है। निष्कर्ष पूरी तरह से निर्दिष्ट मॉडल के भीतर "प्रमाणन की सीमाओं" के बारे में है: कोई भी सत्य प्रभावी सिद्धांत हर उस मामले को तय नहीं कर सकता जहाँ कोई सत्यापन रिकॉर्ड मौजूद नहीं है, भले ही एक व्यक्तिगत प्रयास हमेशा समाप्त होता हो।

इसी तरह के और पेपर