🔢 mathematics

Generalized Decidability via Brouwer Trees

यह शोधपत्र होमोटोपी टाइप थ्योरी (homotopy type theory) में एक ऐसे ढांचे को प्रस्तुत करता है जो ब्रौवर ऑर्डिनल्स (Brouwer ordinals) का उपयोग करके डिसाइडेबिलिटी (decidability) का सामान्यीकरण करता है ताकि $\alpha$ -डिसाइडेबल प्रपोज़िशन्स (propositions) के एक पदानुक्रम को स्थापित किया जा सके, जो तार्किक संक्रियाओं (logical operations) और क्वांटिफायर्स (quantifiers) के अंतर्गत उनके क्लोजर गुणों (closure properties) को अभिलक्षणिक बनाता है, और जिसके सभी परिणाम क्यूबिकल एगडा (Cubical Agda) में औपचारिक रूप से सिद्ध किए गए हैं।

मूल लेखक: Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg

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

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

CC BY 4.0

मूल लेखक: Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg

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

कल्पना कीजिए कि आप एक जासूस हैं जो एक रहस्य सुलझाने की कोशिश कर रहे हैं। कंप्यूटर विज्ञान की दुनिया में, हम आमतौर पर रहस्यों को तीन श्रेणियों में बांटते हैं: निर्णवात्मक (Decidable) (हम उत्तर जल्दी पा सकते हैं), अर्ध-निर्णवात्मक (Semidecidable) (यदि उत्तर "हाँ" है तो हम उसे पा सकते हैं, लेकिन यदि "नहीं" है तो हम अनंत काल तक प्रतीक्षा कर सकते हैं), और अनिर्णवात्मक (Undecidable) (हम इसे बिल्कुल भी हल नहीं कर सकते)।

लेकिन क्या होगा अगर कुछ रहस्य दूसरों की तुलना में "अधिक" अर्ध-निर्णवात्मक हों? क्या होगा अगर कुछ "हाँ" उत्तर खोजने में थोड़ा अधिक समय लेते हैं, फिर भी वे अनंत काल तक नहीं खिंचते?

यही वह चीज़ है जिसे टॉम डी जोंग, निकोलाई क्राउस, अरेफ मोहम्मदज़देह और फ्रेडरिक नॉर्डवॉल फोर्सबर्ग अपने नए शोध पत्र में तलाश रहे हैं। वे एक तरीका सुझाते हैं जिससे यह सटीक रूप से मापा जा सके कि "हाँ" उत्तर खोजने में कितना समय लगता है, इसके लिए वे ब्रौवर ट्री ऑर्डिनल्स (Brouwer tree ordinals) नामक एक विशेष प्रकार की संख्या प्रणाली का उपयोग करते हैं। इन्हें साधारण संख्याओं जैसे 1, 2, 3 के रूप में नहीं, बल्कि समय-चरणों की एक जादुई सीढ़ी के रूप में सोचें जो अनंतता से भी बहुत आगे निकल जाती है।

समय की जादुई सीढ़ी

उनके ढांचे में, वे केवल यह नहीं कहते कि "यह हल करने योग्य है।" वे कहते हैं, "यह $\alpha$ -निर्णवात्मक ( $\alpha$ -decidable) है," जहाँ $\alpha$ उनकी जादुई सीढ़ी का एक विशिष्ट पायदान है।

स्तर 1 (निर्णवात्मक): यदि कोई समस्या 1-निर्णवात्मक है, तो इसका अर्थ है कि आप उत्तर (या यह सिद्ध कर सकते हैं कि यह असंभव है) चरणों की एक सीमित संख्या में पा सकते हैं। यह यह जांचने जैसा है कि क्या कोई संख्या अभाज्य (prime) है; आप बस गिनती करते हैं, और अंततः आपको निश्चित रूप से पता चल जाता है।
स्तर $\omega + 1$ (अर्ध-निर्णवात्मक): यदि कोई समस्या $(\omega + 1)$ -निर्णवात्मक है, तो इसका अर्थ है कि यदि उत्तर "हाँ" है, तो आप इसे $\omega$ चरणों के भीतर पा लेंगे। लेकिन $\omega$ कोई सामान्य संख्या नहीं है; यह "अनंत तक गिनने" का प्रतिनिधित्व करता है। इसलिए, यदि उत्तर "हाँ" है, तो आप इसे अंततः पा लेंगे, लेकिन यदि उत्तर "नहीं" है, तो आप बिना रुके हमेशा के लिए गिनती करते रह सकते हैं। यह क्लासिक अर्ध-निर्णवात्मक परिभाषा है।

