Hesaplanabilir sayı sayfasının kaynağını görüntüle

[[Dosya:10,000 digits of pi - poster.svg|küçükresim|[[Pi|π]], istenilen herhangi bir doğruluk derecesine kadar hesaplanabilirken, neredeyse tüm reel sayılar hesaplanabilir nitelikte değildir.]]
'''Hesaplanabilir sayılar''', belirlenen herhangi bir doğruluk seviyesine ulaşacak şekilde sonlu ve sona eren bir [[algoritma]] ile hesaplanabilen [[reel sayılar]]ı ifade eder. Bu sayılar; '''yinelemeli sayılar''', '''etkili sayılar'''{{sfnp|van der Hoeven|2006}} ya da '''hesaplanabilir reel sayılar''' olarak da adlandırılır. Hesaplanabilir reel sayılar kavramı, o dönemde mevcut olan sezgisel hesaplanabilirlik kavramı üzerinden [[Emile Borel]] tarafından 1912'de ortaya konmuştur.<ref>P. Odifreddi, ''Classical Recursion Theory'' (1989), s.8. North-Holland, 0-444-87295-7</ref>

[[Genel yinelgen fonksiyon]]lar, [[Turing makinesi|Turing makineleri]] veya [[Lamda kalkülüs|λ-hesaplama]] gibi formal algoritma temsilleri kullanılarak eşdeğer tanımlamalar yapılabilir. Hesaplanabilir sayılar, bir [[reel kapalı alan]] oluşturur ve matematikte pek çok durumda, ancak her durumda olmamak üzere, reel sayıların yerini alabilirler.

==Turing makinesi örneği üzerinden yapılan gayri resmi tanımlama==

Aşağıdaki metinde, [[Marvin Minsky]] sayıların hesaplanması konusunu, [[Alan Turing]]'in 1936 yılında tanımladığı sayılarla benzer bir yöntemle ifade etmektedir;{{sfnp|Turing|1936}} yani, 0 ile 1 arasında "ondalık kesirler olarak yorumlanan sayı dizileri" şeklinde:{{sfnp|Minsky|1967}}

{{Blockquote|text=Hesaplanabilir bir sayı, başlangıçta ''n'' verilerek çalıştırıldığında, o sayının ''n''inci basamağını kodlanmış olarak sonuçlandıran bir Turing makinesi bulunması hâlidir.}}

Tanımın temelini oluşturan kavramlar şöyledir: (1) Başta tanımlanmış bir ''n'' değerinin mevcudiyeti, (2) Her bir ''n'' değerinde, işlemin yalnızca belirli sayıda adımda gerçekleştirilmesi ve ardından makinenin istenilen sonucu üreterek faaliyetine son vermesidir.

(2) maddesinin bir başka versiyonu şu şekildedir: Makine, üzerindeki şeritte sıralı olarak bulunan tüm ''n'' sayısını yazdırır ve ''n''inci sayıyı yazdıktan sonra işlemini durdurur - Bu durum, Minsky'nin gözlemlerini belirginleştirir: (3) Bir Turing makinesinin kullanılmasıyla, makinenin durum tablosunun şeklini alan ''sonlu'' bir tanımın, potansiyel olarak ''sonsuz'' bir ondalık sayı dizisini tanımlamak için nasıl kullanıldığıdır.

