🔢 mathematics

A Foundation for the Core Mathematician

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

मूल लेखक: David Mumford, Sy-David Friedman

प्रकाशित 2026-05-06

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

CC BY 4.0

मूल लेखक: David Mumford, Sy-David Friedman

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

गणित की कल्पना एक विशाल, गगनचुंबी इमारत के रूप में करें। दशकों से, अधिकांश गणितज्ञ इस बात पर सहमत रहे हैं कि इस इमारत की नींव नियमों के एक विशिष्ट समूह पर टिकी है जिसे ZFC (ज़र्मेलो-फ्रेंकेल सेट थ्योरी विद द एक्सिओम ऑफ चॉइस) कहा जाता है। उनका मानना है कि यह नींव इतनी ठोस है कि यह साधारण संख्याओं के बेसमेंट से लेकर जटिल सिद्धांतों के पेंटहाउस तक, हर मंजिल को सहारा दे सके।

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

यहाँ उनके तर्क का सरल उपमाओं का उपयोग करके विवरण दिया गया है:

1. समस्या: "जादुई ट्रिक" वाली नींव

वर्तमान नींव (ZFC) एक नियम पर बहुत अधिक निर्भर करती है जिसे एक्सिओम ऑफ चॉइस (विकल्प का स्वयंससिद्ध सिद्धांत) कहा जाता है। इस एक्सिओम को एक ऐसी जादुई क्षमता के रूप में समझें जिससे आप अनंत बक्सों में से एक वस्तु चुन सकते हैं, भले ही आप उन्हें देख न सकें या यह वर्णन न कर सकें कि आपने उन्हें कैसे चुना।

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

2. प्रस्ताव: वास्तविकता पर आधारित एक नींव

लेखक सुझाव देते हैं कि हमें सब कुछ (भूतों सहित) बनाने के लिए एक नींव बनाने की कोशिश छोड़ देनी चाहिए और इसके बजाय विशेष रूप से गणित के मूल (Core of Mathematics) के लिए एक नींव बनानी चाहिए: वास्तविक संख्याएँ ( $\mathbb{R}$ ), पूर्णांक, और उनसे बनी संरचनाएँ।

वे इस नई नींव के लिए तीन स्तंभ प्रस्तावित करते हैं:

स्तंभ A: वास्तविक दुनिया वास्तविक है। वे वास्तविक संख्याओं (जैसे कि स्केल पर दिखने वाली संख्याएँ) को एक "दिया गया तथ्य" मानते हैं, ठीक वैसे ही जैसे हम यह स्वीकार करते हैं कि हम सेब गिन सकते हैं। वे वास्तविक संख्याओं को शून्य से बनाने की कोशिश नहीं करते; वे बस कहते हैं, "ये यहाँ हैं, इनका अस्तित्व है।"
स्तंभ B: जादू को छोड़ें, यादृच्छिकता (Randomness) को रखें। वे "एक्सिओम ऑफ चॉइस" को खारिज कर देते हैं क्योंकि यह उन अजीब भूतों को पैदा करता है। इसके बजाय, वे फ्रीलिंग के एक्सिओम को अपनाते हैं।
- उपमा: कल्पना करें कि दो लोग अंतरिक्ष में एक बोर्ड पर डार्ट फेंक रहे हैं। यदि वे बिल्कुल एक ही समय में अलग-अलग ग्रहों से डार्ट फेंकते हैं (ताकि कोई भी सिग्नल धोखाधड़ी करने के लिए उनके बीच इतनी तेज़ी से न पहुँच सके), और वे अपने स्थान को पूरी तरह से यादृच्छिक (random) रूप से चुनते हैं, तो दूसरे के आधार पर पहले वाले का स्थान "अनुमानित" होने का कोई तरीका नहीं है।
- यह अंतर्ज्ञान इस नियम की ओर ले जाता है कि: "यदि आप दो यादृच्छिक संख्याएँ चुनते हैं, तो वे किसी अजीब, पूर्व-निर्etermined पैटर्न में बंधी नहीं होनी चाहिए।" यह नियम स्वाभाविक रूप से "एक्सिओम ऑफ चॉइस" और उससे पैदा होने वाले अजीब सेटों को खत्म कर देता है।
स्तंभ C: अनंत सीढ़ी को रोकें। मानक गणित में, आप अनंत काल तक बड़ी और बड़ी अनंतताएँ बनाते रह सकते हैं। लेखक कहते हैं, "रुक जाओ।" वे एक ऐसा मॉडल प्रस्तावित करते हैं जहाँ हम केवल उतना ही ऊपर जाते हैं जितना वास्तविक संख्याओं और उनके उपसमुच्चयों (subsets) को संभालने के लिए आवश्यक है, और हम उन "अलौकिक" अनंतताओं तक पहुँचने से पहले रुक जाते जिनका कोई भौतिक अर्थ नहीं है।