लेखक सिद्ध करते हैं कि यह नई प्रणाली पुरानी प्रणाली के साथ पूरी तरह फिट बैठती है। यदि आपके पास कोई समस्या है जो "निर्णवात्मक" है, तो वह पायदान 1 पर आती है। यदि वह "अर्ध-निर्णवात्मक" है, तो वह $\omega + 1$ पर आती है। लेकिन जादू यह है कि अब वे इनके बीच के पायदानों या इनके ऊपर के पायदानों के बारे में बात कर सकते हैं।

जुड़वां अभाज्य (Twin Prime) का रहस्य

यह दिखाने के लिए कि यह कैसे काम करता है, वे एक प्रसिद्ध गणितीय पहेली का उपयोग करते हैं: ट्विन प्राइम कंजेक्चर (Twin Prime Conjecture)। यह पूछता है: "क्या हमेशा अभाज्य संख्याओं का एक जोड़ा (जैसे 3 और 5, या 11 और 13) मौजूद होता है, जो केवल दो अंक की दूरी पर हों, चाहे आप कितनी भी ऊँची गिनती करें?"

एक विशिष्ट जोड़े के अस्तित्व की जाँच करना आसान है (निर्णवात्मक)।
एक निश्चित संख्या के ऊपर किसी भी जोड़े के अस्तित्व की जाँच करना अर्ध-निर्णवात्मक है (आप बस खोजते रहते हैं; यदि आपको एक मिल जाता है, तो आप रुक जाते हैं)।
लेकिन बड़ा प्रश्न यह है कि क्या यह हर संख्या के लिए सत्य है।

लेखक दिखाते हैं कि यह विशिष्ट प्रश्न $\omega^2$ -निर्णवात्मक है। कल्पना कीजिए कि $\omega$ चरणों की एक एकल अनंत रेखा है। $\omega^2$ उन अनंत रेखाओं के ढेर के रूप में अनंत रेखाओं को रखने जैसा है। इसका अर्थ है कि यदि ट्विन प्राइम कंजेक्चर के लिए कोई प्रति-उदाहरण (counter-example) मौजूद है, तो आप उसे पा सकते हैं, लेकिन इसमें आपको अनंत रेखाओं के एक अनंत ढेर के माध्यम से चलने के बराबर समय लग सकता है।

उन्होंने यह भी देखा कि जब आप इन समस्याओं को मिलाते हैं:

AND (और): यदि आपके पास दो समस्याएँ हैं जो $\alpha$ -निर्णवात्मक हैं, तो उनका "AND" (दोनों सत्य होने चाहिए) भी $\alpha$ -निर्णवात्मक होता है। यह दो बॉक्सों को चेक करने जैसा है; यदि आप दोनों को एक ही समय सीमा के भीतर चेक कर सकते हैं, तो आप ठीक हैं।
OR (या): यह अधिक पेचीदा है। यदि आपके पास दो समस्याएँ हैं, तो उनका "OR" (दोनों में से एक सत्य होना चाहिए) केवल तभी निर्णायक होता है जब समय सीमा पर्याप्त छोटी हो (विशेष रूप से, यदि स्तर $\omega \cdot k + n$ जैसा हो)। यदि समय सीमा बहुत बड़ी हो जाती है, तो "OR" उनके सिस्टम के नियमों को तोड़ सकता है।

"चयन" (Choice) की समस्या

यहाँ मामला बहुत दिलचस्प हो जाता है। लेखक ने पाया कि यदि आप अनंत संख्या में "अर्ध-निर्णवात्मक" समस्याओं को मिलाना चाहते हैं (जैसे हर शुरुआती संख्या के लिए ट्विन प्राइम कंजेक्चर की जाँच करना), तो आप एक दीवार से टकरा जाते हैं। गणनीय चयन (Countable Choice) नामक एक विशेष गणितीय नियम के बिना, आप यह सिद्ध नहीं कर सकते कि संयुक्त परिणाम अर्ध-निर्णवात्मक है।

