💻 computer science

Fracterm Calculus for Partial Meadows

यह शोधपत्र आंशिक मीडोज़ (partial meadows) के लिए तीन-मूल्यीय शॉर्ट-सर्किट लॉजिक (three-valued short-circuit logic) का उपयोग करते हुए एक फ्रैक्टर्म कैलकुलस (fracterm calculus) प्रस्तुत करता है ताकि विभाजन वाले क्षेत्रों (fields with division) का एक स्वाभाविक औपचारिकीकरण प्रदान किया जा सके, यह प्रदर्शित करते हुए कि यद्यपि यह तर्क शून्य द्वारा विभाजन की अनिर्धारित प्रकृति को व्यक्त नहीं कर सकता है, फिर भी इसका परिणाम संबंध (consequence relation) अर्ध-संगणनीय (semi-computable) है और इसके $\bot$ -विस्तार (enlargements) सामान्य मीडोज़ (common meadows) उत्पन्न करते हैं।

मूल लेखक: Jan A. Bergstra, Alban Ponse

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

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

CC BY 4.0

मूल लेखक: Jan A. Bergstra, Alban Ponse

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

कल्पना कीजिए कि आप ब्रह्मांड के लिए एक आदर्श कैलकुलेटर बनाने की कोशिश कर रहे हैं। सदियों से, गणितज्ञों ने एक विशिष्ट गड़बड़ी (glitch) के साथ संघर्ष किया है: शून्य से विभाजन (division by zero)।

मानक गणित में, यदि आप 1 को 0 से विभाजित करने का प्रयास करते हैं, तो कैलकुलेटर क्रैश हो जाता है। यह कहता है "Error"। कंप्यूटर विज्ञान में, इसे अक्सर एक "पार्शियल फंक्शन" (partial function) के रूप में मॉडल किया जाता है—एक ऐसा फंक्शन जो अधिकांश समय काम करता है लेकिन कुछ विशेष इनपुट के लिए उत्तर देने से मना कर देता है।

जान ए. बर्गस्ट्रा और अल्बान पोनसे का यह शोध पत्र, ऐसे कैलकुलेटर के लिए "ऑपरेटिंग सिस्टम" लिखने का एक नया तरीका प्रस्तावित करता है। वे इसे फ्रैक्टर्म कैलकुलस फॉर पार्शियल मेडोज़ (Fracterm Calculus for Partial Meadows) कहते हैं। यहाँ उनके विचारों का रोजमर्रा के उदाहरणों के माध्यम से विवरण दिया गया है।

1. समस्या: "अनडिफाइंड" (अपरिभाषित) ब्लैक होल

सामान्य गणित में, हम मानते हैं कि प्रत्येक संख्या का एक मान होता है। लेकिन एक "पार्शियल मेडो" (Partial Meadow) में, $\frac{1}{0}$ एक ब्लैक होल है। इसका कोई अस्तित्व नहीं है। इसका कोई मान नहीं है।

लेखक एक पेचीदा तार्किक समस्या की ओर संकेत करते हैं:

यदि आप पूछते हैं, "क्या $\frac{1}{0}$ बराबर है $\frac{1}{0}$ के?"
मानक तर्क में, आप कहेंगे "हाँ, वे एक ही अपरिभाषित चीज़ हैं।"
लेकिन इस नए सिस्टम में, चूंकि $\frac{1}{0}$ का कोई मान नहीं है, तो सवाल "क्या यह अपने आप के बराबर है?" भी अर्थहीन है। यह न तो सत्य (True) है और न ही असत्य (False); यह अपरिभाषित (Undefined) है।

इसे संभालने के लिए, लेखक एक तीन-मूल्य वाला तर्क (Three-Valued Logic) पेश करते हैं। केवल True और False के बजाय, वे एक तीसरा राज्य जोड़ते हैं: अपरिभाषित (Undefined) या "कोई मान नहीं" (No Value)।

2. समाधान: "शॉर्ट-सर्किट" स्विच