3. दो मॉडल: "मानक" और "न्यूनतमवादी" (Minimalist)

यह शोध पत्र इस नए आधार को देखने के दो तरीके बताता है:

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

4. यह क्यों महत्वपूर्ण है

लेखक यह नहीं चाह रहे हैं कि भौतिक विज्ञानी या इंजीनियर अपना काम कैसे करें। वे उस गणितज्ञ के लिए एक "स्वच्छ" ऑपरेटिंग सिस्टम पेश कर रहे हैं जो संख्याओं और आकृतियों की प्रकृति का अध्ययन करता है।

पुराना तरीका: एक शक्तिशाली लेकिन अव्यवज़ित इंजन (ZFC) का उपयोग करता है जो कभी-कभी "भूत" पैदा करता है और कुछ प्रश्नों को अनुत्तरित छोड़ देता है।
नया तरीका: एक विशेष इंजन का उपयोग करता है जो यादृच्छिकता और वास्तविकता पर निर्मित है। यह भूतों को हटा देता है, यह सुनिश्चित करता है कि संख्याओं के प्रत्येक सेट का एक स्पष्ट आकार हो, और गारंटी देता है कि गणित के हर प्रश्न का एक 'सही' या 'गलत' उत्तर होता है।

सारांश

इस वर्तमान नींव को एक विशाल, अराजक पुस्तकालय के रूप में समझें जहाँ कुछ किताबें अदृश्य स्याही से लिखी गई हैं और कुछ अलमारियाँ हवा में तैर रही हैं। ममफोर्ड और फ्रीडमैन कह रहे हैं: "आइए हम उन किताबों के लिए एक नया पुस्तकालय बनाएँ जिन्हें हम वास्तव में पढ़ते हैं (वास्तविक संख्याएँ)। हम अदृश्य स्याही (एक्सिओम ऑफ चॉइस) और तैरती हुई अलमारियों (अजीब अनंतता) को बाहर निकाल देंगे। हमारे नए पुस्तकालय में, हर किताब दृश्यमान होगी, हर अलमारी ठोस होगी, और हर कहानी का एक स्पष्ट अंत होगा।"

वे सिद्ध करते हैं कि इस नए पुस्तकालय को बनाना संभव है, बशर्ते हम अनंतता की प्रकृति के बारे में कुछ तर्कसंगत धारणाओं को स्वीकार करें, और यह गणित के "मूल" (core) के लिए एक बहुत अधिक संतोषजनक घर प्रदान करता है।

तकनीकी सारांश: मूल गणितज्ञ के लिए एक आधार