Fakat bu durum, sonucun önceden belirlenmiş herhangi bir doğruluk seviyesine uygun olması gerektiğini öngören modern tanımı kapsamaz. Başlangıçta sunulan gayri resmi tanım, [[tablo yapımcısının ikilemi]] (İng. ''table-maker's dilemma'') olarak bilinen ve modern tanımın uğraşmadığı bir yuvarlama problemi ile karşı karşıyadır.

==Tanım==
Bir [[reel sayı]] ''a'', eğer belirli bir [[hesaplanabilir fonksiyon]] <math>f:\mathbb{N}\to\mathbb{Z}</math> aracılığıyla aşağıdaki yöntemle yakınsanabiliyorsa, '''hesaplanabilir''' olarak kabul edilir: Pozitif her [[tam sayı]] ''n'' değeri için, fonksiyon, ''a'' sayısının aşağıdaki koşulu sağlamasını garantileyen bir ''f''(''n'') tam sayısını hesaplar:

:<math>{f(n)-1\over n} \leq a \leq {f(n)+1\over n}.</math>

İki benzer ve denk tanım mevcuttur:
*Herhangi bir pozitif rasyonel [[yaklaşım hatası|hata sınırı]] <math>\varepsilon</math> için, <math>|r - a| \leq \varepsilon,</math> koşulunu tatmin eden bir ''r'' [[rasyonel sayı]] elde edebilen hesaplanabilir bir fonksiyon vardır.
*Hesaplanabilir rasyonel sayılar dizisi <math>q_i</math>, ''a'' sayısına yakınsamakta ve her ''i'' için <math>|q_i - q_{i+1}| < 2^{-i},</math> eşitsizliğini sağlamaktadır.

Hesaplanabilir sayılar, hesaplanabilir [[Dedekind kesitleri]] aracılığıyla tanımlanabilen bir başka denk tanıma sahiptir. Bir hesaplanabilir Dedekind kesiti, bir rasyonel sayı <math>r</math> girdisi sağlandığında <math>D(r)=\mathrm{true};</math> ya da <math>D(r)=\mathrm{false};</math> değerlerinden birini döndüren hesaplanabilir bir fonksiyon <math>D</math>'dir ve şu şartları karşılar:
:<math>\exists r D(r)=\mathrm{true};</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} \Rightarrow \exist s>r, D(s)=\mathrm{true}.;</math>
3 sayısının [[küpkök]]ünü tanımlayan ''D'' adlı program tarafından sunulan bir örnekte, <math>q>0;</math> olmak üzere, bu durum şu şekilde ifade edilir:
:<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>