इस पेपर का सबसे बड़ा नवाचार यह है कि वे तर्क (logic) को तब कैसे संभालते हैं जब चीजें गलत होती हैं। वे शॉर्ट-सर्किट लॉजिक (Short-Circuit Logic) का उपयोग करते हैं (जिससे कंप्यूटर प्रोग्रामर कोड लिखते हैं)।

उपमा: लाइट स्विच
कल्पना कीजिए कि एक गलियारे में दो लाइट स्विच एक पंक्ति में हैं।

स्विच A: "क्या दरवाजा खुला है?"
स्विच B: "क्या लाइट चालू है?"

एक मानक तर्क प्रणाली में, आप यह तय करने के लिए कि कथन "दरवाजा खुला है और लाइट चालू है" सत्य है या नहीं, दोनों स्विचों की जांच करते हैं।

लेखकों के शॉर्ट-सर्किट लॉजिक में, आप उन्हें एक-एक करके, बाएं से दाएं देखते हैं।

यदि स्विच A (दरवाजा खुला है) False है, तो आप तुरंत रुक जाते हैं। आप स्विच B को चेक करने की जहमत भी नहीं उठाते। पूरा कथन False है।
आप दूसरा सवाल कभी नहीं पूछते यदि पहला सवाल ही बातचीत को खत्म कर दे।

यह गणित के लिए क्यों मायने रखता है?
इस वाक्य पर विचार करें: "यदि $x$ शून्य नहीं है, तो $\frac{x}{x} = 1$ ।"

यदि $x = 0$ है, तो पहला भाग (" $x$ शून्य नहीं है") False है।
शॉर्ट-सर्किट के कारण, सिस्टम वहीं रुक जाता है। यह $\frac{0}{0}$ की गणना करने का प्रयास कभी नहीं करता।
यह वाक्य स्वतः ही सत्य (True) या वैध माना जाता है क्योंकि शर्त विफल हो गई, इसलिए खतरनाक हिस्से को कभी छुआ ही नहीं गया।

यह लेखकों को ऐसे नियम लिखने की अनुमति देता है जो सामान्य गणित की तरह दिखते हैं लेकिन बिना पूरे सिस्टम को क्रैश किए "ब्लैक होल्स" (शून्य से विभाजन) को सुरक्षित रूप से अनदेखा करते हैं।

3. "पार्शियल मेडो" (Partial Meadow)

लेखक एक संरचना को परिभाषित करते हैं जिसे पार्शियल मेडो (Partial Meadow) कहा जाता है।

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

4. "जादुई ट्रिक": छेदों को एक नए नंबर में बदलना

यह पेपर इस सिस्टम को अध्ययन के लिए आसान बनाने के लिए एक चतुर ट्रिक की भी खोज करता है। वे एक विशेष प्लेसहोल्डर प्रतीक, $\perp$ (जिसे "बॉटम" या "एब्जॉर्प्टिव एलिमेंट" कहा जाता है) पेश करते हैं।

रूपांतरण: वे अपने "पार्शियल मेडो" (छेदों के साथ) को लेते हैं और हर छेद को इस नए प्रतीक $\perp$ से भर देते हैं।
परिणाम: अब, एक ऐसे फंक्शन के बजाय जो "काम नहीं करता", आपके पास एक ऐसा फंक्शन है जो हमेशा काम करता है, लेकिन कभी-कभी $\perp$ का विशेष उत्तर देता है।
उपमा: एक वेंडिंग मशीन की कल्पना करें।
- पुराना तरीका: यदि आप इसमें टूटा हुआ सिक्का डालते हैं, तो मशीन जाम हो जाती है (undefined)।
- नया तरीका: यदि आप इसमें टूटा हुआ सिक्का डालते हैं, तो मशीन एक "टूटा हुआ सिक्का" टोकन बाहर निकाल देती है। मशीन कभी जाम नहीं होती; वह बस त्रुटि के लिए एक विशिष्ट टोकन देती है।

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

5. वे वास्तव में क्या दावा करते हैं

यह पेपर तीन विशिष्ट, ठोस दावे करता है:

शॉर्ट-सर्किट लॉजिक सबसे अच्छा है: वे तर्क देते हैं कि इस प्रकार का "बाएं-से-दाएं" वाला तर्क शून्य से विभाजन वाले गणित को संभालने का सबसे स्वाभाविक तरीका है। यह सिस्टम को असंभव गणना करने से रोकता है।
एक पूर्ण नियम पुस्तिका: उन्होंने नियमों का एक पूर्ण सेट लिखा है जिसे FTCpm कहा जाता है जो पूरी तरह से बताता है कि ये "पार्शियल मेडोज़" कैसे व्यवहार करते हैं। यदि कोई कथन इन सभी सिस्टमों में सत्य है, तो उसे उनके नियमों का उपयोग करके सिद्ध किया जा सकता है।
संबंध: वे दिखाते हैं कि आप $\perp$ टोकन का उपयोग करके उनके "छेद" वाले तर्क को मानक तर्क में बदल सकते हैं। यह सिद्ध करता है कि उनका सिस्टम कंप्यूट करने योग्य (computable) है (सिद्धांत रूप में, एक कंप्यूटर सभी प्रमाणों की जांच कर सकता है)।

सारांश

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

तकनीकी सारांश: आंशिक मीडोज़ के लिए फ्रैक्टर्म कैलकुलस (Fracterm Calculus for Partial Meadows)

समस्या विवरण
यह शोध पत्र प्राथमिक अंकगणित के औपचारिककरण (formalization) को संबोधित करता है जिसमें भाग (division) शामिल है, विशेष रूप से तब जब भाग को एक आंशिक फलन (partial function) के रूप में माना जाता है (जब हर शून्य होता है तो अपरिभाषित)। पारंपरिक दृष्टिकोण अक्सर भाग को पूर्ण (totalize) कर देते हैं (अर्थात $x/0$ को एक मान निर्दिष्ट करते हैं) या शास्त्रीय द्वि-मूल्यीय तर्क (two-valued logic) पर निर्भर करते हैं, जो $1/0 = 1/0$ जैसे व्यंजकों को कृत्रिम सत्य मानों के बिना संभालने में संघर्ष करता है। लेखक तर्क देते हैं कि एक आंशिक बीजगणितीय दृष्टिकोण, जहाँ $1/0$ एक वैध वाक्यात्मक पद (एक "फ्रैक्टर्म") है लेकिन उसमें कोई मान नहीं है, के लिए एक विशिष्ट तार्किक ढांचे की आवश्यकता होती है। मानक स्ट्रॉन्ग क्लीनी लॉजिक (strong Kleene logic) को अपर्याप्त माना गया है क्योंकि इसमें उन अनुक्रमिक मूल्यांकन गुणों का अभाव है जो अपरिभाषित उप-व्यंजकों के मूल्यांकन (जैसे, वियोजन (disjunction) $3/0 = 2 \lor 3 = 3$ में $3/0$ का मूल्यांकन करना) को रोकने के लिए आवश्यक हैं।

कार्यप्रणाली
लेखक एक तीन-मूल्यीय, शॉर्ट-सर्किट (sequential) प्रथम-कोटि तर्क (first-order logic) का उपयोग करते हैं, जिसे $L_{sfol}(\Sigma)$ कहा जाता है, जो कंडीशनल शॉर्ट-सर्किट लॉजिक (C $\ell$ SCL) पर आधारित है। यह तर्क अनुक्रमिक संयोजकों ( $\land_{rb}$ , $\lor_{rb}$ , $\to_{b}$ ) का उपयोग करता है जो बाएं से दाएं ऑपरेंड का मूल्यांकन करते हैं, और यदि पहले ऑपरेंड द्वारा परिणाम निर्धारित हो जाता है, तो मूल्यांकन को शॉर्ट-सर्किट कर देते हैं।

कार्यप्रणाली तीन मुख्य चरणों में आगे बढ़ती है:

तार्किक आधार: शोध पत्र आंशिक बीजगणित (partial algebras) के लिए एक इंडक्टिव टार्स्की सिमेंटिक्स (inductive Tarski semantics) का उपयोग करके इस तर्क के अर्थ विज्ञान (semantics) को परिभाषित करता है। यह "आंशिक समानता" ( $=_{p}$ ) को पेश करता है, जो अपरिभाषित होने पर अपरिभाषित है, और "निषेध असमानता" ( $\neq_{p}$ ) को पेश करता है।
स्वयंसिद्धीकरण (FTC $_{pm}$ ): लेखक "फ्रैक्टर्म कैलकुलस फॉर पार्शियल मीडोज़" (FTC $_{pm}$ ) प्रस्तावित करते हैं। यह परिभाषित तर्क का उपयोग करके आंशिक मीडोज़ (वे क्षेत्र जिनमें एक आंशिक भाग ऑपरेटर होता है) का एक विनिर्देश (specification) है। स्वयंसिद्धों (axioms) में मानक रिंग स्वयंसिद्ध, आंशिक समानता के विशिष्ट नियम (weak substitution), और गैर-शून्य होने की स्थिति में भाग के लिए सशर्त शॉर्ट-सर्किट निहितार्थ (implication) शामिल हैं।
सिमेंटिक ट्रांसलेशन ( $\perp$ -एन्लार्जमेंट): इस आंशिक तर्क की गणनात्मकता (computability) और प्रमाण-सिद्धांतिक गुणों का विश्लेषण करने के लिए, लेखक इसे मानक प्रथम-कोटि तर्क में अनुवादित करते हैं। वे एक आंशिक बीजगणित का $\perp$ -एन्लार्जमेंट (enlargement) परिभाषित करते हैं, जो डोमेन में एक अवशोषक तत्व $\perp$ (जो "कोई मान नहीं" को दर्शाता है) जोड़ता है। एक रूपांतरण फलन $\psi_{true}$ आंशिक तर्क से मानक प्रथम-कोटि सूत्रों को विस्तारित सिग्नेचर पर सूत्रों में मैप करता है।

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

शॉर्ट-सर्किट लॉजिक का औचित्य: शोध पत्र स्थापित करता है कि शॉर्ट-सर्किट लॉजिक, आंशिक मीडोज़ के लिए सबसे स्वाभाविक औपचारिकता है। यह प्रदर्शित करता है कि वैकल्पिक तर्क (जैसे, स्ट्रॉन्ग क्लीनी) वियोजनों में अपरिभाषित पदों के मूल्यांकन को रोकने में विफल रहते हैं, जबकि शॉर्ट-सर्किट लॉजिक $x \neq_{p} 0 \to_{b} x/x =_{p} 1$ जैसे दावों को बिना $0/0$ का मूल्यांकन किए स्वाभाविक रूप से संभालता है।
पूर्ण स्वयंसिद्धीकरण (FTC $_{pm}$ ): लेखक आंशिक मीडोज़ के वर्ग के लिए एक पूर्ण स्वयंसिद्धीकरण (FTC $_{pm}$ ) प्रदान करते हैं। वे आंशिक मीडोज़ के वर्ग के संबंध में अपने स्वयंसिद्धों की वैधता (soundness) और पूर्णता (completeness) को सिद्ध करते हैं। एक प्रमुख परिणाम "कंडीशनल फ्रैक्टर्म फ्लैटनिंग" (conditional fracterm flattening) है, जो यह दिखाता है कि किसी भी पद को एक फ्लैट फ्रैक्टर्म (दो भाग-रहित पदों का एक एकल भाग) में बदला जा सकता है, इस शर्त के तहत कि हर (denominator) परिभाषित है।
अभिव्यक्ति की सीमाएं: शोध पत्र एक महत्वपूर्ण नकारात्मक परिणाम सिद्ध करता है: यह तर्क यह व्यक्त नहीं कर सकता कि शून्य से भाग देना अपरिभाषित है। हालांकि यह तर्क आंशिकता को मॉडल करता है, यह एक आंशिक मीडोज़ और उसके पूर्ण संस्करण (जैसे, जहाँ $x/0 = 0$ ) के बीच वाक्यात्मक रूप से अंतर नहीं कर सकता है क्योंकि तर्क अपरिभाषित पदों को शास्त्रीय सत्य मान के बिना मानता है, जिससे वे कुछ संदर्भों में पूर्णीकृत पदों के समान ही होते हैं।
गणना और प्रमाण सिद्धांत: $\perp$ -एन्लर्ज्ड बीजगणितों के प्रथम-कोटि तर्क में अपने शॉर्ट-सर्किट तर्क की व्याख्या करके, लेखक प्रदर्शित करते हैं कि आंशिक तर्क के लिए परिणाम संबंध (consequence relation) अर्ध-संगणनीय (semi-computable) है। यह व्याख्या प्रभावी रूप से आंशिक तर्क के लिए एक प्रमाण प्रणाली प्रदान करती है।
सामान्य मीडोज़ के साथ संबंध: शोध पत्र आंशिक मीडोज़ और "सामान्य मीडोज़" (वे क्षेत्र जिनमें एक पूर्ण भाग ऑपरेटर होता है जहाँ $x/0 = \perp$ ) के बीच एक सेतु स्थापित करता है। यह दिखाता है कि एक आंशिक मीडोज़ का $\perp$ -एन्लार्जमेंट एक सामान्य मीडोज़ है। इसके अलावा, FTC $_{pm}$ के स्वयंसिद्धों पर $\psi_{true}$ रूपांतरण लागू करने से सामान्य मीडोज़ (FTC $_{cm}$ ) के स्वयंसिद्ध प्राप्त होते हैं, जो सिद्ध करता है कि आंशिक मीडोज़ का स्वयंसिद्धीकरण सामान्य मीडोज़ के सिद्धांत को उत्पन्न करने के लिए पर्याप्त रूप से मजबूत है।