समस्या विवरण
लेखक, डेविड ममफोर्ड और सी-डेविड फ्रीडमैन, यह तर्क देते हैं कि मानक ज़र्मेलो-फ्रेंकेल सेट थ्योरी विद चॉइस (ZFC) गणितीय अनुसंधान के "मूल" (core) के लिए एक अपर्याप्त आधार है। जबकि ZFC व्यापक रूप से स्वीकृत है, लेखक तर्क देते हैं कि यह एक "दृढ़ और निश्चित" आधार प्रदान करने में विफल रहता है क्योंकि यह मॉडलों की एक प्रचुरता (मल्टीवर्स दृष्टिकोण) को स्वीकार करता है और अनगिनत चॉइस (Axiom of Choice - AC) का उपयोग उन तरीकों से करता है जो गैर-रचनात्मक (non-constructive), "अवास्तविक" सेट उत्पन्न करते हैं (जैसे, बानाच-टारस्की विरोधाभास या गैर-मापन योग्य सेटों के माध्यम से)। इसके अलावा, वास्तविक संख्याओं के एक अद्वितीय ब्रह्मांड में प्लैटोनिस्ट विश्वास को निरंतरता परिकल्पना (Continuum Hypothesis) की स्वतंत्रता और बड़े कार्डिनल एक्सिओम्स के अस्तित्व द्वारा कमजोर किया जाता है।

यह शोध पत्र प्रतिपादित करता है कि गणितीय अनुभव का "केंद्रीय कोर" प्राकृतिक संख्याओं ( $\mathbb{N}$ ), वास्तविक संख्याओं ( $\mathbb{R}$ ), और उनसे व्युत्पन्न संरचनाओं से संबंधित है। लेखक एक ऐसे आधार की खोज करते हैं जो:

$\mathbb{R}$ को एक दिए गए, "वास्तविक दुनिया" के ऑब्जेक्ट के रूप में मानता है (केवल $\mathbb{R}$ के लिए एक प्लैटोनिस्टिक दृष्टिकोण, न कि मनमाने सेटों के लिए)।
यह सुनिश्चित करता है कि इस कोर में सभी अनुमानों (conjectures) का एक निश्चित सत्य मान हो (एक अद्वितीय मॉडल)।
अनगिनत चॉइस (uncountable Choice) द्वारा उत्पन्न विकृतियों (pathologies) से बचता है, जबकि मानक विश्लेषण के लिए पर्याप्त शक्ति बनाए रखता है।

कार्यप्रणाली और एक्सिओमैटिक ढांचा
शोध पत्र एक विशिष्ट एक्सिओमैटिक सिस्टम $T$ और इसे साकार करने के लिए दो अलग-अलग मॉडलों का प्रस्ताव करता है।

1. एक्सिओम्स ( $T$ ):
प्रस्तावित सिस्टम $T$ को $(ZF^-) + \mathbb{R} + A^{\text{null}}_N + DC$ के रूप में परिभाषित किया गया है।

$ZF^-$ : पावर सेट एक्सिओम के बिना और अनगिनत चॉइस के बिना ज़र्मेलो-फ्रेंकेल सेट थ्योरी। इसमें एक्सटेंशनैलिटी (Extensionality), फाउंडेशन (Foundation), पेयरिंग (Pairing), यूनियन (Union), इनफिनिटी (Infinity), कॉम्प्रिहेन्शन (Comprehension), कलेक्शन (Collection), और रिप्लेसमेंट (Replacement) शामिल हैं।
दिया गया $\mathbb{R}$ : वास्तविक संख्याओं के सेट को एक मौलिक, दी गई इकाई के रूप में लिया गया है, जो भौतिक सातत्य (physical continuum) का मॉडल बनाती है।
फ्रीलिंग का एक्सिओम ( $A^{\text{null}}_N$ ): यह केंद्रीय नवाचार है। स्वतंत्र रैंडम वेरिएबल्स और सापेक्षता सिद्धांत (सूचना रिसाव को रोकने के लिए) से जुड़े एक "डार्ट-थ्रोइंग" (dart-throwing) विचार प्रयोग पर आधारित, यह दावा करता है कि किसी भी फलन $f: [0,1]^{\mathbb{N}} \to \mathcal{N}$ $f : [0, 1]^{N} \to N$ (अनुक्रमों को नल सेट्स में मैप करने वाला) के लिए, स्वतंत्र रैंडम रियल $\{x_i\}$ ${x_{i}}$ का एक अनुक्रम मौजूद है ताकि सभी $i$ $i$ के लिए $x_i \notin f(\sigma(i))$ $x_{i} \in / f (σ (i))$ हो।
- परिणाम: यह एक्सिओम अनगिनत चॉइस (uncountable Axiom of Choice) का खंडन करता है। यह निहित करता है कि $\mathbb{R}$ को सुव्यवस्थित (well-ordered) नहीं किया जा सकता है और निरंतरता परिकल्पना (Continuum Hypothesis) असत्य है।
डिपेंडेंट चॉइस (Dependent Choice - DC): सिस्टम डिपेंडेंट चॉइस (बर्नेज़ द्वारा प्रस्तुत) को बनाए रखता है, जो अधिकांश मानक विश्लेषण (जैसे, बेयर कैटेगरी थ्योरम, लिमिट्स का अस्तित्व) के लिए पर्याप्त है, लेकिन पूर्ण AC से कमजोर है।

