🔢 mathematics

An Intuitionistic Glance at Primes

यह शोधपत्र सहज बोधगम्य तर्कशास्त्र (intuitionistic logic) में एक प्रमाण-सिद्धांतिक विवरण प्रस्तुत करता है जो यह प्रदर्शित करता है कि धनात्मक पूर्णांकों का 1, अभाज्य और भाज्य में वर्गीकरण सीमित खोजों (bounded searches) के माध्यम से निर्णायक है, जिससे एक पुनरावर्ती छलनी (recursive sieve), मॉड्यूलर रद्दीकरण (modular cancellation) का एक लक्षणण, और इस बात के बीच एक अंतर स्पष्ट होता है कि हाइटिंग अंकगणित (Heyting Arithmetic) आंतरिक रूप से क्या सिद्ध करता है बनाम क्या प्राकृतिक संख्याओं की मानक व्याख्या पर निर्भर करता है।

मूल लेखक: Milan Rosko

प्रकाशित 2026-07-15

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

CC BY 4.0

मूल लेखक: Milan Rosko

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

कल्पना कीजिए कि आप एक जासूस हैं जो संख्याओं के एक विशाल ढेर को तीन अलग-अलग बक्सों में छाँटने की कोशिश कर रहे हैं: द यूनिट (The Unit), द प्राइम्स (The Primes), और द कंपोजिट्स (The Composites)। अधिकांश लोग सोचते हैं कि यह केवल गणित का एक खेल है, लेकिन मिलान रोस्को (Milan Rosko) द्वारा जुलाई 2026 में लिखे गए इस शोध पत्र में एक गहरा प्रश्न पूछा गया है: हम बिना केवल अनुमान लगाए यह कैसे सिद्ध करें कि कोई संख्या एक विशेष बक्से में आती है?

यह पत्र तर्क देता है कि "इंट्यूशनिस्टिक लॉजिक" (एक सख्त प्रकार की सोच जहाँ आपको अपना काम दिखाना होता है, न कि केवल यह कहना कि कुछ सत्य है) की दुनिया में, किसी संख्या के "कंपोजिट" होने को सिद्ध करने का तरीका, उसके "प्राइम" होने को सिद्ध करने के तरीके से पूरी तरह से अलग है।

दो जासूसी शैलियाँ: खोजना बनाम थकाना

संख्या 6 के बारे में सोचें। इसे कंपोजिट सिद्ध करने के लिए, आपको बस दोस्तों की एक ऐसी जोड़ी ढूँढनी है जो मिलकर उसे बना सके। आप चिल्लाते हैं, "आहा! 2 गुणा 3 बराबर 6 है!" आपके पास एक सकारात्मक गवाह (positive witness) है। आपने सबूत पा लिया है। यह एक "अस्तित्व संबंधी" (existential) खोज है। यह खोई हुई चाबी खोजने जैसा है; एक बार जब आप उसे देख लेते हैं, तो काम पूरा हो जाता है।

अब, संख्या 5 को देखें। इसे प्राइम सिद्ध करने के लिए, आप केवल एक दोस्त नहीं ढूँढ सकते; आपको यह सिद्ध करना होगा कि इसके कोई दोस्त नहीं हैं (स्वयं और 1 के अलावा)। आपको उन सभी संभावित संख्या युग्मों की जाँच करनी होगी जो 5 को गुणा कर सकते थे, और यह दिखाना होगा कि उनमें से कोई भी काम नहीं करता। आपको संदिग्धों की पूरी सूची को थकाना (exhaust) होगा। यह एक "बाउंडेड रिफ्यूटेशन" (bounded refutation) है। आप एक प्राइम को यह दिखाकर सिद्ध कर रहे हैं कि इसमें "आंतरिक गुणनखंडन का अभाव" है।

बड़ी खोज: यह पत्र सिद्ध करता है कि आप जो भी संख्या चुनें, आप हमेशा यह निर्णय ले सकते हैं कि वह किस बक्से में जाएगी। आपको अनुमान लगाने की आवश्यकता नहीं है। आप बस एक सीमित खोज (finite search) चलाते हैं। यदि आपको एक गुणनखंड युग्म मिलता है, तो वह कंपोजिट है। यदि आप उस संख्या तक के हर संभावित युग्म की जाँच करते हैं और कुछ नहीं पाते, तो वह प्राइम है। "द यूनिट" (संख्या 1) एक विशेष मामला है जो दोनों में से किसी भी बक्से में फिट नहीं बैठता।