Bir reel sayının hesaplanabilir olması, [[ancak ve ancak]] ona tekabül eden hesaplanabilir bir Dedekind kesiti ''D'''nin varlığı ile mümkündür. Her hesaplanabilir sayı için ''D'' fonksiyonu özgündür (tabii ki, farklı iki program aynı fonksiyonu temin edebilir).

Reel ve sanal parçaları hesaplanabilir olan bir [[karmaşık sayı]], hesaplanabilir olarak tanımlanmaktadır.

==Özellikler==
===Hesaplanabilir olarak sıralanamaz===
Her bir Turing makinesi tanımına özgü bir [[Gödel sayısı]] tahsis edilmesi, hesaplanabilir sayılarla ilişkilendirilen [[doğal sayılar]] içerisinde bir <math>S</math> alt kümesi oluşturur ve bu alt kümeden hesaplanabilir sayılara bir [[örten fonksiyon]]un varlığını işaret eder. Turing makinelerinin yalnızca sayılabilir miktarda olduğu bilinmekte olup, bu durum hesaplanabilir sayıların [[alt sayılabilir]] olduğunu ortaya koymaktadır. Ne var ki, bu Gödel sayılarının oluşturduğu <math>S</math> kümesi [[hesaplanabilir sıralanabilir]] nitelikte değildir (ve buna bağlı olarak, bu kümeyle ilintili olarak tanımlanan <math>S</math> alt kümeleri de hesaplanabilir sıralanabilir değildir). Bu, hesaplanabilir reel sayıları üreten Turing makinelerine denk gelen Gödel sayılarını tespit edecek bir algoritmanın bulunmamasından kaynaklanmaktadır. Hesaplanabilir bir reel sayı üretmek için bir Turing makinesinin bir [[tam fonksiyon]] hesaplaması gerekmekte, fakat bu durumun ilişkili [[karar problemi]] [[Turing derecesi]] '''0′′''' kapsamındadır. Bu nedenle, doğal sayılardan hesaplanabilir reelleri temsil eden makinelerin oluşturduğu <math>S</math> kümesine yönelik örten bir [[hesaplanabilir fonksiyon]] mevcut değildir ve [[Cantor'un diyagonal argümanı]], bunların sayılamayacak kadar çok olduğunu [[Oluşturmacı matematik|oluşturmacı]] bir biçimde ispatlamak için kullanılamaz.

Reel sayılar kümesinin [[sayılamaz]] olduğu bilinirken, hesaplanabilir sayılar kümesi klasik anlamda [[sayılabilir]]dir ve böylece reel sayıların büyük bir çoğunluğu hesaplanabilir nitelikte değildir. Bu durumda, herhangi bir hesaplanabilir sayı <math>x</math> için, [[iyi sıralama prensibi]] <math>S</math> içinde <math>x</math>'e denk gelen minimal bir elementin varlığını öngörür; dolayısıyla, bu haritanın bir [[bijeksiyon]] olduğu minimal elemanlardan oluşan bir alt kümenin mevcut olduğu sonucuna varılır. Bu bijeksiyonun ters çevrimi, hesaplanabilir sayıların doğal sayılara [[Birebir fonksiyon|enjeksiyonunu]] sağlar ve bunların sayılabilir olduğunu ispatlar. Ancak, hesaplanabilir reellerin kendileri sıralı olsa dahi, bu alt küme hesaplanabilir değildir.

===Alan özellikleri===

Hesaplanabilir sayılarda gerçekleştirilen [[aritmetik]] işlemler, ''a'' ve ''b'' reel sayıları hesaplanabilir olduğunda, ''a + b'', ''a - b'', ''ab'' ve ''b'' sıfır olmadığı durumda ''a/b'' olacak şekilde, bu reel sayıların da hesaplanabilir olduğu şekilde kendileri hesaplanabilir niteliktedir.
Bu operasyonlar gerçekte ''tek tip olarak hesaplanabilir''dir; bir örneğe göre, (''A'', ''B'', <math>\epsilon</math>) girdisine sahip bir Turing makinesi, ''a''yı yaklaşık olarak betimleyen ''A'' Turing makinesinin tanımı, ''b''yi yaklaşık olarak betimleyen ''B'' Turing makinesinin tanımı ve ''r'', ''a''+''b''nin bir <math>\epsilon</math> yakınsaması olarak çıktı ''r'' üretebilir.

Hesaplanabilir reel sayıların bir [[alan (matematik)|alan]] oluşturduğu gerçeği, ilk defa [[Henry Gordon Rice]] tarafından 1954 yılında ispatlanmıştır.{{sfnp|Rice|1954}}

Hesaplanabilir reel sayılar, bir hesaplanabilir alanın gerektirdiği etkin eşitlik tanımını karşılamadığı için, bir [[hesaplanabilir cebir|hesaplanabilir alan]] oluşturmamaktadır.

===Sıralamanın hesaplanabilir olmaması===
Hesaplanabilir sayılar arasındaki sıralama ilişkisi hesaplanabilir nitelikte değildir. ''A'', <math>a</math> sayısının yaklaşık değerini hesaplayan bir Turing makinesinin açıklaması olsun. Bu durumda, girdi ''A'' olduğunda, eğer <math>a > 0</math> ise "EVET", <math>a \le 0.</math> ise "HAYIR" yanıtını veren bir Turing makinesi mevcut değildir. Bunun nedenini anlamak için, ''A'' ile tanımlanan makinenin, <math>\epsilon</math> yaklaşımları olarak sürekli olarak 0 değerini ürettiğini varsayın. Makinenin, ''a'' değerinin pozitif olacağını garanti altına alacak bir yaklaşım üretmeden önce ne kadar süre beklemesi gerektiği belirsizdir. Sonuç olarak, makine, bir çıktı sağlamak amacıyla sayının 0 olacağını tahmin etmek zorunda kalır; ancak dizi sonradan 0'dan farklı bir değer alabilir. Bu düşünce, eğer makine bir tam fonksiyon hesaplıyorsa, bazı dizilerde yanlış olduğunu göstermek için kullanılabilir. Hesaplanabilir gerçeklerin [[Dedekind kesiti]] olarak ifade edilmesi durumunda benzer bir sorun meydana gelir. Eşitlik ilişkisi için de benzer bir durum söz konusudur: eşitliği test etme işlemi hesaplanabilir değildir.

Tam sıra ilişkisi hesaplanabilir olmamakla birlikte, birbirinden farklı sayı çiftlerine uygulanan kısıtlaması hesaplanabilir bir özellik göstermektedir. Bu bağlamda, <math>a \ne b</math> koşulunu sağlayan, <math>a</math> ve <math>b</math> sayılarının yaklaşık değerlerini hesaplayan ''A'' ve ''B'' Turing makineleri için girdi alabilen ve sonuç olarak bu sayıların <math>a < b</math> ya da <math>a > b</math> ilişkisine sahip olup olmadığını belirleyen bir program mevcuttur. <math>\epsilon < |b-a|/2,</math> olacak şekilde <math>\epsilon</math>-yaklaşımı kullanmak bu süreç için yeterli olup, <math>\epsilon</math> değeri 0'a yaklaştıkça, <math>a</math> ile <math>b</math> arasındaki ilişkinin <math>a < b</math> veya <math>a > b</math> olduğuna dair kesin bir karara varılabilir.

===Diğer özellikler===
Hesaplanabilir reel sayılar, analiz disiplininde ele alınan reel sayıların tüm karakteristiklerini taşımazlar. Bir örnek olarak, hesaplanabilir reel sayılardan oluşturulan sınırlı ve artan bir dizinin en küçük üst sınırı, zorunlu olarak hesaplanabilir bir reel sayı olmayabilir.{{sfnp|Bridges|Richman|1987|p=58}} Bu tür bir diziye sahip olma özelliği, ilk olarak [[Ernst Specker]] tarafından 1949'da tanıtılan bir [[Specker dizisi]] olarak adlandırılır.{{sfnp|Specker|1949}} Bu gibi karşıt örneklerin var oluşuna karşın, hesaplanabilir sayılar çerçevesinde kalkülüs ve reel analizin parçaları geliştirilebilir ve bu durum, [[hesaplanabilir analiz]] alanının araştırılmasını teşvik eder.

Her hesaplanabilir sayı, aritmetiksel olarak tanımlanabilir niteliktedir, fakat bu ilişki karşılıklı olarak geçerli değildir. Aritmetiksel olarak tanımlanabilen ancak hesaplanamayan birçok reel sayı mevcuttur ki, bunlar arasında şunlar bulunmaktadır:
*Seçilen bir kodlama düzenine göre [[durma problemi]]nin (veya diğer herhangi bir [[karar verilemeyen problem]]) çözümünü içeren herhangi bir sayı.
*[[Chaitin sabiti]] <math>\Omega</math>, durma problemine [[Turing derecesi|Turing eşdeğer]] olan bir tür reel sayıdır.

Bu örnekler, her bir [[Evrensel Turing makinesi]] için tanımlanabilir, ancak hesaplanamayan sayıların sonsuz bir setini aslında tanımlamaktadır.
Bir reel sayının hesaplanabilir olması, sadece bu sayının temsil ettiği doğal sayıların kümesi (ikili formatta yazılıp bir özellik fonksiyonu olarak değerlendirildiğinde) hesaplanabilir olduğu durumlarda söz konusudur.

Hesaplanabilir reel sayılar kümesi (aynı zamanda hesaplanabilir reeller'n sonu olmayan her sayılabilir, [[yoğun sıralı]] alt kümesi de dahil olmak üzere) rasyonel sayılar kümesiyle [[sıra izomorfiktir]].

==Rakam dizileri ve Cantor ile Baire uzayları==

Turing'in orijinal makalesi hesaplanabilir sayıları şu şekilde tanımlamıştır:

{{quote|text=Bir reel sayı, rakam dizisi bir algoritma ya da Turing makinesi tarafından üretilebiliyorsa hesaplanabilirdir. Algoritma, bir tam sayı <math>n \ge 1</math> girdisi alır ve reel sayının ondalık genişlemesinin <math>n</math>-inci rakamını çıktı olarak üretir.}}

(''a'''nın ondalık genişlemesi yalnızca ondalık noktasından sonraki rakamlara atıfta bulunur.)