2. प्रस्तावित मॉडल ( $M$ ):
लेखक एक मॉडल $M = L_{\alpha^*}(\mathbb{R})$ का निर्माण करते हैं, जहाँ सेट $\mathbb{N}$ और $\mathbb{R}$ से एक विशिष्ट ऑर्डिनल $\alpha^*$ तक ट्रांसफाइनाइट इंडक्शन के माध्यम से निर्मित होते हैं।

निर्माण: $L_0(\mathbb{R}) = \mathbb{R}$ से शुरू करते हुए, मॉडल परिभाषित सेटों को पुनरावर्तित (iterate) करता है।
सीमा $\alpha^*$ : इंडक्शन वहां रुक जाता है जहाँ पहला "पूर्ण $\mathbb{R}$ -एडमिसेबल ऑर्डिनल" ( $\alpha_{ZF^-}$ ) मिलता है, जिसे उस बिंदु के रूप में परिभाषित किया गया है जहाँ $\mathbb{R}$ के नए उपसमुच्चय (subsets) उत्पन्न नहीं होते हैं ( $L_{\alpha^*}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R}) = L_{\alpha^*+1}(\mathbb{R}) \cap \mathcal{P}(\mathbb{R})$ )।
गुण: इस मॉडल में, प्रत्येक कथन का एक "ग्राउंड ट्रुथ" होता है। यह मॉडल $ZF^-$ , $DC$, और फ्रीलिंग के एक्सिओम को संतुष्ट करता है। ऐसे मॉडल का अस्तित्व ZFC और एक इनैसेसिबल कार्डिनल (inaccessible cardinal) के सामंजस्य (consistency) से प्राप्त होता है।

3. मिनिमलिस्ट विकल्प (सोलोवे का मॉडल):
यह शोध पत्र रॉबर्ट सोलोवे के मॉडल पर आधारित एक "मिनिमलिस्ट" आधार पर भी चर्चा करता है, जो एक इनैसेसिबल कार्डिनल के साथ ZF की सामंजस्यता को मानता है।

निर्माण: एक गणनीय ट्रांसिटिव मॉडल (countable transitive model) बनाया जाता है जहाँ $\mathbb{R}$ के सभी उपसमुच्चय लेबेग मापने योग्य (Lebesgue measurable) हैं और उनमें बेयर प्रॉपर्टी (Baire property) है।
पूर्णता: लेखक एक थ्योरी $T^*$ (जो $T$ का विस्तार है) को परिभाषित करते हैं जिसमें एक "मिनिमलिटी प्रॉपर्टी" और एक जेनेरिक सेट $G$ शामिल है। वे दावा करते हैं कि $T^*$ के किन्हीं भी दो वेल-फाउंड मॉडल्स में समान प्रथम-क्रम वाक्य (first-order sentences) होते हैं। यह वेल-फाउंड मॉडल्स के लिए पूर्णता का एक रूप प्रदान करता है, जो बड़े, इल-फाउंडेड सेट्स को खारिज करने वाले गणितज्ञों के लिए गोडेलियन अपूर्णता के विरुद्ध एक उपचार के रूप में कार्य करता है।

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