"कैचर" गेम और छलनी (The Sieve)

यह पत्र "फाइनाइट कैचर" (Finite Catcher) नामक एक मजेदार खेल पेश करता है। कल्पना कीजिए कि आपके पास कुछ विशिष्ट संख्याओं (जैसे 2 और 3) से बनी एक जाल है। आप एक कंपोजिट संख्या को जाल की ओर फेंकते हैं। यदि संख्या 2 और 3 से बनी है (जैसे 6 या 12), तो जाल उसे पकड़ लेता है। लेकिन यदि आप एक संख्या जैसे 25 फेंकते हैं, तो जाल चूक जाता है! क्यों? क्योंकि 25, 5 से बना है, और आपके जाल में 5 नहीं है।

यह पत्र "यूक्लिडियन एस्केप" (Euclidean Escape) नामक एक चतुर तरकीब दिखाता है। आपकी जाल चाहे कितनी भी बड़ी क्यों न हो, आप हमेशा एक ऐसी संख्या बना सकते हैं जो छेदों से फिसल जाए। यह सिद्ध करता है कि आप कभी भी एक सीमित जाल से सभी कंपोजिट संख्याओं को नहीं पकड़ सकते।

तो, हम उन सभी को कैसे पकड़ें? यह पत्र "रिकर्सिव सीव" (Recursive Sieve) का वर्णन करता है।

एक खाली जाल से शुरू करें।
संख्याओं को जाल की ओर फेंकें। पहली संख्या जो बच जाती है (फिसल जाती है), वह 2 है।
चूंकि 2 बच गया, इसलिए हम जानते हैं कि यह एक प्राइम है। इसलिए, हम 2 को अपने जाल में जोड़ते हैं।
अब, नए जाल (जो 2 के गुणजों को पकड़ता है) की ओर संख्याएँ फेंकें। अगला बचा हुआ नंबर 3 है। 3 को जाल में जोड़ें।
चलते रहें। अगला बचा हुआ नंबर 5 है, फिर 7, और इसी तरह।

यह प्रक्रिया एक-एक करके प्राइम्स की सूची बनाती है। यह पत्र सिद्ध करता है कि पहले $k$ प्राइम्स से बने जाल से हमेशा फिसलने वाली पहली कंपोजिट संख्या, अगली प्राइम का वर्ग होती है (जैसे $5^2 = 25$ )।

वह क्या है जिसे यह पत्र खारिज करता है (The "No-Go" Zones)

यह पत्र बहुत सावधानी से उन बातों के बारे में बताता है जिनका यह दावा नहीं करता।