Turing, bu tanımının yukarıda sunulan <math>\epsilon</math>-yaklaşım tanımıyla eşdeğer olduğunu biliyordu. Argüman şöyle ilerler: Eğer bir sayı Turing bağlamında hesaplanabilirse, o zaman <math>\epsilon</math> bağlamında da hesaplanabilir: <math>n > \log_{10} (1/\epsilon)</math> olduğunda, ''a'' sayısının ondalık genişlemesinin ilk ''n'' rakamı, ''a'' için bir <math>\epsilon</math> yaklaşımı temin eder. Tersini kanıtlamak için, <math>\epsilon</math> ile hesaplanabilir bir reel sayı ''a'' alınır ve ondalık noktasından sonra gelen ''n''inci rakam kesin olana kadar giderek daha doğru yaklaşımlar üretilir. Bu işlem her zaman ''a'' ile eşit bir ondalık genişleme sağlar ancak yanlış bir biçimde sonsuz bir 9 dizisiyle sonlanabilir ki bu durumda, sonlu (ve bu nedenle hesaplanabilir) bir düzgün ondalık genişlemesi olmalıdır.

Reel sayıların belirli topolojik özellikleri göz önüne alınmadığında, <math>[0,1]</math> içerisindeki reel sayılar yerine <math>2^{\omega}</math> elemanlarıyla çalışmak sıklıkla daha avantajlıdır. <math>2^{\omega}</math> elemanları, ikili ondalık genişlemelerle özdeşleştirilebilir; ancak <math>.d_1d_2\ldots d_n0111\ldots</math> ve <math>.d_1d_2\ldots d_n10</math> ondalık genişlemeleri aynı reel sayıyı temsil ettiğinden, <math>[0,1]</math> aralığı yalnızca sonu tümüyle 1'lerle bitmeyen <math>2^{\omega}</math> alt kümesiyle bijektif (ve alt küme topolojisi altında homeomorfik) bir biçimde özdeşleştirilebilir.