वास्तव में, उन्होंने सिद्ध किया कि यदि आप उस नियम के बिना इसे सिद्ध कर सकते, तो यह तर्क के अन्य मौलिक नियमों को तोड़ देता। इसलिए, वे सुझाव देते हैं कि अनंत संयोजनों के लिए गणित को सुचारू रूप से चलाने के लिए, आपको 'गणनीय चयन' को मानना ही होगा।

हालाँकि, उन्होंने एक समाधान भी खोज निकाला! उन्होंने "अर्ध-निर्णवाक" का एक अलग प्रकार देखा जिसे सिएरपिंस्की-अर्ध-निर्णवाक (Sierpiński-semidecidable) कहा जाता है। यह एक थोड़ा कमजोर संस्करण है जो बिना 'चयन' नियम (Countable Choice) के भी अनंत सूचियों को मिलाने की अनुमति देता है। यह एक अलग प्रकार की टॉर्च जैसा है जो आपकी मूल टॉर्च जितनी चमकदार तो नहीं है, लेकिन इसे चालू करने के लिए आपको बैटरी (चयन नियम) की आवश्यकता नहीं है।

उन्होंने क्या हल नहीं किया

यह जानना महत्वपूर्ण है कि यह शोध पत्र क्या नहीं करता है। लेखक बहुत स्पष्ट हैं: उन्होंने ट्विन प्राइम कंजेचर को हल नहीं किया है। उन्होंने केवल इसे एक खिलौने के उदाहरण के रूप में उपयोग किया है ताकि यह दिखाया जा सके कि उनका नया मापने वाला पैमाना कैसे काम करता है।

वे यह भी स्वीकार करते हैं कि उन्हें अभी तक अपनी सीढ़ी का पूरा आकार नहीं पता है। उन्हें संदेह है कि यदि आपके पास पायदान $\alpha$ पर एक समस्या है और $\beta$ पर दूसरी, और $\alpha$ , $\beta$ से नीचे है, तो $\alpha$ वाली समस्या $\beta$ पर भी हल करने योग्य होनी चाहिए। लेकिन उन्होंने अभी तक इस सीढ़ी के प्रत्येक पायदान के लिए इसे सिद्ध नहीं किया है। यह एक "कंजेक्चर" (एक मजबूत अनुमान) है, तथ्य नहीं।

निचोड़ (The Bottom Line)

यह शोध पत्र हमें यह बताने का एक नया तरीका सुझाता है कि गणित और कंप्यूटिंग में "हाँ" उत्तर खोजना कितना कठिन है। केवल यह कहने के बजाय कि "हम इसे पा सकते हैं" या "हम नहीं पा सकते," वे हमें अनंत चरणों वाला एक सटीक पैमाना देते हैं। उन्होंने सिद्ध किया कि यह पैमाना उन चीजों के लिए काम करता है जिन्हें हम पहले से जानते हैं (निर्णवात्मक और अर्ध-निर्णवात्मक), और उन्होंने ट्विन प्राइम कंजेक्चर जैसी जटिल समस्याओं को मापने के लिए इसका उपयोग किया, जिससे पता चला कि वे $\omega^2$ की एक विशिष्ट, मापने योग्य ऊंचाई पर स्थित हैं।

उन्होंने यह भी दिखाया कि जबकि यह पैमाना शक्तिशाली है, इसकी सीमाएँ भी हैं: अनंत समस्याओं की सूचियों को मिलाने के लिए या तो आपको एक विशिष्ट धारणा (Countable Choice) की आवश्यकता होती है, या आपको एक अलग प्रकार के पैमाने (Sierpiński-semidecidability) पर स्विच करना पड़ता है।

यह सब क्यूबिकल एगडा (Cubical Agda) नामक एक कंप्यूटर प्रोग्राम के भीतर बनाया और जांचा गया था, जो एक अत्यंत सख्त रेफरी के रूप में कार्य करता है ताकि यह सुनिश्चित किया जा सके कि उनके तर्क का हर कदम सटीक है। इसलिए, भले ही विचार नए और रोमांचक हों, उनके पीछे का गणित अत्यंत ठोस है।

