गणनीय संख्या

π की गणना एकपक्षीय परिशुद्धता के लिए की जा सकती है, जबकि लगभग प्रत्येक वास्तविक संख्या की गणना नहीं की जा सकती है।

गणित में, गणनीय संख्याएँ वास्तविक संख्याएँ होती हैं, जिनकी गणना परिमित, समाप्ति कलन विधि द्वारा किसी भी वांछित परिशुद्धता के अंदर की जा सकती है। उन्हें पुनरावर्ती संख्याओं, प्रभावी संख्याओं या गणनीय वास्तविक या पुनरावर्ती वास्तविक के रूप में भी जाना जाता है। गणनीय वास्तविक संख्या की अवधारणा एमिल बोरेल द्वारा 1912 में उस समय उपलब्ध अभिकलनीयता की अंतःप्रज्ञात्मक धारणा का उपयोग करके प्रस्तुत की गई थी।

एल्गोरिदम के औपचारिक प्रतिनिधित्व के रूप में μ-पुनरावर्ती फलन, परिगणन (ट्यूरिंग) मशीनें, या λ-गणना का उपयोग करके समतुल्य परिभाषाएं दी जा सकती हैं। गणनीय संख्याएं वास्तविक संवृत क्षेत्र बनाती हैं और वास्तविक संख्याओं के स्थान पर कई गणितीय उद्देश्यों के लिए नहीं बल्कि अधिक के लिए उपयोग की जा सकती हैं।।

उदाहरण के रूप में परिगणन युक्ति का उपयोग करके अनौपचारिक परिभाषा

निम्नलिखित में, मार्विन मिंस्की ने 1936 में एलन परिगणन द्वारा परिभाषित किए गए तरीकों के समान गणना की जाने वाली संख्याओं को परिभाषित किया; अर्थात, 0 और 1 के बीच दशमलव अंशों के रूप में व्याख्या किए गए अंकों के अनुक्रम के रूप में:

संगणनीय संख्या [है] जिसके लिए परिगणन युक्ति है, जो कि इसके प्रारंभिक टेप पर n दी गई है, उस संख्या के n वें अंक के साथ समाप्त होती है [इसके टेप पर एन्कोडेड]।

परिभाषा में मुख्य धारणाएं हैं (1) कि कुछ n प्रारंभ में निर्दिष्ट हैं, (2) किसी भी n के लिए गणना केवल परिमित संख्या के चरण होते है, जिसके बाद यंत्र वांछित निर्गम उत्पन्न करती है और समाप्त हो जाती है।

(2) का एक वैकल्पिक रूप - यंत्र क्रमिक रूप से अपने टेप पर सभी n अंकों को मुद्रित करती है, nवें को मुद्रित करने के बाद रुकने से मिंस्की के अवलोकन पर जोर देती है: (3) कि परिगणन युक्ति के उपयोग से, परिमित परिभाषा के रूप में यंत्र की अवस्‍था सारणी का उपयोग दशमलव अंकों की संभावित अनंत शृंखला को परिभाषित करने के लिए किया जा रहा है।

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

औपचारिक परिभाषा

एक वास्तविक संख्या a 'गणना योग्य' है यदि इसे किसी गणना योग्य फलन द्वारा अनुमानित किया जा सकता है $f:\mathbb {N} \to \mathbb {Z}$ निम्नलिखित तरीके से: किसी भी सकारात्मक पूर्णांक n को देखते हुए, फलन पूर्णांक f(n) उत्पन्न करता है जैसे कि:

${f(n)-1 \over n}\leq a\leq {f(n)+1 \over n}.$

इसी तरह की दो परिभाषाएँ हैं जो समकक्ष हैं:

• एक गणनीय फलन सम्मिलित है, जो किसी भी सकारात्मक तर्कसंगत त्रुटि के लिए बाध्य है $\varepsilon$, एक परिमेय संख्या r उत्पन्न करता है जैसे कि $|r-a|\leq \varepsilon .$
• परिमेय संख्याओं का गणनीय अनुक्रम है, $q_{i}$ में अभिसरण $a$ ऐसा है कि $|q_{i}-q_{i+1}|<2^{-i}\,$ प्रत्येक i के लिए