Ondalık genişlemelerin bu karakteristiği, ondalık genişleme temelinde tanımlanan hesaplanabilir reel sayılar ile <math>\epsilon</math> yaklaşımı kavramı temelinde tanımlananlar arasında etkin bir şekilde ayrım yapılmasının mümkün olmadığını ortaya koymaktadır. Hirst, ''a'' hesaplanabilir sayısı için <math>\epsilon</math> yaklaşımları üreten bir Turing makinesinin açıklamasını girdi olarak alan ve Turing'in tanımı çerçevesinde ''a'' sayısının rakamlarını enumerate eden bir Turing makinesi üreten bir algoritmanın var olmadığını ispatlamıştır.{{sfnp|Hirst|2007}} Aynı şekilde, bu durum, hesaplanabilir reel sayılar üzerindeki aritmetik işlemlerin, ondalık sayılar eklenirken karşılaşılan durumda olduğu gibi, bu sayıların ondalık temsilleri üzerinde etkin olmadığını da göstermektedir. Tek bir rakam elde etmek için, mevcut konuma bir taşımanın olup olmadığını tespit etmek amacıyla sağa doğru keyfi bir mesafe bakılması gerekebilir. Bu düzensizlik, çağdaş hesaplanabilir sayı tanımının ondalık genişlemeler yerine <math>\epsilon</math> yaklaşımlarını tercih etmesinin temel sebeplerinden biridir.

Hesaplanabilirlik teorisi veya ölçüm teorisi açısından, <math>2^{\omega}</math> ve <math>[0,1]</math> yapılarının özdeş olduğu kabul edilir. Bu bağlamda, hesaplanabilirlik teorisyenleri, genellikle <math>2^{\omega}</math> kümesinin elemanlarına reel sayılar olarak referans verirler. Her ne kadar <math>2^{\omega}</math>, tamamen bağlantısız bir uzay olsa da, <math>\Pi^0_1</math> sınıfları veya rastlantısallıkla ilgili soruların ele alınması <math>2^{\omega}</math> çerçevesinde daha mümkündür.