तकनीकी सारांश: ब्रौवर पेड़ों (Brouwer Trees) के माध्यम से सामान्यीकृत निर्णयक्षमता (Generalized Decidability)

समस्या विवरण
रचनात्मक गणित (constructive mathematics) और सिंथेटिक गणना सिद्धांत (synthetic computability theory) में, प्रस्थापनाओं (propositions) का "निर्णययोग्य" (decidable), "अर्ध-निर्णययोग्य" (semidecidable), या "अनिर्णययोग्य" (undecidable) में मानक वर्गीकरण अक्सर बहुत मोटा (coarse) होता है। उदाहरण के लिए, अभाज्य संख्या (primality) की निर्णयक्षमता स्पष्ट है, लेकिन ट्विन प्राइम अनुमान (Twin Prime Conjecture) की स्थिति (कि क्या किसी $n$ के ऊपर कोई ट्विन प्राइम युग्म मौजूद है) $\omega$ -अनेक अर्ध-निर्णययोग्य उप-समस्याओं की एक संरचना को शामिल करती है। शास्त्रीय रूप से, इसे सीमाओं की सीमाओं (limit of limits) के रूप में देखा जा सकता है, लेकिन रचनात्मक ढांचे के लिए साक्ष्य की खोज की "अवधि" (duration) या जटिलता को मापने के लिए अधिक सटीक तरीके की आवश्यकता होती है। मौजूदा ऑर्डिनल (ordinals) की धारणाएं (जैसे कि सिंटैक्टिक कैंटर नॉर्मल फॉर्म या सिमेंटिक वेल-फाउंडेड संबंध) एक उपयुक्त पदानुक्रम प्रदान करने में विफल रहती हैं: सिंटैक्टिक दृष्टिकोण सभी तुलनाओं को निर्णययोग्य बना देते हैं (जो पदानुक्रम को ध्वस्त कर देते हैं), जबकि सिमेंटिक दृष्टिकोण अक्सर तुलनाओं को अर्ध-निर्णययोग्य बनाने में विफल रहते हैं। यह शोध पत्र एक ऐसे ढांचे की आवश्यकता को संबोधित करता है जो निर्णयक्षमता में सूक्ष्म अंतर करने की अनुमति देता है, विशेष रूप से उन प्रस्थापनाओं के लक्षण वर्णन के लिए जिन्हें सत्यापित करने के लिए ट्रांसफिनिट (transfinite) चरणों की आवश्यकता होती है।

कार्यप्रणाली
लेखक होमोटॉपी टाइप थ्योरी (HoTT) के भीतर कार्य करते हैं, जिसमें पदानुक्रम के आधार के रूप में ब्रौवर ट्री ऑर्डिनल्स ( $\text{Brw}$ ) का उपयोग किया गया है। ये ऑर्डिनल्स एक क्वोटिएंट इंडक्टिव-इंडक्टिव टाइप (QIIT) के माध्यम से परिभाषित किए जाते हैं जिसमें शून्य, उत्तराधिकारी (successors), और बढ़ते क्रम वाले अनुक्रमों के लिमिट (limits) के लिए कंस्ट्रक्टर्स होते हैं। महत्वपूर्ण रूप से, लिमिट कंस्ट्रक्टर केवल सख्ती से बढ़ते अनुक्रमों को स्वीकार करता है, जो यह सुनिश्चित करता है कि परिमितता (finiteness) निर्णययोग्य है जबकि सिद्धांत की रचनात्मक प्रकृति बनी रहती है।

प्रस्तुत मुख्य परिभाषा $\alpha$ -निर्णयक्षमता ( $\alpha$ -decidability) है: एक प्रस्थापना $P$ $\alpha$ -निर्णययोग्य है यदि एक ऑर्डिनल $y$ मौजूद है जिससे $P \leftrightarrow (\alpha \leq y)$ । यह परिभाषा मौजूदा अवधारणाओं का सामान्यीकरण करती है:

$1 $-निर्णयक्षमता (या$ \omega$-निर्णयक्षमता) मानक निर्णयक्षमता (decidability) के अनुरूप है।
$(\omega + 1)$ -निर्णयक्षमता (जो $\omega \cdot 2$ -निर्णयक्षमता के बराबर है) अर्ध-निर्णयक्षमता (semidecidability) के अनुरूप है।

लेखक क्यूबिकल एगडा (Cubical Agda) में सभी परिणामों को औपचारिक रूप देते हैं, जो QIITs और यूनिवालेंस (univalence) के लिए नेटिव सपोर्ट का लाभ उठाता है। वे QIITs पर फलन (functions) को परिभाषित करने की जटिलता को संभालने के लिए विशिष्ट तकनीकों का उपयोग करते हैं, जैसे कि पथ कंस्ट्रक्टर हैंडलिंग में कॉम्बिनेटोरियल विस्फोट से बचने के लिए पहले पॉइंट कंस्ट्रक्टर्स पर संबंध परिभाषित करना और बाद में फलन निकालना।

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

निर्णयक्षमता का पदानुक्रम:
- शोध पत्र स्थापित करता है कि $\alpha$ -निर्णयक्षमता, निर्णयक्षमता और अर्ध-निर्णयक्षमता का सामान्यीकरण करती है।
- यह दिखाया गया है कि किसी भी ऑर्डिनल $\alpha$ के लिए, $(\alpha+1)$ -निर्णयक्षमता $(\alpha+\omega)$ -निर्णयक्षमता के बराबर है। फलस्वरूप, पदानुक्रम को लिमिट ऑर्डिनल्स (limit ordinals) (गैर-उत्तराधिकारी ऑर्डिनल्स) द्वारा प्रभावी रूप से इंडेक्स किया जा सकता है।
- लेखक सिद्ध करते हैं कि यदि $P$ $\alpha$ -निर्णययोग्य है और $Q$ $\alpha$ -निर्णययोग्य है, तो $P \land Q$ भी $\alpha$ -निर्णययोग्य है। यह गैर-उत्तराधिकारी ऑर्डिनल्स के लिए एक बाइनरी मिनिमम (binary minimum) फलन के निर्माण पर निर्भर करता है, जो बिना LPO (Limited Principle of Omniscience) को निहित किए सामान्य ऑर्डिनल्स के लिए संभव नहीं है।
वियोजन (Disjunction) और मैक्सिमा (Maxima):
- जबकि कंजंक्शन (conjunction) उसी स्तर पर बंद (closed) है, बाइनरी वियोजन (disjunction) मनमाने $\alpha$ के लिए बंद नहीं है। हालांकि, लेखक सिद्ध करते हैं कि $(\omega \cdot k + n)$ -निर्णययोग्य प्रस्थापनाएं बाइनरी वजनों (disjunction) के लिए बंद हैं। इसके लिए $\omega \cdot k$ के रूप में ऑर्डिनल्स के सापेक्ष एक बाइनरी मैक्सिमम (binary maximum) फलन के निर्माण की आवश्यकता होती है।
- गैर-उत्तराधिकारियों के लिए वैश्विक बाइनरी मैक्सिमा का अस्तित्व LPO को दर्शाता है, जो एक रचनात्मक टैबू (constructive taboo) है।
गणनीय क्वांटिफायर (Countable Quantifiers) और परिवार:
- गणनीय मीट (Countable Meets): अर्ध-निर्णययोग्य प्रस्थापनाओं के एक परिवार $P: \mathbb{N} \to \text{Prop}$ के लिए, गणनीय मीट $\forall i. P(i)$ को $\omega^2$ -निर्णययोग्य सिद्ध किया गया है। इस परिणाम को ट्विन प्राइम अनुमान पर लागू किया जाता है, इसे $\omega^2$ -निर्णययोग्य के रूप में वर्गीकृत किया जाता है।
- गणनीय जॉइन (Countable Joins): अर्ध-निर्णययोग्य प्रस्थापनाओं का गणनीय जॉइन $\exists i. P(i)$ को $(\omega \cdot 3)$ -निर्णययोग्य दिखाया गया है।
- क्वांटिफायर अल्टरनेशन (Quantifier Alternations): शोध पत्र उन सूत्रों का विश्लेषण करता है जिनमें क्वांटिफायर का अल्टरनेशन होता है। एक परिवार $P(n, m)$ के लिए जहाँ $P(n, m) \to P(n, m+1)$ , प्रस्थापना $\exists m. \forall n. P(n, m)$ को $(\omega^2 + \omega)$ -निर्णययोग्य दिखाया गया है। यह ट्विन प्राइम अनुमान के काउंटर-एग्जाम्पल की खोज के लिए एक सटीक ऑर्डिनल सीमा प्रदान करता है।
चॉइस सिद्धांतों (Choice Principles) के साथ संबंध:
- लेखक काउंटेबल चॉइस (AC) के प्रभाव की जांच करते हैं। AC को मानते हुए, अर्ध-निर्णययोग्य प्रस्थापनाओं का गणनीय जॉइन अर्ध-निर्णययोग्य हो जाता है (अर्थात, $(\omega \cdot 3)$ -निर्णयक्षमता $(\omega \cdot 2)$ -निर्णयक्षमता में सिमट जाती है)।
- हालांकि, AC के साथ भी, $\omega^2$ -निर्णययोग्य प्रस्थापनाएं अर्ध-निर्णययोग्य में तब तक नहीं बदलतीं जब तक कि मार्कोव का सिद्धांत (Markov's Principle) LPO को निहित न करे।
- शोध पत्र सिएरपिंस्की-अर्ध-निर्णयक्षमता (Sierpiński-semidecidability) (सिएरपिंस्की टाइप पर आधारित, जो मुक्त $\omega$ -पूर्ण आंशिक क्रम है) को एक वैकल्पिक अर्ध-निर्णयक्षमता के रूप में पेश करता है, जो बिना काउंटेबल चॉइस को माने, गणनीय जॉइन के लिए बंद है। यह दिखाया गया है कि सिएरपिंस्की-अर्ध-निर्णयक्षमता, मानक अर्ध-निर्णयक्षमता से कमजोर है।

महत्व और दावे
लेखक इस कार्य को सामान्यीकृत निर्णयक्षमता के सिद्धांत की ओर पहला कदम के रूप में प्रस्तुत करते हैं। उनका दावा है कि वे एक ऐसा ढांचा प्रदान करते हैं जहाँ एल्गोरिदम की "अवधि" (एक रचनात्मक, अमूर्त अर्थ में) को सटीक रूप से निर्दिष्ट और ऑर्डिनल अंकगणित का उपयोग करके सिद्ध किया जा सकता है।

शोध पत्र विनम्रतापूर्वक नोट करता है कि यह ट्विन प्राइम अनुमान जैसी खुली समस्याओं को हल नहीं करता है; बल्कि, यह ऐसी समस्याओं की जटिलता का वर्णन करने के लिए एक औपचारिक भाषा प्रदान करता है। यह इस बात पर प्रकाश डालता है कि निर्णयक्षमता का पदानुक्रम पूरी तरह से समझ में नहीं आया है, विशेष रूप से यह उल्लेख करते हुए कि यह एक खुला प्रश्न बना हुआ है कि क्या सभी $\alpha \leq \beta$ के लिए $\alpha$ -निर्णयक्षमता $\beta$ -निर्णयक्षमता को निहित करती है (हालांकि आंशिक परिणाम दिए गए हैं)। यह कार्य इस खुले प्रश्न को भी छोड़ देता है कि क्या ब्रौवर ट्री ऑर्डिनल्स इस सिद्धांत के लिए इष्टतम धारणा हैं या क्या वैकल्पिक ऑर्डिनल निर्माण अलग, संभावित रूप से समृद्ध पदानुक्रम दे सकते हैं।

सभी परिणाम क्यूबिकल एगडा में कठोरता से औपचारिक रूप दिए गए हैं, यह सुनिश्चित करते हुए कि प्रमाणों की रचनात्मक प्रकृति बनी रहे और ऑर्डिनल्स और उनके गुणों की परिभाषाएं कम्प्यूटेशनल रूप से टाइप थ्योरी के भीतर सुसंगत हों।

समय की जादुई सीढ़ी

जुड़वां अभाज्य (Twin Prime) का रहस्य

"चयन" (Choice) की समस्या

उन्होंने क्या हल नहीं किया

निचोड़ (The Bottom Line)

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