महत्व और दावे
शोध पत्र का दावा है कि यह "भाग ऑपरेटर वाले क्षेत्रों का एक अत्यंत स्वाभाविक औपचारिकीकरण" प्रदान करता है जो कृत्रिम पूर्णता (totalization) का सहारा लिए बिना भाग की आंशिक प्रकृति का सम्मान करता है। इसका प्राथमिक महत्व निम्नलिखित में निहित है:

एक कठोर तार्किक ढांचा (शॉर्ट-सर्किट लॉजिक) प्रदान करना, जिसका उपयोग उन आंशिक डेटा प्रकारों के बारे में तर्क करने के लिए किया जाता है जहाँ अपरिभास (undefinedness) एक संरचनात्मक विशेषता है, न कि एक त्रुटि अवस्था जिसे टाला जाना चाहिए।
एक पूर्ण स्वयंसिद्धीकरण (FTC $_{pm}$ ) प्रदान करना जो अपरिभाषित पदों को सही ढंग से संभालते हुए मानक अंकगणितीय गुणों को व्युत्पन्न करने की अनुमति देता है।
यह प्रदर्शित करना कि आंशिक मीडोज़ के मॉडल सिद्धांत को $\perp$ -एन्लार्जमेंट के माध्यम से सामान्य मीडोज़ के मॉडल सिद्धांत में घटाया (reduce) जा सकता है, जिससे आंशिक और पूर्ण बीजगणितीय दृष्टिकोणों को जोड़ा जा सके।
यह स्थापित करना कि इस तर्क के लिए परिणाम संबंध अर्ध-संगणनीय है, जो यह सुझाव देता है कि आंशिक बीजगणित के लिए एक प्रमाण सिद्धांत व्यवहार्य है।

लेखक स्पष्ट रूप से कहते हैं कि उनका ध्यान "स्वयंसिद्ध पूर्णता" (वर्ग के लिए स्वयंसिद्धों का एक पूर्ण सेट प्रदान करना) पर है, न कि "तार्किक पूर्णता" (तर्क के लिए प्रमाण प्रणाली की पूर्णता) पर, और वे इस बात पर जोर देते हैं कि यह शोध पत्र बाहरी प्रमाण-सिद्धांतिक विचारों से स्वतंत्र, प्रेरणा और गणितीय सामग्री के संबंध में स्व-निहित (self-contained) है।