गणनीय डेडेकिन्ड-कट के माध्यम से गणनीय संख्याओं की अन्य समतुल्य परिभाषा है। एक 'गणनीय डेडेकिन्ड-कट' एक गणनीय फलन $D\;$ है जो परिमेय संख्या के साथ प्रदान किया जाता है $r$ निविष्ट प्रतिफल के रूप में $D(r)=\mathrm {true} \;$ या $D(r)=\mathrm {false} \;$, निम्नलिखित शर्तों को पूरा करना:

$\exists rD(r)=\mathrm {true} \;$

$\exists rD(r)=\mathrm {false} \;$

$(D(r)=\mathrm {true} )\wedge (D(s)=\mathrm {false} )\Rightarrow r<s\;$

$D(r)=\mathrm {true} \Rightarrow \exists s>r,D(s)=\mathrm {true} .\;$

क्रमादेश D द्वारा एक उदाहरण दिया गया है जो 3 के घनमूल को परिभाषित करता है। मान लीजिए $q>0\;$ के द्वारा परिभाषित किया गया है:

$p^{3}<3q^{3}\Rightarrow D(p/q)=\mathrm {true} \;$

$p^{3}>3q^{3}\Rightarrow D(p/q)=\mathrm {false} .\;$

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

एक सम्मिश्र संख्या को गणनीय कहा जाता है यदि उसके वास्तविक और काल्पनिक भाग गणनीय हों।

गुण

गणनीय रूप से गणना योग्य नहीं

प्रत्येक परिगणन युक्ति परिभाषा के लिए गोडेल संख्या निर्दिष्ट करना गणनीय संख्याओं के अनुरूप प्राकृतिक संख्याओं का उपसमुच्चय $S$ उत्पन्न करता है और $S$ से गणना योग्य संख्याओं के लिए अन्य अनुमान की पहचान करता है। केवल गणनीय कई परिगणन युक्ति हैं, जो दर्शाती हैं कि गणना योग्य संख्याएँ उपगणनीय हैं। हालांकि इन गोडेल संख्याओं समुच्चय $S$, गणनीय रूप से गणना योग्य नहीं है (और परिणामस्वरूप, न तो $S$ के उपसमुच्चय हैं जिन्हें इसके संदर्भ में परिभाषित किया गया है)। ऐसा इसलिए है क्योंकि यह निर्धारित करने के लिए कोई एल्गोरिथ्म नहीं है कि कौन से गोडेल नंबर परिगणन मशीनों के अनुरूप हैं जो गणना योग्य वास्तविक उत्पादन करते हैं। गणना योग्य वास्तविक का उत्पादन करने के लिए, परिगणन युक्ति को कुल फलन की गणना करनी चाहिए, लेकिन संगत परिणाम समस्या परिगणन श्रेणी 0 में है। परिणामस्वरूप, प्राकृतिक संख्याओं से गणनीय वास्तविक तक कोई विशेषण गणनीय फलन नहीं है, और कैंटर के विकर्ण तर्क का उपयोग रचनात्मक रूप से (गणित) उनमें से कई को प्रदर्शित करने के लिए नहीं किया जा सकता है।

जबकि वास्तविक संख्याओं का समुच्चय असंख्य है, गणनीय संख्याओं का समूह श्रेणीबद्ध रूप से गणना योग्य है और इस प्रकार लगभग सभी वास्तविक संख्याएँ गणनीय नहीं हैं। यहाँ, किसी भी गणना योग्य संख्या के लिए $x,$ क्रमित सिद्धांत प्रदान करता है कि इसमें एक न्यूनतम तत्व $S$ है जो $x$ के अनुरूप है, और इसलिए न्यूनतम तत्वों से युक्त एक उपसमुच्चय सम्मिलित है, जिस पर मानचित्र द्विअंत:क्षेपण है। इस आक्षेप का व्युत्क्रम गणनीय संख्याओं की प्राकृतिक संख्याओं में विशेषण फलन है, यह प्रमाणित करता है कि वे गणनीय हैं। लेकिन, पुनः, यह उपसमुच्चय गणनीय नहीं है, यद्यपि गणनीय वास्तविक स्वयं क्रमित किया गया हो।

