गणनीय संख्या: Difference between revisions
From Vigyanwiki
No edit summary |
No edit summary |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{short description|Real number that can be computed within arbitrary precision}} | {{short description|Real number that can be computed within arbitrary precision}} | ||
[[File:10,000 digits of pi - poster.svg|thumb| π की गणना एकपक्षीय परिशुद्धता के लिए की जा सकती है, जबकि [[लगभग हर|लगभग प्रत्येक]] वास्तविक संख्या की गणना नहीं की जा सकती है।]][[गणित]] में, | [[File:10,000 digits of pi - poster.svg|thumb| π की गणना एकपक्षीय परिशुद्धता के लिए की जा सकती है, जबकि [[लगभग हर|लगभग प्रत्येक]] वास्तविक संख्या की गणना नहीं की जा सकती है।]][[गणित]] में, '''गणनीय संख्याएँ''' [[वास्तविक संख्या]]एँ होती हैं, जिनकी गणना परिमित, समाप्ति [[कलन विधि]] द्वारा किसी भी वांछित परिशुद्धता के अंदर की जा सकती है। उन्हें पुनरावर्ती संख्याओं, प्रभावी संख्याओं{{sfnp|van der Hoeven|2006}} या गणनीय वास्तविक या पुनरावर्ती वास्तविक के रूप में भी जाना जाता है।{{cn|reason=Give a source for each naming variant.|date=September 2019}} गणनीय वास्तविक संख्या की अवधारणा [[एमिल बोरेल]] द्वारा 1912 में उस समय उपलब्ध अभिकलनीयता की अंतःप्रज्ञात्मक धारणा का उपयोग करके प्रस्तुत की गई थी।<ref>P. Odifreddi, ''Classical Recursion Theory'' (1989), p.8. North-Holland, 0-444-87295-7</ref> | ||
एल्गोरिदम के औपचारिक प्रतिनिधित्व के रूप में μ-पुनरावर्ती फलन, [[ट्यूरिंग मशीनें|परिगणन (ट्यूरिंग) मशीनें]], या | एल्गोरिदम के औपचारिक प्रतिनिधित्व के रूप में μ-पुनरावर्ती फलन, [[ट्यूरिंग मशीनें|परिगणन (ट्यूरिंग) मशीनें]], या λ-गणना का उपयोग करके समतुल्य परिभाषाएं दी जा सकती हैं। गणनीय संख्याएं [[वास्तविक बंद क्षेत्र|वास्तविक संवृत क्षेत्र]] बनाती हैं और वास्तविक संख्याओं के स्थान पर कई गणितीय उद्देश्यों के लिए नहीं बल्कि अधिक के लिए उपयोग की जा सकती हैं।। | ||
== उदाहरण के रूप में | == उदाहरण के रूप में परिगणन युक्ति का उपयोग करके अनौपचारिक परिभाषा == | ||
निम्नलिखित में, [[मार्विन मिंस्की]] ने 1936 में [[एलन ट्यूरिंग|एलन परिगणन]] द्वारा परिभाषित किए गए तरीकों के समान गणना की जाने वाली संख्याओं को परिभाषित किया;{{sfnp|Turing|1936}} अर्थात, 0 और 1 के बीच दशमलव अंशों के रूप में व्याख्या किए गए अंकों के अनुक्रम के रूप में:{{sfnp|Minsky|1967}} | निम्नलिखित में, [[मार्विन मिंस्की]] ने 1936 में [[एलन ट्यूरिंग|एलन परिगणन]] द्वारा परिभाषित किए गए तरीकों के समान गणना की जाने वाली संख्याओं को परिभाषित किया;{{sfnp|Turing|1936}} अर्थात, 0 और 1 के बीच दशमलव अंशों के रूप में व्याख्या किए गए अंकों के अनुक्रम के रूप में:{{sfnp|Minsky|1967}} | ||
{{quote|text=संगणनीय संख्या [है] जिसके लिए | {{quote|text=संगणनीय संख्या [है] जिसके लिए परिगणन युक्ति है, जो कि इसके प्रारंभिक टेप पर ''n'' दी गई है, उस संख्या के ''n'' वें अंक के साथ समाप्त होती है [इसके टेप पर एन्कोडेड]।}} | ||
( | परिभाषा में मुख्य धारणाएं हैं (1) कि कुछ n प्रारंभ में निर्दिष्ट हैं, (2) किसी भी n के लिए गणना केवल परिमित संख्या के चरण होते है, जिसके बाद यंत्र वांछित निर्गम उत्पन्न करती है और समाप्त हो जाती है। | ||
हालांकि यह आधुनिक परिभाषा नहीं है जिसके लिए किसी भी परिशुद्धता के अंदर केवल परिणाम की आवश्यकता होती है। उपरोक्त अनौपचारिक परिभाषा | (2) का एक वैकल्पिक रूप - यंत्र क्रमिक रूप से अपने टेप पर सभी n अंकों को मुद्रित करती है, nवें को मुद्रित करने के बाद रुकने से मिंस्की के अवलोकन पर जोर देती है: (3) कि परिगणन युक्ति के उपयोग से, परिमित परिभाषा के रूप में यंत्र की अवस्था सारणी का उपयोग दशमलव अंकों की संभावित अनंत शृंखला को परिभाषित करने के लिए किया जा रहा है। | ||
हालांकि यह आधुनिक परिभाषा नहीं है जिसके लिए किसी भी परिशुद्धता के अंदर केवल परिणाम की आवश्यकता होती है। उपरोक्त अनौपचारिक परिभाषा पूर्णांकन समस्या के अधीन है जिसे तालिका-निर्माता का विकल्प कहा जाता है जबकि आधुनिक परिभाषा नहीं है। | |||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
एक [[वास्तविक संख्या]] a 'गणना योग्य' है यदि इसे किसी गणना योग्य फलन द्वारा अनुमानित किया जा सकता है <math>f:\mathbb{N}\to\mathbb{Z}</math> निम्नलिखित तरीके से: किसी भी सकारात्मक [[पूर्णांक]] n को देखते हुए, फलन | एक [[वास्तविक संख्या]] a 'गणना योग्य' है यदि इसे किसी गणना योग्य फलन द्वारा अनुमानित किया जा सकता है <math>f:\mathbb{N}\to\mathbb{Z}</math> निम्नलिखित तरीके से: किसी भी सकारात्मक [[पूर्णांक]] n को देखते हुए, फलन पूर्णांक f(n) उत्पन्न करता है जैसे कि: | ||
:<math>{f(n)-1\over n} \leq a \leq {f(n)+1\over n}.</math> | :<math>{f(n)-1\over n} \leq a \leq {f(n)+1\over n}.</math> | ||
दो | इसी तरह की दो परिभाषाएँ हैं जो समकक्ष हैं: | ||
*एक | *एक गणनीय फलन सम्मिलित है, जो किसी भी सकारात्मक तर्कसंगत त्रुटि के लिए बाध्य है <math>\varepsilon</math>, एक परिमेय संख्या r उत्पन्न करता है जैसे कि <math>|r - a| \leq \varepsilon.</math> | ||
*परिमेय संख्याओं का | *परिमेय संख्याओं का गणनीय अनुक्रम है, <math>q_i</math> में अभिसरण <math>a</math> ऐसा है कि <math>|q_i - q_{i+1}| < 2^{-i}\,</math> प्रत्येक i के लिए | ||
गणनीय डेडेकिन्ड-कट के माध्यम से गणनीय संख्याओं की अन्य समतुल्य परिभाषा है। एक 'गणनीय [[डेडेकाइंड कट|डेडेकिन्ड-कट]]' एक गणनीय फलन <math>D\;</math> है जो परिमेय संख्या के साथ प्रदान किया जाता है <math>r</math> निविष्ट प्रतिफल के रूप में <math>D(r)=\mathrm{true}\;</math> या <math>D(r)=\mathrm{false}\;</math>, निम्नलिखित शर्तों को पूरा करना: | |||
:<math>\exists r D(r)=\mathrm{true}\;</math> | :<math>\exists r D(r)=\mathrm{true}\;</math> | ||
:<math>\exists r D(r)=\mathrm{false}\;</math> | :<math>\exists r D(r)=\mathrm{false}\;</math> | ||
:<math>(D(r)=\mathrm{true}) \wedge (D(s)=\mathrm{false}) \Rightarrow r<s\;</math> | :<math>(D(r)=\mathrm{true}) \wedge (D(s)=\mathrm{false}) \Rightarrow r<s\;</math> | ||
:<math>D(r)=\mathrm{true} \Rightarrow \exist s>r, D(s)=\mathrm{true}.\;</math> | :<math>D(r)=\mathrm{true} \Rightarrow \exist s>r, D(s)=\mathrm{true}.\;</math> | ||
क्रमादेश D द्वारा एक उदाहरण दिया गया है जो 3 के [[घनमूल]] को परिभाषित करता है। मान लीजिए <math>q>0\;</math> के द्वारा परिभाषित किया गया है: | |||
:<math>p^3<3 q^3 \Rightarrow D(p/q)=\mathrm{true}\;</math> | :<math>p^3<3 q^3 \Rightarrow D(p/q)=\mathrm{true}\;</math> | ||
:<math>p^3>3 q^3 \Rightarrow D(p/q)=\mathrm{false}.\;</math> | :<math>p^3>3 q^3 \Rightarrow D(p/q)=\mathrm{false}.\;</math> | ||
एक वास्तविक संख्या की गणना तभी की जा सकती है जब और केवल तभी जब कोई | एक वास्तविक संख्या की गणना तभी की जा सकती है जब और केवल तभी जब कोई गणनीय डेडेकिन्ड-कट D इसके अनुरूप है। फलन डी प्रत्येक गणना योग्य संख्या के लिए अद्वितीय है (हालांकि निश्चित रूप से दो अलग-अलग क्रमादेश समान फलन प्रदान कर सकते हैं)। | ||
एक सम्मिश्र संख्या को | एक सम्मिश्र संख्या को गणनीय कहा जाता है यदि उसके वास्तविक और काल्पनिक भाग गणनीय हों। | ||
== गुण == | == गुण == | ||
=== गणना योग्य नहीं === | === गणनीय रूप से गणना योग्य नहीं === | ||
प्रत्येक | प्रत्येक परिगणन युक्ति परिभाषा के लिए गोडेल संख्या निर्दिष्ट करना गणनीय संख्याओं के अनुरूप [[प्राकृतिक संख्या]]ओं का उपसमुच्चय <math>S</math> उत्पन्न करता है और <math>S</math> से गणना योग्य संख्याओं के लिए अन्य अनुमान की पहचान करता है। केवल गणनीय कई परिगणन युक्ति हैं, जो दर्शाती हैं कि गणना योग्य संख्याएँ [[उपगणनीय]] हैं। हालांकि इन गोडेल संख्याओं समुच्चय <math>S</math>, गणनीय रूप से [[गणना योग्य]] नहीं है (और परिणामस्वरूप, न तो <math>S</math> के उपसमुच्चय हैं जिन्हें इसके संदर्भ में परिभाषित किया गया है)। ऐसा इसलिए है क्योंकि यह निर्धारित करने के लिए कोई एल्गोरिथ्म नहीं है कि कौन से गोडेल नंबर परिगणन मशीनों के अनुरूप हैं जो गणना योग्य वास्तविक उत्पादन करते हैं। गणना योग्य वास्तविक का उत्पादन करने के लिए, परिगणन युक्ति को कुल फलन की गणना करनी चाहिए, लेकिन संगत [[निर्णय समस्या|परिणाम समस्या]] [[ट्यूरिंग डिग्री|परिगणन]] श्रेणी 0 में है। परिणामस्वरूप, प्राकृतिक संख्याओं से गणनीय वास्तविक तक कोई विशेषण गणनीय फलन नहीं है, और कैंटर के विकर्ण तर्क का उपयोग रचनात्मक रूप से (गणित) उनमें से कई को प्रदर्शित करने के लिए नहीं किया जा सकता है। | ||
जबकि वास्तविक संख्याओं का समुच्चय [[बेशुमार]] है, | जबकि वास्तविक संख्याओं का समुच्चय [[बेशुमार|असंख्य]] है, गणनीय संख्याओं का समूह श्रेणीबद्ध रूप से गणना योग्य है और इस प्रकार [[लगभग सभी]] वास्तविक संख्याएँ गणनीय नहीं हैं। यहाँ, किसी भी गणना योग्य संख्या के लिए <math>x,</math> क्रमित सिद्धांत प्रदान करता है कि इसमें एक न्यूनतम तत्व <math>S</math> है जो <math>x</math> के अनुरूप है, और इसलिए न्यूनतम तत्वों से युक्त एक उपसमुच्चय सम्मिलित है, जिस पर मानचित्र द्विअंत:क्षेपण है। इस आक्षेप का व्युत्क्रम गणनीय संख्याओं की प्राकृतिक संख्याओं में विशेषण फलन है, यह प्रमाणित करता है कि वे गणनीय हैं। लेकिन, पुनः, यह उपसमुच्चय गणनीय नहीं है, यद्यपि गणनीय वास्तविक स्वयं क्रमित किया गया हो। | ||
=== क्षेत्र के रूप में गुण === | === क्षेत्र के रूप में गुण === | ||
गणनीय संख्याओं पर अंकगणितीय संक्रियाएँ स्वयं इस अर्थ में गणनीय हैं कि जब भी वास्तविक संख्याएँ a और b गणनीय होती हैं तो निम्नलिखित वास्तविक संख्याएँ भी गणनीय होती हैं: a + b, a - b, ab, और a/b यदि b अशून्य है। ये संक्रिया वास्तव में समान रूप से गणनीय हैं; उदाहरण के लिए, परिगणन युक्ति है जो निविष्ट (''A'', ''B'', <math>\epsilon</math>) निर्गम r का उत्पादन करता है, जहां ''A'' अनुमानित परिगणन युक्ति का विवरण है, ''a'', ''B'' अनुमानित परिगणन युक्ति का विवरण है, और r ''a''+''b'' का <math>\epsilon</math> सन्निकटन है। | |||
ये | |||
तथ्य यह है कि गणनीय वास्तविक संख्याएँ एक [[क्षेत्र (गणित)]] को पहली बार 1954 में [[हेनरी गॉर्डन राइस]] द्वारा सिद्ध किया गया था।{{sfnp|Rice|1954}} | |||
गणनीय वास्तविक हालांकि एक [[संगणनीय बीजगणित|गणनीय क्षेत्र]] नहीं बनाते हैं, क्योंकि गणनीय क्षेत्र की परिभाषा के लिए प्रभावी समानता की आवश्यकता होती है। | |||
=== क्रम की गैर-अभिकलनीयता === | |||
गणनीय संख्याओं पर क्रम संबंध गणनीय नहीं है। बता दें कि A संख्या का अनुमान लगाने वाली परिगणन युक्ति का विवरण <math>a</math> है। फिर कोई परिगणन युक्ति नहीं है जो निविष्ट A पर <nowiki>''हाँ''</nowiki> को <math>a > 0</math> और यदि <nowiki>''नहीं''</nowiki> को <math>a \le 0</math> निर्गम करती है। यह देखने के लिए, मान लीजिए कि ''A'' द्वारा वर्णित यंत्र को निर्गम 0 के रूप मे <math>\epsilon</math> सन्निकटन के रूप मे रखा जाता है। यह स्पष्ट नहीं है कि यह तय करने से पहले कितना समय प्रतीक्षा करना चाहिए है कि यंत्र कभी भी सन्निकटन का उत्पादन नहीं करेगी जो a को सकारात्मक होने के लिए बाध्य करती है। इस प्रकार यंत्र को अंततः यह अनुमान लगाना होगा कि निर्गम का उत्पादन करने के लिए संख्या 0 के बराबर होगी; अनुक्रम बाद में 0 से भिन्न हो सकता है। इस विचार का उपयोग यह दिखाने के लिए किया जा सकता है कि यंत्र कुछ अनुक्रमों पर गलत है यदि यह कुल फलन की गणना करती है। इसी प्रकार की समस्या तब होती है जब गणना करने योग्य वास्तविकताओं को डेडेकिंड-कट के रूप में दर्शाया जाता है। समानता संबंध के लिए भी समानता परीक्षण गणना योग्य नहीं है। | |||
जबकि पूर्ण क्रम संबंध गणनीय नहीं है, असमान संख्याओं के जोड़े के लिए इसका प्रतिबंध गणनीय है। अर्थात्, क्रमादेश है जो निविष्ट के रूप में दो परिगणन युक्ति ''A'' और ''B'' अनुमानित संख्या <math> a</math> और <math> b</math> के रूप मे लेता है, जहां <math>a \ne b</math>, और निर्गम करता है या नहीं <math>a < b</math> या <math>a > b</math> है। यह प्रयोग करने के लिए पर्याप्त है <math>\epsilon</math>- सन्निकटन जहां <math> \epsilon < |b-a|/2,</math> इसलिए तेजी से कम करके <math>\epsilon</math> (0 के निकट), अंतत: कोई यह तय कर सकता है कि क्या <math>a < b</math> या <math>a > b</math> है। | |||
=== अन्य गुण === | === अन्य गुण === | ||
गणना योग्य वास्तविक संख्याएँ विश्लेषण में प्रयुक्त वास्तविक संख्याओं के सभी गुणों को साझा नहीं करती हैं। उदाहरण के लिए, | गणना योग्य वास्तविक संख्याएँ विश्लेषण में प्रयुक्त वास्तविक संख्याओं के सभी गुणों को साझा नहीं करती हैं। उदाहरण के लिए, गणनीय वास्तविक संख्याओं के परिबद्ध बढ़ते गणनीय अनुक्रम की कम से कम ऊपरी सीमा गणनीय वास्तविक संख्या नहीं होनी चाहिए।{{sfnp|Bridges|Richman|1987|p=58}} इस गुण के साथ एक अनुक्रम को [[स्पेकर अनुक्रम]] के रूप में जाना जाता है, क्योंकि पहला निर्माण 1949 में [[अर्नस्ट स्पेकर]] के कारण हुआ था।{{sfnp|Specker|1949}} इस तरह के प्रति-उदाहरणों के स्थिति के होते हुए भी, गणना योग्य संख्याओं के क्षेत्र में कलन और वास्तविक विश्लेषण के कुछ भागों को विकसित किया जा सकता है, जिससे [[गणना योग्य विश्लेषण]] का अध्ययन किया जा सकता है। | ||
प्रत्येक गणनीय संख्या निश्चित संख्या है | प्रत्येक गणनीय संख्या निश्चित संख्या है अंकगणित में निश्चितता, लेकिन इसके विपरीत नहीं है। कई अंकगणितीय निश्चित, गैर-गणना योग्य वास्तविक संख्याएँ हैं, जिनमें सम्मिलित हैं: | ||
*कोई भी संख्या जो किसी | *कोई भी संख्या जो किसी चयन की गई एन्कोडिंग योजना के अनुसार रोकने की समस्या (या किसी अन्य [[अनिर्णीत समस्या|अनिर्दिष्ट समस्या]]) के समाधान को एनकोड करती है। | ||
*चैटिन स्थिरांक, <math>\Omega</math>, जो एक प्रकार की वास्तविक संख्या है जो | *चैटिन स्थिरांक, <math>\Omega</math>, जो एक प्रकार की वास्तविक संख्या है जो रुकने की समस्या के बराबर है। | ||
ये दोनों उदाहरण वास्तव में प्रत्येक [[यूनिवर्सल ट्यूरिंग मशीन| | ये दोनों उदाहरण वास्तव में प्रत्येक [[यूनिवर्सल ट्यूरिंग मशीन|सार्वभौमिक परिगणन युक्ति]] के लिए निश्चित, अगणनीय संख्याओं के अनंत समुच्चय को परिभाषित करते हैं। अतः वास्तविक संख्या की गणना की जा सकती है यदि और केवल तभी जब प्राकृतिक संख्याओं का वह समुच्चय (जब बाइनरी में लिखा जाता है और अन्य विशिष्ट फलन के रूप में देखा जाता है) गणना योग्य होता है। | ||
गणनीय वास्तविक संख्याओं का समुच्चय (साथ ही प्रत्येक गणनीय, सघन रूप से बिना सिरों के गणनीय वास्तविकों का उपसमुच्चय) परिमेय संख्याओं के समुच्चय के लिए [[आदेश-समरूपी|क्रम-तुल्याकारी]] है। | |||
== | == अंकों की शृंखला और कैंटर और बेयर-समष्टि == | ||
परिगणन के मूल पेपर में गणना योग्य संख्याओं को निम्नानुसार परिभाषित किया गया है: | परिगणन के मूल पेपर में गणना योग्य संख्याओं को निम्नानुसार परिभाषित किया गया है: | ||
{{quote|text=वास्तविक संख्या की गणना की जा सकती है यदि इसके अंक अनुक्रम को किसी कलन विधि या परिगणन युक्ति द्वारा निर्मित किया जा सकता है। एल्गोरिदम | {{quote|text=वास्तविक संख्या की गणना की जा सकती है यदि इसके अंक अनुक्रम को किसी कलन विधि या परिगणन युक्ति द्वारा निर्मित किया जा सकता है। एल्गोरिदम निर्दिष्ट के रूप में पूर्णांक <math>n \ge 1</math>लेता है और निर्गत के रूप में वास्तविक संख्या के दशमलव विस्तार के <math>n</math>-वें अंक का उत्पादन करता है।}} | ||
(a का दशमलव विस्तार केवल दशमलव बिंदु के बाद वाले अंकों को संदर्भित करता है।) | (a का दशमलव विस्तार केवल दशमलव बिंदु के बाद वाले अंकों को संदर्भित करता है।) | ||
परिगणन जानते थे कि यह परिभाषा | परिगणन जानते थे कि यह परिभाषा ऊपर दी गई <math>\epsilon</math>-सन्निकटन परिभाषा ऊपर दी गई है परिभाषा के समतुल्य है। तर्क इस प्रकार आगे बढ़ता है: यदि कोई संख्या परिगणन अर्थ में गणना योग्य है, तो यह <math>\epsilon</math> अर्थ मे भी गणना योग्य है: यदि <math>n > \log_{10} (1/\epsilon)</math>, तो a के लिए दशमलव विस्तार के पहले n अंक a प्रदान करने के लिए <math>\epsilon</math> का सन्निकटन है। प्रतिलोम के लिए, हम एक <math>\epsilon</math> गणना योग्य वास्तविक संख्या a चयन करते है और दशमलव बिंदु के बाद nवें अंक तक निश्चित रूप से परिशुद्ध सन्निकटन उत्पन्न करते हैं। यह सदैव एक के बराबर a दशमलव विस्तार उत्पन्न करता है लेकिन यह 9 के अनंत अनुक्रम में अनुचित रूप से समाप्त हो सकता है, इस स्थिति में इसका परिमित (और इस प्रकार गणना योग्य) उपयुक्त दशमलव विस्तार होना चाहिए। | ||
जब तक वास्तविक संख्याओं के कुछ सामयिक गुण प्रासंगिक नहीं होते हैं, तब तक के | जब तक वास्तविक संख्याओं के कुछ सामयिक गुण प्रासंगिक नहीं होते हैं, तब तक<math>[0,1]</math> में वास्तविक संख्या के स्थान पर <math>2^{\omega}</math> (कुल 0,1 मूल्यवान फलन) के तत्वों से विभाजन करने के लिए प्रायः अधिक सुविधाजनक होता है। <math>2^{\omega}</math> के इकाई बाइनरी दशमलव विस्तार के साथ पहचाना जा सकता है, लेकिन दशमलव विस्तार के बाद से <math>.d_1d_2\ldots d_n0111\ldots</math> और <math>.d_1d_2\ldots d_n10</math> एक ही वास्तविक संख्या, अंतराल <math>[0,1]</math> को निरूपित करें, केवल <math>2^{\omega}</math> के उपसमुच्चय के साथ पहचाने जाने वाले सभी 1 में समाप्त नहीं होने के कारण (और उपसमुच्चय सांस्थिति के अंतर्गत समरूपी रूप से) हो सकता है। | ||
ध्यान दें कि दशमलव विस्तार की इस | ध्यान दें कि दशमलव विस्तार की इस गुण का तात्पर्य है कि दशमलव विस्तार के संदर्भ में परिभाषित गणनीय वास्तविक संख्याओं और <math>\epsilon</math> सन्निकटन मे प्रभावी रूप से पहचान करना असंभव है। हिस्ट ने दर्शाया है कि कोई एल्गोरिदम नहीं है जो निविष्ट के रूप में परिगणन युक्ति का विवरण लेता है जो गणना योग्य संख्या A के लिए <math>\epsilon</math> सन्निकटन उत्पादन करता है, और निर्गम के रूप में परिगणन युक्ति के रूप मे उत्पन्न करता है जो परिगणन की परिभाषा के अर्थ में a के अंकों की गणना करता है।{{sfnp|Hirst|2007}} इसी प्रकार, इसका अर्थ है कि गणना योग्य वास्तविक पर अंकगणितीय संक्रिया दशमलव संख्याओं को जोड़ते समय उनके दशमलव निरूपण पर प्रभावी नहीं होते हैं। एक अंक का उत्पादन करने के लिए, यह निर्धारित करने के लिए कि क्या वर्तमान स्थिति पर कोई कैरी (हासिल) है, अव्यवस्थित रूप से दाईं ओर देखना आवश्यक हो सकता है। एकरूपता की यह कमी एक कारण है कि गणना योग्य संख्याओं की समकालीन परिभाषा दशमलव विस्तार के स्थान पर <math>\epsilon</math> सन्निकटन का उपयोग करती है। | ||
हालाँकि, एक [[संगणनीयता सिद्धांत]] या [[माप सिद्धांत]] के दृष्टिकोण से, दो संरचनाएँ <math>2^{\omega}</math> और <math>[0,1]</math> | |||