Öte yandan, <math>\omega^{\omega}</math> elemanlarına da zaman zaman reel sayılar denilmekte olup, bu yapı <math>\mathbb{R}</math>'nin bir homeomorfik yansımasını içermesine rağmen, yerel olarak kompakt olmaktan uzaktır (aynı zamanda tamamen bağlantısızdır). Bu durum, hesaplama özellikleri açısından belirgin farklılıklara neden olmaktadır. Örneğin, <math>\phi(x,n)</math> niceliksiz ifadesiyle <math>\forall(n \in \omega)\phi(x,n)</math> koşulunu sağlayan <math>x \in \mathbb{R}</math>, hesaplanabilir niteliktedir. Buna karşın, evrensel bir formülü sağlayan tekil <math>x \in \omega^{\omega}</math> elemanı, [[hiperaritmetik hiyerarşi]] içerisinde keyfi bir yüksekliğe sahip olabilir.

===Reel sayıların yerine kullanım===

Hesaplanabilir sayılar, pratik uygulamalarda karşılaşılan belirli reel sayıları kapsar; bu sayılara tüm reel [[cebirsel sayı]]lar, ''e'', ''π'' ve pek çok [[transandantal sayı]] da dahildir. Hesaplanabilir reeller, hesaplamaya ya da yaklaşık değerlere ulaşmamız mümkün olan reel sayıları kapsamakla birlikte, tüm reel sayıların hesaplanabilir olduğu varsayımı, reel sayılar üzerine önemli ölçüde farklı çıkarımlarda bulunulmasına neden olur. Matematiğin tamamında tam reel sayılar kümesinin yerine hesaplanabilir sayıların kullanılabilirliği konusu doğal olarak gündeme gelir. Bu düşünce, [[Oluşturmacı matematik|oluşturmacı]] bir perspektiften ilgi çekicidir ve Errett Bishop ile Fred Richman tarafından ''Rus okulu'' olarak nitelendirilen oluşturmacı matematiğin bir dalı tarafından araştırılmıştır.<ref>{{Kaynak
|bölüm= Russian School of Constructive Mathematics
|başlık= Constructive Mathematics
|editör-soyadı= Zalta
|editör-ad= Edward N.
|yayıncı= Metaphysics Research Lab, Stanford University
|tarih= 2022}}</ref>

Hesaplanabilir sayılar temelinde analitik çalışmalar yapabilmek adına, belirli düzeylerde tedbirlerin alınması gerekliliği ortaya çıkmaktadır. Örnek vermek gerekirse, geleneksel bir dizi tanımı kullanıldığında, hesaplanabilir sayılar kümesinin, bir [[sınırlı dizinin]] [[supremum|üst sınırını]] alma gibi temel bir işleme kapalı olmadığı görülür (bu durum, [[Specker dizisi]] örneğinde olduğu gibi, ilgili bölüme müracaat edilebilir). Bu tür bir zorluğun üstesinden gelmek amacıyla, sadece hesaplanabilir bir [[yakınsama modülü]] bulunan dizilerin ele alınması önerilmektedir. Bu yaklaşımın matematikteki karşılığı, [[hesaplanabilir analiz]] olarak isimlendirilen bir teori şeklinde kendini göstermektedir.

===Reel sayıların kesin aritmetik temsilleri===