क्षेत्र के रूप में गुण

गणनीय संख्याओं पर अंकगणितीय संक्रियाएँ स्वयं इस अर्थ में गणनीय हैं कि जब भी वास्तविक संख्याएँ a और b गणनीय होती हैं तो निम्नलिखित वास्तविक संख्याएँ भी गणनीय होती हैं: a + b, a - b, ab, और a/b यदि b अशून्य है। ये संक्रिया वास्तव में समान रूप से गणनीय हैं; उदाहरण के लिए, परिगणन युक्ति है जो निविष्ट (A, B, $\epsilon$) निर्गम r का उत्पादन करता है, जहां A अनुमानित परिगणन युक्ति का विवरण है, a, B अनुमानित परिगणन युक्ति का विवरण है, और r a+b का $\epsilon$ सन्निकटन है।

तथ्य यह है कि गणनीय वास्तविक संख्याएँ एक क्षेत्र (गणित) को पहली बार 1954 में हेनरी गॉर्डन राइस द्वारा सिद्ध किया गया था।

गणनीय वास्तविक हालांकि एक गणनीय क्षेत्र नहीं बनाते हैं, क्योंकि गणनीय क्षेत्र की परिभाषा के लिए प्रभावी समानता की आवश्यकता होती है।

क्रम की गैर-अभिकलनीयता

गणनीय संख्याओं पर क्रम संबंध गणनीय नहीं है। बता दें कि A संख्या का अनुमान लगाने वाली परिगणन युक्ति का विवरण $a$ है। फिर कोई परिगणन युक्ति नहीं है जो निविष्ट A पर ''हाँ'' को $a>0$ और यदि ''नहीं'' को $a\leq 0$ निर्गम करती है। यह देखने के लिए, मान लीजिए कि A द्वारा वर्णित यंत्र को निर्गम 0 के रूप मे $\epsilon$ सन्निकटन के रूप मे रखा जाता है। यह स्पष्ट नहीं है कि यह तय करने से पहले कितना समय प्रतीक्षा करना चाहिए है कि यंत्र कभी भी सन्निकटन का उत्पादन नहीं करेगी जो a को सकारात्मक होने के लिए बाध्य करती है। इस प्रकार यंत्र को अंततः यह अनुमान लगाना होगा कि निर्गम का उत्पादन करने के लिए संख्या 0 के बराबर होगी; अनुक्रम बाद में 0 से भिन्न हो सकता है। इस विचार का उपयोग यह दिखाने के लिए किया जा सकता है कि यंत्र कुछ अनुक्रमों पर गलत है यदि यह कुल फलन की गणना करती है। इसी प्रकार की समस्या तब होती है जब गणना करने योग्य वास्तविकताओं को डेडेकिंड-कट के रूप में दर्शाया जाता है। समानता संबंध के लिए भी समानता परीक्षण गणना योग्य नहीं है।

जबकि पूर्ण क्रम संबंध गणनीय नहीं है, असमान संख्याओं के जोड़े के लिए इसका प्रतिबंध गणनीय है। अर्थात्, क्रमादेश है जो निविष्ट के रूप में दो परिगणन युक्ति A और B अनुमानित संख्या $a$ और $b$ के रूप मे लेता है, जहां $a\neq b$, और निर्गम करता है या नहीं $a<b$ या $a>b$ है। यह प्रयोग करने के लिए पर्याप्त है $\epsilon$- सन्निकटन जहां $\epsilon <|b-a|/2,$ इसलिए तेजी से कम करके $\epsilon$ (0 के निकट), अंतत: कोई यह तय कर सकता है कि क्या $a<b$ या $a>b$ है।

अन्य गुण

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