अनगिनत चॉइस का खंडन: यह शोध पत्र औपचारिक रूप से अनगिनत चॉइस को फ्रीलिंग के संभाव्यता एक्सिओम $A^{\text{null}}_N$ से बदल देता है, यह तर्क देते हुए कि दूसरा अधिक सहज है और गैर-मापन योग्य सेटों के निर्माण से बचता है।
सेकंड-ऑर्डर अरिथमेटिक का परिशोधन: यह स्वीकार करते हुए कि सेकंड-ऑर्डर अरिथमेटिक ( $Z_2$ ) विश्लेषण के अधिकांश भाग के लिए पर्याप्त है, लेखक तर्क देते हैं कि यह सीधे तौर पर सभी बोरेल सेटों या टोपोलॉजिकल स्पेस को परिभाषित करने के लिए अपर्याप्त है। उनका प्रस्तावित मॉडल $Z_2$ को $\mathbb{R}$ को स्पष्ट रूप से शामिल करके और $\alpha^*$ तक निर्माणों की अनुमति देकर विस्तारित करता है।
कार्डिनैलिटी लिम्बो (Cardinality Limbo): यह पेपर अपने मॉडल की एक अनूठी विशेषता को उजागर करता है: जबकि $\mathbb{R}$ से $\omega_1$ (प्रथम अनगिनत ऑर्डिनल) पर एक सरजेक्शन (surjection) है, फ्रीलिंग के एक्सिओम के कारण कोई बायजेक्शन (bijection) नहीं है। अतः, $\omega_1$ मौजूद है लेकिन $\mathbb{R}$ के साथ स्पष्ट कार्डिनैलिटी संबंध का अभाव है, जो मानक ZFC से भिन्न एक "लिम्बो" में मौजूद है।
सामंजस्य प्रमाण (Consistency Proofs): लेखक प्रदर्शित करते हैं कि उनके एक्सिओम्स एक इनैसेसिबल कार्डिनल के अस्तित्व के सापेक्ष सुसंगत हैं। वे अपने सिस्टम $T$ (और मजबूत $T^*$ ) की सामंजस्यता दिखाने के लिए सोलोवे की फोर्सिंग तकनीकों का उपयोग करते हैं कि यदि ZFC + Inaccessible सुसंगत है, तो उनका सिस्टम $T$ भी सुसंगत है।

महत्व और दावे
शोध पत्र का दावा है कि यह विशेष रूप से "मूल गणितज्ञ" के लिए एक "बेहतर आधार" प्रदान करता है—वे जो वास्तविक संख्याओं, पूर्णांकों और उनसे प्राप्त संरचनाओं (जैसे, विश्लेषण, PDEs, बानाच स्पेस) के साथ काम करते हैं।

निश्चितता: प्राथमिक दावा "दृढ़ और निश्चित" आधार की बहाली है जहाँ सभी अनुमानों का एक अद्वितीय उत्तर होता है, जो सेट थ्योरी के "मल्टीवर्स" का मुकाबला करता है।
यथार्थवाद: अपने आधार को रैंडम वेरिएबल्स (फ्रीलिंग का एक्सिओम) की भौतिक अंतर्ज्ञान और $\mathbb{R}$ की दी गई प्रकृति में स्थापित करके, लेखक तर्क देते हैं कि उनका आधार पूर्ण ZFC की अमूर्त, गैर-रचनात्मक प्रकृति की तुलना में उनके गणितीय अभ्यास के अधिक अनुरूप है।
अपूर्णता का उपचार: मिनिमलिस्ट फाउंडेशन ( $T^*$ ) को उन गणितज्ञों के लिए एक समाधान के रूप में प्रस्तुत किया गया है जो बड़े कार्डिनल्स की स्वतंत्रता घटनाओं से बचना चाहते हैं जबकि वास्तविक संख्याओं के लिए एक मजबूत सिद्धांत बनाए रखना चाहते हैं।

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

1. समस्या: "जादुई ट्रिक" वाली नींव

2. प्रस्ताव: वास्तविकता पर आधारित एक नींव

3. दो मॉडल: "मानक" और "न्यूनतमवादी" (Minimalist)

4. यह क्यों महत्वपूर्ण है

सारांश

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