यह इस विचार को खारिज करता कि संख्या 1 के लिए "प्राइम नहीं होना" स्वतः ही "कंपोजिट होना" है। इस सख्त तर्क में, 1 अपनी एक विशेष श्रेणी है। आप केवल यह नहीं कह सकते कि "यह प्राइम नहीं है, इसलिए यह कंपोजिट है।" यह न तो प्राइम है और न ही कंपोजिट।
यह इस विचार के विरुद्ध तर्क देता कि हमारे पास एक एकल, पूर्ण "यूनिवर्सल मशीन" हो सकती है जो तुरंत हर गणितीय सत्य का निर्णय ले सके। यह पत्र राइस के प्रमेय (Rice's Theorem) नामक एक प्रसिद्ध परिणाम का उपयोग यह दिखाने के लिए करता है कि हालांकि हम विशिष्ट संख्याओं की जाँच कर सकते हैं (जैसे "क्या 25 कंपोजिट है?"), हम संख्याओं के हर संभव पैटर्न (जैसे "क्या अनंत जुड़वां अभाज्य संख्याएँ हैं?") के सत्य का निर्णय लेने के लिए एक एकल मशीन नहीं बना सकते जो केवल कोड को देखकर काम करे।
यह इस विचार को नकारता है कि एक गणितीय प्रणाली के भीतर किसी संख्या के प्राइम होने को सिद्ध करना, उस संख्या के "वास्तविक" दुनिया के नंबरों से मेल खाने को सिद्ध करने के समान है। यह पत्र खेल के नियमों (syntax) और खेल के अर्थ (semantics) के बीच अंतर करता है। एक कंप्यूटर नियमों का पूरी तरह से पालन कर सकता है और एक संख्या के प्राइम होने को सिद्ध कर सकता है, लेकिन इसका मतलब यह नहीं है कि वह वास्तव में समझता है कि वास्तविक दुनिया में "प्राइम" का क्या अर्थ है। इसके लिए व्याख्या का एक अतिरिक्त चरण आवश्यक है।

हम कितने आश्वस्त हैं?

यह पत्र केवल सिम्युलेटेड या सुझाया गया नहीं है, बल्कि गणितीय रूप से सिद्ध है।

संख्याओं का वर्गीकरण (1, प्राइम, कंपजिट) निर्णायक (decidable) है। इसका अर्थ है कि एक गारंटीकृत, चरण-दर-चरण रेसिपी है जो आपको सही उत्तर देगी।
"सीव" (Sieve) विधि रचनात्मक (constructive) है। यह केवल यह नहीं कहती कि "प्राइम्स मौजूद हैं"; यह आपको उन्हें चरण-दर-चरण बनाने का सटीक तरीका दिखाती है।
इसके द्वारा चर्चा की गई सीमाएँ (जैसे सभी पैटर्न के लिए एक सार्वभौमिक मशीन की अक्षमता) स्थापित तर्क (गोडेल के अपूर्णता प्रमेय और राइस के प्रमेय) पर आधारित कठोर प्रमाण हैं।

प्राइम्स का "मिराज" (The "Mirage" of Primes)

यह पत्र एक सुंदर रूपक के साथ समाप्त होता है। यह कहता है कि कंपोजिट संख्याएँ संख्याओं को गुणा करके बनाई गई एक ठोस दीवार की तरह हैं। प्राइम संख्याएँ उस दीवार में छेद हैं।

एक कंपोजिट को पहचानना आसान है क्योंकि आप उन ईंटों (गुणनखंडों) को देख सकते हैं जो उसे एक साथ थामे हुए हैं।
एक प्राइम को उसके अभाव से परिभाषित किया जाता है। यह एक ऐसा छेद है जहाँ कोई भी ईंट फिट नहीं बैठती।

यह पत्र निष्कर्ष निकालता है कि हालांकि हम किसी भी एक छेद की जाँच आसानी से कर सकते हैं कि वह छेद है या नहीं (क्योंकि खोज सीमित है), लेकिन उन सभी छेदों के पूरे पैटर्न का रहस्यमय स्वरूप एक "मिराज" (मृगतृष्णा) है जिसे हम एक एकल, सरल नियम के साथ पूरी तरह से नहीं पकड़ सकते।

संक्षेप में, हमारे पास किसी भी एकल संख्या की जाँच करने के लिए एक बेहतरीन, काम करने वाली टॉर्च है। लेकिन संख्याओं के अनंत जंगल का पूरा नक्शा? वह एक अलग कहानी है, और यह पत्र हमारी टॉर्च से हम क्या सिद्ध कर सकते हैं और क्या एक सुंदर, अप्रमाणित रहस्य बना रहता है, उसके बीच की रेखा खींचता है।

तकनीकी सारांश: अभाज्य संख्याओं पर एक अंतर्ज्ञानवादी दृष्टि

समस्या विवरण
यह शोध पत्र हेटिंग अंकगणित (HA) के ढांचे के भीतर सहजतावादी तर्क (विशेष रूप से अंतर्ज्ञानवादी तर्क) के अंतर्गत इकाइयों (units), अभाज्य संख्याओं (primes) और भाज्य संख्याओं (composites) में धनात्मक पूर्णांकों के प्रमाण-सिद्धांतिक वर्गीकरण को संबोधित करता है। जहाँ शास्त्रीय अंकगणित इन श्रेणियों को परस्पर अनन्य और पूर्ण विस्तार के रूप में मानता है, वहीं यह शोध पत्र इस बात की जांच करता है कि इन गुणों को स्थापित करने के लिए साक्ष्य के विशिष्ट रूपों की आवश्यकता होती है। केंद्रीय समस्या यह औपचारिक रूप से परिभाषित करना है कि कैसे "भाज्यता" (एक अस्तित्वगत दावा) और "अभाज्यता" (एक सार्वभौमिक खंडन दावा) एक सीमित खोज क्षेत्र के भीतर निर्णायक विधेय (decidable predicates) के रूप में कार्य करते हैं, और एक औपचारिक सिद्धांत के वाक्यात्मक नियमों, एक मॉडल के आंतरिक समझौते, और मानक प्राकृतिक संख्याओं $\mathbb{N}$ के सापेक्ष अर्थपूर्ण व्याख्या के बीच अंतर करती है।

कार्यप्रणाली
लेखक अंतर्ज्ञानवादी तर्क पर आधारित एक रचनात्मक, प्रमाण-सिद्धांतिक दृष्टिकोण अपनाते हैं। कार्यप्रणाली कई स्तरों के माध्यम से आगे बढ़ती है:

साक्ष्य रूपों के माध्यम से त्रिपक्षीय वर्गीकरण: शोध पत्र तीन विधेय—इकाई ( $U$ ), भाज्य ( $C$ ), और अभाज्य ( $P$ )—को विशिष्ट साक्ष्य प्रकारों के आधार पर परिभाषित करता है:
- $U(n)$ : समानता $n=1$ का साक्ष्य।
- $C(n)$ : एक आंतरिक गुणनखंडन $n=ab $का साक्ष्य जहाँ$ a,b > 1$ (एक अस्तित्वगत साक्षी)।
- $P(n)$ : $n > 1$ का साक्ष्य और प्रत्येक संभावित आंतरिक गुणनखंडन का एक सीमित खंडन (एक सार्वभौमिक नकारात्मक)।
  चूंकि किसी भी $n$ के लिए संभावित कारकों का डोमेन परिमित और निर्णायक है, इसलिए $C(n)$ और $P(n)$ दोनों को निर्णायक विधेय के रूप में दिखाया गया है।
चरणबद्ध ब्लॉक प्रस्तुति (Staged Block Presentations): सीमित खोज को संचालित करने के लिए, शोध पत्र "चरणबद्ध ब्लॉक विन्यास" पेश करता है। ये संभावित कारक युग्मों की परिमित, क्रमबद्ध सूचियाँ हैं। शोध पत्र उन "दोष" संबंधों (छूट, दोहराव, क्रम उल्लंघन) का विश्लेषण करता है जो इन चरणों के विस्तार से उत्पन्न होते हैं। यह स्थानीय अधिवास (एक विशिष्ट चरण पर एक वैध निर्णय) और समान कुलता (सभी चरणों के लिए एक वैश्विक चयनकर्ता) के बीच अंतर करता है।
यूक्लिडियन एस्केप और छलनी (Sieves): शोध पत्र यह प्रदर्शित करने के लिए यूक्लिड के तर्क के एक रचनात्मक संस्करण ("यूक्लिडियन एस्केप") का उपयोग करता है कि "कैचरों" (भाज्य संख्याओं के जनरेटर) का कोई भी परिमित सेट सभी भाज्य संख्याओं को पकड़ नहीं सकता है। यह एक पुनरावर्ती छलनी निर्माण की ओर ले जाता जहाँ एक परिमित कैचर सेट के न्यूनतम उत्तरजीवी को एक नए जनरेटर के रूप में पदोन्नत किया जाता है, जो प्रभावी रूप से अभाज्य संख्याओं को सूचीबद्ध करता है।
बीजगणितीय और अर्थपूर्ण विश्लेषण: शोध पत्र इस वर्गीकरण के बीजगणितीय परिणामों की जांच करता है, जो मॉड्यूलर रद्दीकरण (अभाज्य के लिए) और शून्य-भाजक विनाश (भाज्य के लिए) के बीच के अंतर को दर्शाता है। इसके बाद यह अर्थपूर्ण विश्लेषण की ओर बढ़ता है, जो निम्नलिखित के बीच अंतर करता है:
- नियम अनुरूपता: प्रमाणों का वाक्यात्मक सत्यापन।
- आंतरिक गुणात्मक समझौता: एक निश्चित मॉडल के भीतर परिभाषाओं की संतुष्टि।
- मानक परिभाषात्मक समझौता: एक सिद्धांत का मानक संरचना $\mathbb{N}$ के साथ संरेखण, जिसके लिए मेटा-सैद्धांतिक प्रतिनिधित्व की आवश्यकता होती है।

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

अभाज्यता की निर्णायकता: शोध पत्र यह स्थापित करता है कि HA में अभाज्यता एक निर्णायक गुण है क्योंकि इसकी परिभाषा में सार्वभौमिक क्वांटिफायर $n$ द्वारा सीमित है। अभाज्य और भाज्य के बीच का अंतर अंकगणितीय पदानुक्रम जटिलता (दोनों $\Delta_0$ हैं) के बजाय "प्रमाण ध्रुवीयता" (अस्तित्वगत साक्षी बनाम सार्वभौमिक खंडन) का है।
इकाई सीमा (The Unit Boundary): इकाई ($1 $) के लिए एक कठोर उपचार प्रदान किया गया है, यह दिखाते हुए कि द्विभाजी विरोध$ \neg P(n) \to C(n)$ $n=1$ पर विफल हो जाता है। त्रिपक्षीय वर्गीकरण $U(n) \lor P(n) \lor C(n)$ को रचनात्मक रूप से सिद्ध किया गया है।
परिमित कैचर्स और छलनी संक्रमण: यह सिद्ध किया गया है कि भाज्य जनरेटरों का कोई भी परिमित सेट कुछ भाज्यों को छोड़ देता (विशेष रूप से, न्यूनतम उत्तरजीवी का वर्ग)। यह तंत्र एक पुनरावर्ती छलनी को संचालित करता है जो साधारण अभाज्य संख्याओं के अनुक्रम को उत्पन्न करता है।
बीजगणितीय लक्षण वर्णन: शोध पत्र अभाज्य संख्याओं की संख्या-सिद्धांत संबंधी परिभाषा को वलय $\mathbb{Z}/n\mathbb{Z}$ में रद्दीकरण के बीजगणितीय गुण से जोड़ता है। एक संख्या $n > 1$ अभाज्य है यदि और केवल यदि किसी भी गैर-शून्य अवशेष द्वारा गुणा करना आक्षेपित (injective) है।
अर्थपूर्ण पदानुक्रम: यह प्रमाणन के एक पदानुक्रम को रेखांकित करता है:
1. स्थानीय साक्ष्य: विशिष्ट $n$ के लिए परिमित साक्षी या खंडन।
2. मॉडल समझौता: एक निश्चित मॉडल में विधेयों का विस्तार।
3. मेटा-सैद्धांतिक प्रतिनिधित्व: यह दावा कि एक सिद्धांत मानक $\mathbb{N}$ के साथ सहमत है।
  शोध पत्र प्रदर्शित करता है कि जबकि स्थानीय सिद्धांत HA का एक रूढ़िवादी विस्तार है, मानक मॉडल के साथ समझौता स्थापित करने के लिए बाहरी मेटा-सैद्धांतिक डेटा की आवश्यकता होती है।
एकरूपता की सीमाएँ: शोध पत्र राइस के प्रमेय (Rice's Theorem) और गोडेल के दूसरे अपूर्णता प्रमेय को लागू करके यह दिखाने के लिए कि जबकि व्यक्तिगत अभाज्य परीक्षण निर्णायक हैं, एकसमान द्विपक्षीय प्रमाणन (सभी $n$ के लिए अभाज्यता और भाज्यता दोनों के लिए प्रमाण उत्पन्न करना) या रुकने की समस्याओं (halting problems) के लिए एकसमान पूर्णता सीमाएं, हैल्टिंग ऑरेकल ( $0'$ ) के समकक्ष कम्प्यूटेशनल शक्ति रखती हैं।

महत्व और दावे

शोध पत्र पूर्णांकों के वर्गीकरण के लिए एक "प्रमाण-सिद्धांतिक विवरण" प्रदान करने का दावा करता है, इस बात पर जोर देते हुए कि अभाज्य और भाज्य के बीच का अंतर केवल विस्तारवादी नहीं बल्कि संरचनात्मक और साक्ष्य-आधारित है।

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

यह शोध पत्र गुणनखंड करने या अभाज्यता परीक्षण के लिए नए एल्गोरिदम प्रस्तावित नहीं करता है, न ही यह किसी खुले अनुमान को हल करने का दावा करता है। इसके बजाय, यह एक मूलभूत विश्लेषण प्रदान करता है कि इन अवधारणाओं का निर्माण, सत्यापन और व्याख्या अंतर्ज्ञानवादी अंकगणित के भीतर कैसे की जाती है, जो यह स्पष्ट करता है कि क्या आंतरिक रूप से सिद्ध किया जा सकता है और क्या प्राकृतिक संख्याओं के मानक मॉडल पर निर्भर करता है।

दो जासूसी शैलियाँ: खोजना बनाम थकाना

"कैचर" गेम और छलनी (The Sieve)

वह क्या है जिसे यह पत्र खारिज करता है (The "No-Go" Zones)

हम कितने आश्वस्त हैं?

प्राइम्स का "मिराज" (The "Mirage" of Primes)

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