प्रत्येक गणनीय संख्या निश्चित संख्या है अंकगणित में निश्चितता, लेकिन इसके विपरीत नहीं है। कई अंकगणितीय निश्चित, गैर-गणना योग्य वास्तविक संख्याएँ हैं, जिनमें सम्मिलित हैं:

• कोई भी संख्या जो किसी चयन की गई एन्कोडिंग योजना के अनुसार रोकने की समस्या (या किसी अन्य अनिर्दिष्ट समस्या) के समाधान को एनकोड करती है।
• चैटिन स्थिरांक, $\Omega$, जो एक प्रकार की वास्तविक संख्या है जो रुकने की समस्या के बराबर है।

ये दोनों उदाहरण वास्तव में प्रत्येक सार्वभौमिक परिगणन युक्ति के लिए निश्चित, अगणनीय संख्याओं के अनंत समुच्चय को परिभाषित करते हैं। अतः वास्तविक संख्या की गणना की जा सकती है यदि और केवल तभी जब प्राकृतिक संख्याओं का वह समुच्चय (जब बाइनरी में लिखा जाता है और अन्य विशिष्ट फलन के रूप में देखा जाता है) गणना योग्य होता है।

गणनीय वास्तविक संख्याओं का समुच्चय (साथ ही प्रत्येक गणनीय, सघन रूप से बिना सिरों के गणनीय वास्तविकों का उपसमुच्चय) परिमेय संख्याओं के समुच्चय के लिए क्रम-तुल्याकारी है।

अंकों की शृंखला और कैंटर और बेयर-समष्‍टि

परिगणन के मूल पेपर में गणना योग्य संख्याओं को निम्नानुसार परिभाषित किया गया है:

वास्तविक संख्या की गणना की जा सकती है यदि इसके अंक अनुक्रम को किसी कलन विधि या परिगणन युक्ति द्वारा निर्मित किया जा सकता है। एल्गोरिदम निर्दिष्ट के रूप में पूर्णांक $n\geq 1$लेता है और निर्गत के रूप में वास्तविक संख्या के दशमलव विस्तार के $n$-वें अंक का उत्पादन करता है।

(a का दशमलव विस्तार केवल दशमलव बिंदु के बाद वाले अंकों को संदर्भित करता है।)

परिगणन जानते थे कि यह परिभाषा ऊपर दी गई $\epsilon$-सन्निकटन परिभाषा ऊपर दी गई है परिभाषा के समतुल्य है। तर्क इस प्रकार आगे बढ़ता है: यदि कोई संख्या परिगणन अर्थ में गणना योग्य है, तो यह $\epsilon$ अर्थ मे भी गणना योग्य है: यदि $n>\log _{10}(1/\epsilon )$, तो a के लिए दशमलव विस्तार के पहले n अंक a प्रदान करने के लिए $\epsilon$ का सन्निकटन है। प्रतिलोम के लिए, हम एक $\epsilon$ गणना योग्य वास्तविक संख्या a चयन करते है और दशमलव बिंदु के बाद nवें अंक तक निश्चित रूप से परिशुद्ध सन्निकटन उत्पन्न करते हैं। यह सदैव एक के बराबर a दशमलव विस्तार उत्पन्न करता है लेकिन यह 9 के अनंत अनुक्रम में अनुचित रूप से समाप्त हो सकता है, इस स्थिति में इसका परिमित (और इस प्रकार गणना योग्य) उपयुक्त दशमलव विस्तार होना चाहिए।

जब तक वास्तविक संख्याओं के कुछ सामयिक गुण प्रासंगिक नहीं होते हैं, तब तक$[0,1]$ में वास्तविक संख्या के स्थान पर $2^{\omega }$ (कुल 0,1 मूल्यवान फलन) के तत्वों से विभाजन करने के लिए प्रायः अधिक सुविधाजनक होता है। $2^{\omega }$ के इकाई बाइनरी दशमलव विस्तार के साथ पहचाना जा सकता है, लेकिन दशमलव विस्तार के बाद से $.d_{1}d_{2}\ldots d_{n}0111\ldots$ और $.d_{1}d_{2}\ldots d_{n}10$ एक ही वास्तविक संख्या, अंतराल $[0,1]$ को निरूपित करें, केवल $2^{\omega }$ के उपसमुच्चय के साथ पहचाने जाने वाले सभी 1 में समाप्त नहीं होने के कारण (और उपसमुच्चय सांस्थिति के अंतर्गत समरूपी रूप से) हो सकता है।