Reel sayıları, yaklaşık değerler hesaplayan programlar olarak temsil eden bilgisayar yazılımları, "kesin aritmetik" adı altında ilk olarak 1985 yılında teklif edilmiştir.<ref>{{Kitap kaynağı |soyadı1=Boehm |ad1=Hans-J. |soyadı2=Cartwright |ad2=Robert |soyadı3=Riggle |ad3=Mark |soyadı4=O'Donnell |ad4=Michael J. |başlık=Proceedings of the 1986 ACM conference on LISP and functional programming - LFP '86 |bölüm=Exact real arithmetic: A case study in higher order programming |tarih=8 Ağustos 1986 |sayfalar=162-173|doi=10.1145/319838.319860 |isbn=0897912004 |s2cid=12934546 |bölümurl=http://fricas-wiki.math.uni.wroc.pl/public/refs/exact-real-p162-boehm.pdf |arşivurl=https://web.archive.org/web/20200924021221/http://fricas-wiki.math.uni.wroc.pl/public/refs/exact-real-p162-boehm.pdf |arşivtarihi=24 Eylül 2020|ölüurl=hayır}}</ref> Çağdaş örnekler arasında CoRN kütüphanesi (Coq),<ref>{{Kitap kaynağı |soyadı1=O’Connor |ad1=Russell |başlık=Theorem Proving in Higher Order Logics |bölüm=Certified Exact Transcendental Real Number Computation in Coq |seri=Lecture Notes in Computer Science |tarih=2008 |cilt=5170 |sayfalar=246-261|doi=10.1007/978-3-540-71067-7_21 |arxiv=0805.2438 |isbn=978-3-540-71065-3 |s2cid=17959745 }}</ref> ve RealLib paketi (C++) yer almaktadır.{{sfnp|Lambov|2015}} Bu alandaki ilişkili bir araştırma çizgisi, yeterli hassasiyette rasyonel veya [[kayan nokta]] sayılarıyla çalıştırılan bir [[gerçek RAM]] programını temel almaktadır, {{proper name|iRRAM}} paketi gibi.<ref>{{Kitap kaynağı |soyadı1=Gowland |ad1=Paul |soyadı2=Lester |ad2=David |başlık=Computability and Complexity in Analysis |bölüm=A Survey of Exact Arithmetic Implementations |seri=Lecture Notes in Computer Science |tarih=2001 |cilt=2064 |sayfalar=30-47|doi=10.1007/3-540-45335-0_3 |bölümurl=https://link.springer.com/content/pdf/10.1007%2F3-540-45335-0_3.pdf |arşivurl=https://web.archive.org/web/20220324193302/https://link.springer.com/content/pdf/10.1007%2F3-540-45335-0_3.pdf |arşivtarihi=24 Mart 2022|ölüurl=hayır|yayıncı=Springer |isbn=978-3-540-42197-9 |dil=İngilizce}}</ref>

==Ayrıca bakınız==
*[[Çizilebilir sayı]]

==Notlar==
{{kaynakça}}

==Kaynakça==
{{kaynak başı|30em}}
*{{Kitap kaynağı |ad1=Douglas |soyadı1=Bridges |ad2=Fred |soyadı2=Richman |başlık=Varieties of Constructive Mathematics |url=https://books.google.com/books?id=oN5nsPkXhhsC |tarih=1987 |yayıncı=Cambridge University Press |isbn=978-0-521-31802-0 }}
*{{Akademik dergi kaynağı |ad=Jeffry L. |soyadı=Hirst |başlık=Representations of reals in reverse mathematics |dergi= Bulletin of the Polish Academy of Sciences, Mathematics|yıl=2007 |cilt=55 |sayı=4 |sayfalar=303-316|url=https://eudml.org/doc/281227 |doi=10.4064/ba55-4-2 }}
*{{Web kaynağı | başlık = RealLib | soyadı = Lambov | ad = Branimir | yayıncı = GitHub | tarih = 5 Nisan 2015 | url = https://github.com/blambov/RealLib | arşivurl = https://web.archive.org/web/20180611021321/https://github.com/blambov/RealLib | arşivtarihi = 11 Haziran 2018}}
*{{Kitap kaynağı |yazarbağı=Marvin Minsky |ad=Marvin |soyadı=Minsky |bölüm=9. The Computable Real Numbers |başlık=Computation: Finite and Infinite Machines |url=https://archive.org/details/computationfinit0000mins  |yayıncı=Prentice-Hall |yıl=1967 |isbn=0-13-165563-9  |oclc=0131655639}}
*{{Akademik dergi kaynağı |ad=Henry Gordon |soyadı=Rice |başlık=Recursive real numbers |dergi=Proceedings of the American Mathematical Society |yıl=1954 |cilt=5 |sayı=5 |sayfalar=784-791|doi=10.1090/S0002-9939-1954-0063328-5 |jstor=2031867   }}
*{{Akademik dergi kaynağı |ad=E. |soyadı=Specker |yazarbağı= Ernst Specker|başlık=Nicht konstruktiv beweisbare Sätze der Analysis |dergi=Journal of Symbolic Logic |yıl=1949 |cilt=14 |sayı=3 |sayfalar=145-158|doi=10.2307/2267043 |jstor=2267043|s2cid=11382421 |url=http://doc.rero.ch/record/304204/files/S0022481200105663.pdf |arşivurl=https://web.archive.org/web/20180721231142/http://doc.rero.ch/record/304204/files/S0022481200105663.pdf |arşivtarihi=21 Temmuz 2018|ölüurl=hayır}}
*{{Akademik dergi kaynağı |soyadı= Turing |ad= A. M. |yayıntarihi= 1937 |yıl= 1936 |başlık= On Computable Numbers, with an Application to the Entscheidungsproblem |çalışma= Proceedings of the London Mathematical Society |seri= Series 2 |cilt= 42 |sayı= 1 |sayfalar=230-65|doi= 10.1112/plms/s2-42.1.230 | s2cid= 73712 }}<br/>{{Akademik dergi kaynağı |soyadı= Turing |ad= A. M. |yayıntarihi= 1937 |başlık= On Computable Numbers, with an Application to the Entscheidungsproblem: A correction |çalışma= Proceedings of the London Mathematical Society |seri= Series 2 |cilt= 43 |sayı= 6 |sayfalar=544-6| url = http://www.abelard.org/turpap2/tp2-ie.asp |doi= 10.1112/plms/s2-43.6.544 |yıl= 1938 }} Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
*{{Akademik dergi kaynağı |soyadı1=van der Hoeven |ad1=Joris |başlık=Computations with effective real numbers |dergi=Theoretical Computer Science |tarih=2006 |cilt=351 |sayı=1 |sayfalar=52-60|doi=10.1016/j.tcs.2005.09.060 }}
{{kaynak sonu}}

==Ek okuma==
{{kaynak başı|30em}}
*{{Akademik dergi kaynağı |ad=Oliver |soyadı=Aberth |başlık=Analysis in the Computable Number Field |dergi=Journal of the Association for Computing Machinery |yıl=1968 |cilt=15 |sayı=2 |sayfalar=276-299|doi=10.1145/321450.321460 |s2cid=18135005  }} Bu çalışma, hesaplanabilir sayılar alanında kalkülüsün evrimini detaylandırmaktadır.
*{{Kitap kaynağı |ad1=Errett |soyadı1=Bishop |ad2=Douglas |soyadı2=Bridges |başlık=Constructive Analysis |yayıncı=Springer |yıl=1985 |isbn=0-387-15066-8 }}
*{{Kitap kaynağı |ad1=V. |soyadı1=Stoltenberg-Hansen |ad2=J.V. |soyadı2=Tucker |bölüm=Computable Rings and Fields |editör-ad=E.R. |editör-soyadı=Griffor |başlık=Handbook of Computability Theory |bölümurl=https://books.google.com/books?id=KqeXZ4pPd5QC&pg=PA363 |tarih=1999 |yayıncı=Elsevier |isbn=978-0-08-053304-9 |sayfalar=363-448}}
*{{Kitap kaynağı |ad=Klaus |soyadı=Weihrauch |başlık=Computable analysis |seri=Texts in Theoretical Computer Science |yayıncı=Springer |yıl=2000 |isbn=3-540-66817-9 }} §1.3.2, tekil gerçek sayıya yakınsayan [[iç içe aralık dizileri]] aracılığıyla yapılan tanımı ele alır. Diğer gösterimler §4.1'de incelenmektedir.
*{{Kitap kaynağı |ad=Klaus |soyadı=Weihrauch |url=http://eccc.uni-trier.de/static/books/A_Simple_Introduction_to_Computable_Analysis_Fragments_of_a_Book/  |başlık=A simple introduction to computable analysis |yıl=1995 |yayıncı=Fernuniv., Fachbereich Informatik}}
{{kaynak sonu}}

{{sayılar}}

[[Kategori:Sayılar]]