ध्यान दें कि दशमलव विस्तार की इस गुण का तात्पर्य है कि दशमलव विस्तार के संदर्भ में परिभाषित गणनीय वास्तविक संख्याओं और $\epsilon$ सन्निकटन मे प्रभावी रूप से पहचान करना असंभव है। हिस्ट ने दर्शाया है कि कोई एल्गोरिदम नहीं है जो निविष्ट के रूप में परिगणन युक्ति का विवरण लेता है जो गणना योग्य संख्या A के लिए $\epsilon$ सन्निकटन उत्पादन करता है, और निर्गम के रूप में परिगणन युक्ति के रूप मे उत्पन्न करता है जो परिगणन की परिभाषा के अर्थ में a के अंकों की गणना करता है। इसी प्रकार, इसका अर्थ है कि गणना योग्य वास्तविक पर अंकगणितीय संक्रिया दशमलव संख्याओं को जोड़ते समय उनके दशमलव निरूपण पर प्रभावी नहीं होते हैं। एक अंक का उत्पादन करने के लिए, यह निर्धारित करने के लिए कि क्या वर्तमान स्थिति पर कोई कैरी (हासिल) है, अव्यवस्थित रूप से दाईं ओर देखना आवश्यक हो सकता है। एकरूपता की यह कमी एक कारण है कि गणना योग्य संख्याओं की समकालीन परिभाषा दशमलव विस्तार के स्थान पर $\epsilon$ सन्निकटन का उपयोग करती है।

हालाँकि, एक अभिकलनीयता सिद्धांत या माप सिद्धांत के दृष्टिकोण से, दो संरचनाएँ $2^{\omega }$ और $[0,1]$ अनिवार्य रूप से समान हैं। इस प्रकार, अभिकलनीयता सिद्धांतकार प्रायः $2^{\omega }$ इकाइयों को वास्तविक के रूप में संदर्भित करते हैं। जबकि $2^{\omega }$ पूरी तरह से वियोजित हो गया है, $\Pi _{1}^{0}$ कक्षाओं या यादृच्छिकता के बारे मे प्रश्नों के लिए $2^{\omega }$ मे कार्य करना आसान होता है।

$\omega ^{\omega }$ के तत्वों को कभी-कभी वास्तविक भी कहा जाता है और यद्यपि $\mathbb {R}$ इसमें समरूपी छवि युक्त $\omega ^{\omega }$ स्थानीय रूप स्थानीय रूप से सुसम्बद्ध भी नहीं है (पूरी तरह से वियोजित होने के अतिरिक्त)। इससे गणनीय गुणों में वास्तविक अंतर होता है। उदाहरण के लिए $x\in \mathbb {R}$ शर्तों को पूरा करने वाले $\forall (n\in \omega )\phi (x,n)$ के साथ $\phi (x,n)$ परिमाणक मुक्त, अद्वितीय $x\in \omega ^{\omega }$ होने पर गणना योग्य होना चाहिए, सार्वभौमिक सूत्र को पूरा करने से अति-अंकगणित पदानुक्रम में अव्यवस्थित रूप से उच्च स्थिति हो सकती है।

तत्व के स्थान पर प्रयोग करें

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

गणना योग्य संख्याओं पर वास्तव में विश्लेषण विकसित करने के लिए, कुछ सावधानी रखनी चाहिए। उदाहरण के लिए, यदि कोई अनुक्रम की उत्कृष्ट परिभाषा का उपयोग करता है, तो गणना योग्य संख्याओं का समुच्चय सीमित अनुक्रम के सर्वोच्च को लेने के मूल संचालन के अंतर्गत बंद नहीं होता है (उदाहरण के लिए, स्पेकर अनुक्रम पर विचार करें, ऊपर अनुभाग देखें)। इस कठिनाई को केवल उन अनुक्रमों पर विचार करके संबोधित किया जाता है जिनमें अभिसरण का एक गणनीय मापांक होता है। परिणामी गणितीय सिद्धांत को गणनीय विश्लेषण कहा जाता है।

परिशुद्ध अंकगणित का कार्यान्वयन

सन्निकटन की गणना करने वाले क्रमानुदेश के रूप में वास्तविक संख्याओं का प्रतिनिधित्व करने वाले कंप्यूटर पैकेजों को ''परिशुद्ध अंकगणित'' नाम के अंतर्गत 1985 के प्रारंभ में प्रस्तावित किया गया है। आधुनिक उदाहरणों में सीओआरएन लाइब्रेरी (Coq), और रीयललिब पैकेज (सी ++) सम्मिलित है। फलन की संबंधित रेखा वास्तविक रैम क्रमादेश लेने और पर्याप्त परिशुद्धता के तर्कसंगत या चलबिंदु संख्या के साथ चलाने पर आधारित है, जैसे आईआरआरएएम पैकेज।

यह भी देखें

• रचनात्मक संख्या
• परिभाषित करने योग्य संख्या
• अर्धगणना योग्य फलन
• परिकलन संबंधी समस्या

संदर्भ

• Bridges, Douglas; Richman, Fred (1987). Varieties of Constructive Mathematics. Cambridge University Press. ISBN 978-0-521-31802-0.
• Hirst, Jeffry L. (2007). "Representations of reals in reverse mathematics". Bulletin of the Polish Academy of Sciences, Mathematics. 55 (4): 303–316. doi:10.4064/ba55-4-2.
• Lambov, Branimir (5 April 2015). "RealLib". GitHub.
• Minsky, Marvin (1967). "9. The Computable Real Numbers". Computation: Finite and Infinite Machines. Prentice-Hall. ISBN 0-13-165563-9. OCLC 0131655639.
• Rice, Henry Gordon (1954). "Recursive real numbers". Proceedings of the American Mathematical Society. 5 (5): 784–791. doi:10.1090/S0002-9939-1954-0063328-5. JSTOR 2031867.
• Specker, E. (1949). "Nicht konstruktiv beweisbare Sätze der Analysis" (PDF). Journal of Symbolic Logic. 14 (3): 145–158. doi:10.2307/2267043. JSTOR 2267043. Archived (PDF) from the original on 2018-07-21.
• Turing, A. M. (1936). "On Computable Numbers, with an Application to the Entscheidungsproblem". Proceedings of the London Mathematical Society. Series 2 (published 1937). 42 (1): 230–65. doi:10.1112/plms/s2-42.1.230.
  Turing, A. M. (1938). "On Computable Numbers, with an Application to the Entscheidungsproblem: A correction". Proceedings of the London Mathematical Society. Series 2 (published 1937). 43 (6): 544–6. doi:10.1112/plms/s2-43.6.544. Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
• van der Hoeven, Joris (2006). "Computations with effective real numbers". Theoretical Computer Science. 351 (1): 52–60. doi:10.1016/j.tcs.2005.09.060.

आगे की पढाई

• Aberth, Oliver (1968). "Analysis in the Computable Number Field". Journal of the Association for Computing Machinery. 15 (2): 276–299. doi:10.1145/321450.321460. S2CID 18135005. This paper describes the development of the calculus over the computable number field.
• Bishop, Errett; Bridges, Douglas (1985). Constructive Analysis. Springer. ISBN 0-387-15066-8.
• Stoltenberg-Hansen, V.; Tucker, J.V. (1999). "Computable Rings and Fields". In Griffor, E.R. (ed.). Handbook of Computability Theory. Elsevier. pp. 363–448. ISBN 978-0-08-053304-9.
• Weihrauch, Klaus (2000). Computable analysis. Texts in Theoretical Computer Science. Springer. ISBN 3-540-66817-9. §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.
• Weihrauch, Klaus (1995). A simple introduction to computable analysis. Fernuniv., Fachbereich Informatik.