Sayı sayfasının kaynağını görüntüle

'''Sayı''', [[sayma]], [[ölçme]] ve etiketleme için kullanılan bir [[matematiksel nesne]]dir. En temel örnek, [[doğal sayı]]lardır ([[1 (sayı)|1]], [[2 (sayı)|2]], [[3 (sayı)|3]], [[4 (sayı)|4]] ve devamı).{{r|OUP_number}} Sayılar, [[sayı adı]] (''numeral'') ile dilde temsil edilebilir. Daha evrensel olarak, tekil sayılar ''rakam'' adı verilen [[sembol]]lerle temsil edilebilir; örneğin, "5" beş sayısını temsil eden bir rakamdır. Yalnızca nispeten az sayıda sembolün ezberlenebilmesi nedeniyle, temel rakamlar genellikle bir [[rakam sistemi]]nde organize edilir, bu da herhangi bir sayıyı temsil etmenin organize bir yoludur. En yaygın rakam sistemi [[Hint-Arap rakam sistemi]]dir, bu sistem on temel sayısal sembol, yani rakam kullanılarak herhangi bir negatif olmayan tam sayının temsil edilmesine olanak tanır.{{r|OUP_2017}}{{efn|[[Dilbilim]]de, [[numeral (linguistics)|rakam]] 5 gibi bir sembolü ifade edebileceği gibi "beş yüz" gibi bir sayıyı adlandıran bir kelime veya ifadeyi de ifade edebilir; rakamlar ayrıca "düzine" gibi sayıları temsil eden diğer kelimeleri de içerir.}} Sayılar sayma ve ölçme dışında, etiketlerde (telefon numaraları gibi), sıralamada (seri numaraları gibi) ve kodlarda ([[Uluslararası Standart Kitap Numarası|ISBN]]'ler gibi) kullanılmak için de sıklıkla kullanılır. Yaygın kullanımda, bir ''rakam'' ile temsil ettiği ''sayı'' net bir şekilde ayrılmaz.

[[Matematik]]te, sayı kavramı yüzyıllar boyunca peyderpey genişletilmiştir: [[0|sıfır]] (0),{{r|Matson_2017}} [[negatif sayı]]lar,{{r|Hodgkin_2005}} <math>\left(\tfrac{1}{2}\right)</math> gibi [[rasyonel sayı]]lar, [[karekök 2]] <math>\left(\sqrt{2}\right)</math> ve [[Pi sayısı|{{pi}}]] gibi [[gerçek sayı]]lar,<ref>{{kitap kaynağı |başlık=Mathematics across cultures : the history of non-western mathematics |tarih=2000 |yayıncı=Kluwer Academic |yer=Dordrecht |isbn=1-4020-0260-2 |sayfalar=410-411}}</ref> ve gerçek sayıları [[i sayısı|{{math|−1}}'in karekökü]] ile genişleten [[karmaşık sayı]]lar<ref>{{Kitap kaynağı |son=Descartes |ilk=René |başlık=La Géométrie: René Descartes'ın Geometrisi ve İlk Baskının Faksimilesi |url=https://archive.org/details/geometryofrenede00rend |yıl=1954 |yayıncı=[[Dover Publications]] |isbn=0-486-60068-8 |erişim-tarihi=20 Nisan 2011 }}</ref> buna dahil edilmiştir.{{r|Hodgkin_2005}} Sayılarla yapılan [[hesaplama]]lar [[aritmetik|aritmetik işlemler]] ile yapılır; en bilindik işlemler [[toplama]], [[çıkarma]], [[çarpma]], [[bölme]] ve [[üs alma]]dır. Bunların çalışılması veya kullanılması [[aritmetik]] olarak adlandırılır, bu terim ayrıca sayıların özelliklerinin incelendiği [[sayılar teorisi]]ni de ifade edebilir.

Sayıların pratik kullanımlarının yanı sıra, dünya genelinde kültürel bir önemi de bulunmaktadır.{{r|Gilsdorf_2012}}{{r|Restivo_1992}} Örneğin, Batı toplumunda, [[13 (sayı)|13 sayısı]] genellikle [[uğur]]suz olarak kabul edilir ve "[[milyon]]", kesin bir miktar yerine "çok" anlamına gelebilir.{{r|Gilsdorf_2012}} Artık [[sahte bilim]] olarak kabul edilse de, sayıların mistik bir önemine dair inanç, bilinen adıyla [[nümeroloji]], antik ve [[Orta Çağ]] düşüncelerine derinden işlemiştir.{{r|Ore_1988}} Nümeroloji, [[Yunan matematiği]]nin gelişimini büyük ölçüde etkilemiş ve günümüzde hala ilgi çeken birçok sayı teorisi problemi üzerine araştırmaları teşvik etmiştir.{{r|Ore_1988}}

19. yüzyılda matematikçiler, sayıların bazı özelliklerini paylaşan ve kavramı genişletiyor olarak görülebilecek pek çok farklı soyutlama geliştirmeye başladılar. İlkler arasında, [[karmaşık sayı]] sistemini çeşitli şekillerde genişleten veya değiştiren [[hiperkompleks sayı]]lar bulunmaktadır. Modern matematikte, sayı sistemleri, [[halka (matematik)|halkalar]] ve [[alan (matematik)|alanlar]] gibi daha genel cebirsel yapıların önemli özel örnekleri olarak kabul edilir ve "sayı" teriminin uygulanması, temel bir öneme sahip olmaksızın, bir konvansiyon meselesidir.<ref>Gouvêa, Fernando Q. ''[[The Princeton Companion to Mathematics]], II.1 Bölümü, "The Origins of Modern Mathematics"'', s. 82. Princeton University Press, 28 Eylül 2008. {{isbn|978-0-691-11880-2}}. "Today, it is no longer that easy to decide what counts as a 'number.' The objects from the original sequence of 'integer, rational, real, and complex' are certainly numbers, but so are the ''p''-adics. The quaternions are rarely referred to as 'numbers,' on the other hand, though they can be used to coordinatize certain mathematical notions."</ref>

==Tarihçe==

===Sayıların ilk kullanımı===

Kemikler ve üzerlerine kesik izleri yapılmış diğer eserler ile keşfedilmiştir ki, birçok kişi bunların [[çetele]] olduğuna inanmaktadır.{{r|Marshack_1971}} Bu çeteleler, geçen zamanın, örneğin gün sayısının, ay döngülerinin sayılması ya da çeşitli miktarların, örneğin hayvan sayılarının kaydı, tutulması için kullanılmış olabilir.

Bu çetele - çizik atma sistemi, modern [[Onlu sayı sistemi|ondalık]] gösterimdeki gibi basamak değeri kavramına sahip değildir. Bu da büyük sayıların temsilini sınırlar. Yine de, çetele - çizik atma sistemleri, ilk tür soyut sayı sistemi olarak kabul edilir.

Basamak kavramına sahip bilinen ilk sistem, M.Ö. 3400 civarına ait Antik Mezopotamya ölçü birimleri sistemidir ve bilinen en eski [[onlu sayı sistemi]] ise M.Ö. 3100 yılında [[Mısır]]'da gözlemlenmiştir.{{r|Buffalo_2012}}

===Rakamlar===
{{Ana|Sayı sistemi}}
Sayılar, sayıları temsil etmek için kullanılan semboller olan '''rakamlar'''dan ayırt edilmelidir. Mısırlılar ilk şifreli rakam sistemini icat ettiler ve Yunanlar sayma sayılarını İyon ve Dorik alfabesine aktararak bu yöntemi takip ettiler.{{r|Chrisomalis_2003}} Roma rakamları, Roma alfabesinden harflerin kombinasyonlarını kullanan bir sistem, Avrupa'da 14. yüzyılın sonlarına doğru [[Hint-Arap rakam sistemi]]nin yayılmasına kadar baskın kaldı ve Hint-Arap rakam sistemi günümüzde dünyada sayıları temsil etmek için kullanılan en yaygın sistem oldu.{{r|Cengage_Learning2}} Bu sistemin etkinliğinin sebebinin, M.S. 500 civarında antik Hint matematikçiler tarafından geliştirilen [[sıfır]] sembolü olduğu düşünülmektedir.{{r|Cengage_Learning2}}

===Sıfır===
[[Dosya:Khmer Numerals - 605 from the Sambor inscriptions.jpg|küçükresim|M.S. 683 tarihli bir yazıttan alınan [[Kmer rakamları]] ile yazılmış '605' sayısı. Sıfırın ondalık bir rakam olarak erken bir kullanımıdır.]]
[[Sıfır]]'ın belgelenmiş ilk bilinen kullanımı M.S. 628 yılına aittir ve ''[[Brāhmasphuṭasiddhānta]]'' içinde, Hint matematikçi [[Brahmagupta]]'nın ana eserinde yer alır. Brahmagupta, 0'ı bir sayı olarak ele almış ve aralarında [[sıfıra bölme|bölme]] de dahil olmak üzere, sıfırı içeren işlemleri tartışmıştır. Bu dönemde (7. yüzyıl), sıfır kavramı Kamboçya'ya [[Kmer rakamları]] olarak ulaşırken sıfırın daha sonra [[Çin]] ve [[İslam dünyası]]na yayıldığı görülmektedir.

''Brāhmasphuṭasiddhānta'' adlı eseriyle Brahmagupta, sıfırı sayı olarak ele alan bilinen ilk metni yazmıştır ve bu yüzden sıklıkla sıfır konseptini ilk tanımlayan kişi olarak görülür. Brahmagupta, sıfırın hem negatif hem de pozitif sayılarla birlikte kullanılabilmesine yönelik kurallar belirlemiştir; mesela "pozitif bir sayıya sıfır eklenirse sonuç yine pozitif sayı olur, negatif bir sayıya sıfır eklenirse sonuç negatif sayı olur" gibi. ''Brāhmasphuṭasiddhānta'', sıfırı yalnızca diğer bir sayının yerini tutan bir sembol ya da miktarın olmamasını belirten bir işaret olarak değil, aynı zamanda bağımsız bir sayı olarak kabul eden ilk yazılı kaynaklardan biridir ve bu özelliğiyle Babil matematiğinden ya da Ptolemy ve Romalıların yaklaşımlarından ayrılır.

0 sayısının kullanımı, [[Basamak (matematik)|basamak]] sistemlerinde bir yer tutucu rakam olarak kullanımından ayrılmalıdır. Birçok antik metin 0 rakamını kullanmıştır. Babil ve Mısır metinlerinde bu kullanıma rastlanır. Mısırlılar, çift girişli muhasebe sistemlerinde sıfır bakiyeyi belirtmek için ''nfr'' kelimesini kullanmışlardır. Hint metinleri, ''boşluk'' kavramını ifade etmek için [[Sanskritçe]] ''Shunye'' veya ''shunya'' kelimesini kullanmıştır. Matematik metinlerinde bu kelime genellikle sıfır sayısına atıfta bulunur.{{r|Sunsite_2012}} Benzer şekilde, M.Ö. 5. yüzyılda [[Panini]] Sanskrit dilinin cebirsel bir dilbilgisi için erken bir örnek olan ''[[Ashtadhyayi]]'''de boş (sıfır) işlevsel sözcüğünü kullanmıştır (ayrıca [[Pingala]]'ya bakınız).

Meksika'nın güney-orta bölgesinde yaşayan geç dönem [[Olmek]] halkı, Yeni Dünya'da, muhtemelen M.Ö. 4. yüzyılda ama kesinlikle M.Ö. 40 yılına kadar, sıfır için bir sembol, bir kabuk [[glif]]i kullanmaya başlamıştır. Bu sembol, [[Maya rakamları]]nın ve [[Maya takvimi]]nin ayrılmaz bir parçası haline gelir. Maya matematiği, temel olarak 4 ve 5'i, 20 tabanında yazılmış olarak kullanmıştır. George I. Sánchez, 1961'de temel 4, temel 5 "parmak" abaküsünü yayımlar.{{r|George_1961}}

M.S. 130 yılına gelindiğinde, [[Hipparkos]] ve Babillilerden etkilenen [[Ptolemy]], [[altmışlık sayı sistemi]] içinde başka bir yerde [[Yunan rakamları]] kullanırken 0 için uzun bir üst çizgi ile küçük bir daire şeklinde bir sembol kullanıyordu. Yalnızca bir yer tutucu olarak değil, tek başına kullanıldığı için bu [[Yunan rakamları#Helenistik sıfır|Helenistik sıfır]], Eski Dünya'da ''belgelenmiş'' gerçek bir sıfırın ilk kullanımıydı. Daha sonraki [[Bizans İmparatorluğu|Bizans]] elyazmalarında, ''Syntaxis Mathematica'' (''Almagest'') eserinde, Helenistik sıfır [[Yunan alfabesi|Yunan harfi]] [[Omikron]]'a (aksi takdirde anlamı 70) dönüşmüştü.

Bir başka özgün sıfır simgesi, 525 yılında Dionysius Exiguus tarafından ilk kez belgelendirilmiş olup, [[Roma rakamları]]nın yanı sıra tablolarda yer almıştır; ancak bu, bir sembol yerine "hiçlik" anlamına gelen "nulla" kelimesi şeklinde ifade edilmiştir. Bir bölme işlemi sonucunda kalan olarak 0 elde edildiğinde, yine "hiçlik" anlamına gelen "nihil" kelimesi tercih edilmiştir. Bu Orta Çağ dönemi sıfırları, sonraki dönemlerde Paskalya'nın hesaplanmasında görev alan tüm Orta Çağ hesapçıları tarafından kullanılmıştır. N harfinin tek başına kullanımı, [[Bede]] ya da bir çalışma arkadaşı tarafından yaklaşık 725 yılında Roma rakamlarının yer aldığı bir tabloda gerçek bir sıfır simgesi olarak kullanılmıştır.

===Negatif sayılar===

Negatif sayı kavramının soyut bir anlayışı, M.Ö. 100-50 yılları arasında Çin'de erkenden kabul görmüştür. ''[[Matematik Sanatı Üzerine Dokuz Bölüm]]'' adlı eser, geometrik şekillerin alanlarının hesaplanması yöntemlerini sunmakta ve bu bağlamda kırmızı çubuklar pozitif [[katsayı]]ları, siyah çubuklar ise negatif katsayıları temsil etmek üzere kullanılmıştır.{{r|Staszkow_2004}} Batı literatüründe negatif sayılara dair ilk atıf, M.S. 3. yüzyılda Yunanistan'da kaydedilmiştir. [[Diophantus]], ''[[Arithmetika]]'' eserinde {{kayma|4''x'' + 20 {{=}} 0}} (çözüm negatif) denklemine değinmiş ve bu denklemin mantıksız bir sonuç ortaya koyduğunu ifade etmiştir.

600'lerde, Hindistan'da negatif sayılar, borç miktarlarını ifade etme amacıyla kullanılmaya başlanmıştır. Diophantus'un daha önceki bahsi, 628 yılında ''Brāhmasphuṭasiddhānta'' eseriyle [[Brahmagupta]] tarafından daha detaylı bir şekilde ele alınmıştır. Brahmagupta, günümüzde de kullanılan genel ikinci dereceden denklem formülünün üretimi için negatif sayıları kullanmıştır. Ancak, 12. yüzyılda Hindistan'da [[II. Bhāskara|Bhaskara]], ikinci dereceden denklemler için negatif kökler sunmuş, fakat negatif değerin "bu durumda dikkate alınmaması gerektiğini, çünkü yetersiz olduğunu; negatif köklerin kabul görmediğini" ifade etmiştir.

17. yüzyıla dek Avrupa'daki matematikçiler genellikle negatif sayılar konseptine karşı çıkmışlardır; ancak [[Fibonacci]], bu sayıların borçlar olarak yorumlanabileceği finansal sorunlarda negatif çözümlere yer vermiştir ([[Liber Abaci]], 13. bölüm, 1202) ve sonraki çalışmalarında zararlar bağlamında da bunu sürdürmüştür (''Flos'''ta). [[René Descartes]], cebirsel polinomlarda karşılaştığı negatif kökleri "yanlış kökler" olarak nitelendirmiş, fakat zamanla gerçek köklerle yanlış kökler arasında bir yer değiştirme yöntemi geliştirmiştir. Bu dönemde Çinliler, pozitif sayının karşılık gelen rakamının en sağdaki sıfır olmayan basamağının üzerine çapraz bir çizgi çekerek negatif sayıları göstermekteydi.{{r|Smith_1958}} Negatif sayıların bir Avrupa çalışmasında kullanımına ilk rastlanan örnek, 15. yüzyılda [[Nicolas Chuquet]] tarafından gerçekleştirilmiştir. Chuquet, bu sayıları [[üs]]ler olarak kullanmış, ancak onlara "absürt sayılar" demiştir.

18. yüzyıla dek matematiksel pratiklerde, denklemlerden elde edilen negatif sonuçların anlamsız olduğu kabulüyle bu tür sonuçların dikkate alınmaması genel bir yaklaşımdı.

=== Rasyonel sayılar ===

Kesirli sayı kavramının [[Tarih öncesi|tarihöncesi dönemler]]e uzandığı düşünülmektedir. [[Antik Mısır]] uygarlığı, [[Rhind Papirüsü|Rhind Matematik Papirüsü]] ve [[Kahun Papirüsü]] gibi matematiksel dokümanlarında rasyonel sayılar için özel bir [[Mısır kesri]] notasyonu geliştirmiştir. Antik Yunan ve Hint matematikçiler, [[sayı teorisi]]nin genel incelemesi çerçevesinde, rasyonel sayılar teorisine dair çalışmalar yapmışlardır.{{r|Khan_Academy_2022}} Bu çalışmalar arasında en meşhuru, M.Ö. 300 yıllarına tarihlenen [[Öklid'in Elementleri|Öklid'in ''Elementleri'']] eseridir. Hint literatüründe ise, matematiksel çalışmaların genel bir parçası olarak sayı teorisini ele alan [[Sthananga Sutra]] ön plana çıkmaktadır.

[[Onlu sayı sistemi|Ondalık kesir]]lerin kavramı, ondalık basamak gösterimiyle sıkı bir bağlantıya sahiptir ve bu iki kavramın paralel olarak geliştiği düşünülmektedir. Örneğin, Jain matematiğine ait [[sutra]]larda [[pi sayısı]]nın veya [[Karekök 2|2'nin kare kökü]]nün ondalık kesir yaklaşıklarının hesaplamaları sıkça yer almaktadır. Ayrıca, Babil matematik metinlerinde altmışlık sistem (taban 60) kullanılarak kesirler yaygın olarak işlenmiştir.

=== İrrasyonel sayılar ===

İrrasyonel sayılar konseptinin kullanıldığına dair kaydedilmiş en eski örnek, M.Ö. 800 ile 500 yılları arasında kaleme alınan Hindistan'a ait [[Sulba Sutraları]]'nda yer almaktadır.{{r|Selin_2020}} İrrasyonel sayıların varoluşuna dair ilk ispatlar, genel kabul görmüş olarak [[Pisagor]]'a ve özellikle [[Pisagorculuk|Pisagorcu]] [[Hippasus|Metapontumlu Hippasus]]'a atfedilmektedir. Hippasus, [[Karekök 2|2'nin karekökü]]nün irrasyonelliğini kanıtlayan bir çalışma gerçekleştirmiştir, bu çalışmanın büyük olasılıkla geometrik yöntemlerle yapıldığı düşünülmektedir. Rivayete göre, Hippasus 2'nin karekökünü bir kesir olarak temsil etme çabası içindeyken irrasyonel sayıları bulmuştur. Ancak Pisagor, sayıların kesinliğine olan inancı nedeniyle irrasyonel sayıları kabul edememiştir. Onların varlığını mantıksal olarak çürütememiş olmasına rağmen irrasyonel sayıları kabullenememiş ve bu nedenle, iddia edildiği üzere, bu rahatsız edici bilginin yayılmasını önlemek amacıyla Hippasus'u boğarak idam ettirdiği sıkça ileri sürülmüştür.{{r|Frischer_1984}}

16. yüzyıl, [[Negatif sayı|negatif]] tam sayılar ve [[kesir]]li değerlerin Avrupa matematik topluluğu tarafından sonunda benimsendiği bir dönemi işaret etmektedir. 17. yüzyıla gelindiğinde, ondalık kesirlerin modern notasyonu matematikçiler arasında yaygın bir şekilde kullanılmaya başlanmıştır. Ne var ki, irrasyonel sayıların cebirsel ve aşkınsal bileşenlere ayrılması ve bu sayıların bilimsel olarak incelenmesi 19. yüzyıla dek gerçekleşmemiştir; bu alan, [[Öklid]] döneminden itibaren büyük ölçüde atıl kalmıştır. 1872 yılında, [[Karl Weierstrass]], [[Eduard Heine]],<ref>Eduard Heine, [[doi:10.1515/crll.1872.74.172|"Die Elemente der Functionenlehre"]], ''[Crelle's] Journal für die reine und angewandte Mathematik'', No. 74 (1872): 172–188.</ref> [[Georg Cantor]]<ref>Georg Cantor, [[doi:10.1007/BF01446819|"Ueber unendliche, lineare Punktmannichfaltigkeiten", pt. 5]], ''Mathematische Annalen'', 21, 4 (1883‑12): 545–591.</ref> ve [[Richard Dedekind]]<ref>Richard Dedekind, ''[https://books.google.com/books?id=n-43AAAAMAAJ Stetigkeit & irrationale Zahlen] {{Webarşiv|url=https://web.archive.org/web/20210709184745/https://books.google.ca/books?id=n-43AAAAMAAJ |tarih=9 Temmuz 2021 }}'' (Braunschweig: Friedrich Vieweg & Sohn, 1872). Subsequently published in: ''———, Gesammelte mathematische Werke'', ed. Robert Fricke, Emmy Noether & Öystein Ore (Braunschweig: Friedrich Vieweg & Sohn, 1932), vol. 3, pp. 315–334.</ref> gibi matematikçilerin teorilerinin yayımlanmasıyla, irrasyonel sayılar üzerine bilimsel çalışmalar yeniden canlanmıştır. [[Charles Méray]], 1869 yılında Heine ile benzer bir başlangıç noktasından hareket etmiş olmasına rağmen, bu teori genellikle 1872 yılına atfedilmektedir. Weierstrass'ın metodolojisi, [[Salvatore Pincherle]] tarafından 1880 yılında tam anlamıyla ortaya konulmuş, Dedekind'in yaklaşımı ise yazarın sonraki çalışmaları ve [[Paul Tannery]]'nin desteğiyle daha da önem kazanmıştır. Weierstrass, Cantor ve Heine, teorilerini sonsuz serilere dayandırırken, Dedekind, gerçek sayılar sisteminde, rasyonel sayıları belirli özelliklere göre iki gruba ayıran bir kesit (Dedekind kesiti) kavramı üzerine kurmuştur. Bu alandaki çalışmalar, Weierstrass, [[Leopold Kronecker|Kronecker]],<ref>L. Kronecker, [[doi:10.1515/crll.1887.101.337|"Ueber den Zahlbegriff"]], ''[Crelle's] Journal für die reine und angewandte Mathematik'', No. 101 (1887): 337–355.</ref> ve Méray gibi matematikçilerin katkılarıyla daha da geliştirilmiştir.

Beşinci derece ve üstü denklemlerin köklerinin aranması, matematikte önemli bir ilerlemeyi temsil etmektedir; [[Abel teoremi|Abel-Ruffini teoremi]] (Ruffini 1799, Abel 1824), bu tür denklemlerin [[kökaltı]] (sadece aritmetik işlemler ve kökler içeren formüller) aracılığıyla çözülemediğini ortaya koymuştur. Dolayısıyla, polinom denklemlerine ait tüm çözümleri kapsayan geniş [[cebirsel sayılar]] kümesinin dikkate alınması zorunlu hale gelmiştir. [[Galois]] (1832), polinom denklemleri ile grup teorisini bağdaştırarak Galois teorisinin temellerini atmış ve bu alanda yeni bir disiplin yaratmıştır.

[[Sürekli kesirler]], irrasyonel sayılar ile yakın bir ilişkiye sahip olup Cataldi tarafından 1613 yılında tanımlanmıştır; [[Euler]]'in<ref>Leonhard Euler, "Conjectura circa naturam aeris, pro explicandis phaenomenis in atmosphaera observatis", ''Acta Academiae Scientiarum Imperialis Petropolitanae'', 1779, 1 (1779): 162–187.</ref> çalışmalarıyla ve 19. yüzyılın başında [[Joseph Louis Lagrange]]'ın eserleri aracılığıyla bilim dünyasında dikkat çekmiştir. Bu alandaki diğer önemli katkılar, Druckenmüller (1837), Kunze (1857), Lemke (1870) ve Günther (1872) tarafından sağlanmıştır. Ramus,<ref>Ramus, "Determinanternes Anvendelse til at bes temme Loven for de convergerende Bröker", in: ''Det Kongelige Danske Videnskabernes Selskabs naturvidenskabelige og mathematiske Afhandlinger'' (Kjoebenhavn: 1855), p. 106.</ref> bu konuyu ilk kez [[determinant]]lar ile ilişkilendirerek, Heine,<ref>Eduard Heine, [[doi:10.1515/crll.1859.56.87|"Einige Eigenschaften der ''Lamé''schen Funktionen"]], ''[Crelle's] Journal für die reine und angewandte Mathematik'', No. 56 (Jan. 1859): 87–99 at 97.</ref> [[Möbius]] ve Günther'in<ref>Siegmund Günther, ''Darstellung der Näherungswerthe von Kettenbrüchen in independenter Form'' (Erlangen: Eduard Besold, 1873); ———, "Kettenbruchdeterminanten", in: ''Lehrbuch der Determinanten-Theorie: Für Studirende'' (Erlangen: Eduard Besold, 1875), c. 6, pp. 156–186.</ref> sonraki katkıları ile birlikte, ''Kettenbruchdeterminanten'' teorisinin temelini atmıştır. Bu teori, sürekli kesirlerin matematiksel analizinde önemli bir yere sahiptir ve determinantlar aracılığıyla bu kesirlerin yapısal özelliklerinin incelenmesine olanak tanır.

===Aşkınsal (Transendental) sayılar===

Aşkınsal (Transendental) sayıların ve reel sayıların mevcudiyeti, [[Joseph Liouville|Liouville]] tarafından 1844 ve 1851 yıllarında ilk defa ispatlanmıştır. [[Charles Hermite|Hermite]],, 1873 yılında gerçekleştirdiği çalışmada, ''e'' sayısının aşkınsal nitelikte olduğunu ortaya koymuştur ve [[Ferdinand von Lindemann|Lindemann]] da 1882 yılında π sayısının aşkınsal olduğunu kanıtlamıştır. Cantor ise, [[reel sayılar]] kümesinin sayılamaz derecede sonsuz olduğunu, fakat [[cebirsel sayılar]] kümesinin sayılabilir derecede sonsuz olduğunu göstererek, sayılamaz derecede sonsuz miktarda aşkınsal sayının var olduğunu ispatlamıştır. Bu bulgular, matematikte aşkınsal sayılar ve reel sayılar teorisinin temel taşlarını oluşturmaktadır.

===Sonsuz ve Sonsuzküçükler===

Matematiksel [[sonsuzluk]] anlayışının en antik örneği, [[Yajur Veda]] gibi eski bir Hint yazıtında bulunmaktadır. Bu metinde, "Eğer sonsuzluktan bir kısmı çıkartırsanız ya da sonsuzluğa bir kısmı eklerseniz, geriye kalan yine de sonsuz olacaktır." ifadesi yer almaktadır. Sonsuzluk, M.Ö. 400 yıllarında [[Jain]] matematikçileri arasında yoğun bir şekilde felsefi bir tartışma konusu olmuştur. Bu matematikçiler, sonsuzluğun beş farklı türünü tanımlamışlardır: tek ve iki yönde sonsuz, alansal olarak sonsuz, her yönden sonsuz ve sürekli olarak sonsuz. Sonsuz bir niceliği ifade etmek için sıklıkla <math>\text{∞}</math> sembolü kullanılmaktadır.

[[Aristo]], Batı matematiğinin geleneksel sonsuzluk kavramını tanımlamıştır. [[Gerçek sonsuzluk]] ile [[potansiyel sonsuzluk]] arasında bir ayrım yapmış ve genel olarak sadece sonuncusunun gerçek bir değere sahip olduğu kabul edilmiştir. [[Galileo Galilei]]'nin ''[[Two New Sciences]]'' adlı çalışması, sonsuz kümeler arasında [[Birebir örten fonksiyon|birbirine tekabül eden eşlemelerin]] fikrini ele almıştır. Ancak, teorideki önemli bir sonraki ilerleme [[Georg Cantor]] tarafından gerçekleştirilmiştir. Cantor, 1895 yılında yeni [[Kümeler teorisi|küme teorisini]] konu alan bir eser yayımlamış, bu eserinde transfinite sayılarını tanıtmış ve [[süreklilik hipotezi]]ni formüle etmiştir. Bu çalışmalar, matematikte sonsuzluk teorisinin gelişiminde önemli dönüm noktaları olarak kabul edilir.

1960'larda [[Abraham Robinson]], sonsuz büyüklükteki ve sonsuz küçüklükteki sayıların, standart olmayan analiz alanını geliştirecek şekilde kesin olarak tanımlanabileceği ve kullanılabileceği bir yöntem ortaya koymuştur. [[Hiper reel sayılar]] sistemi, [[Isaac Newton]] ve [[Gottfried Leibniz]]'in [[Kalkülüs|sonsuz küçük hesaplamalarını]] icat etmelerinden bu yana matematikçiler, bilim insanları ve mühendisler tarafından yaygın bir şekilde kullanılan [[sonsuz]] ve [[sonsuz küçük|sonsuzküçük]] sayılarla ilgili fikirleri kesin bir metodoloji çerçevesinde ele alır. Bu sistem, söz konusu kavramların matematikte daha sistematik bir şekilde işlenmesine olanak tanımıştır.

[[Projektif geometri]], sonsuzluğun modern bir geometrik yorumunu sunar ve her bir uzaysal yönde "sonsuzluktaki ideal noktaları" tanımlar. Belirli bir yöndeki paralel çizgi ailelerinin her birinin, ilgili ideal noktaya doğru yakınsaması öngörülür. Bu kavram, [[perspektif]] çizimlerdeki kaybolma noktaları fikriyle sıkı bir şekilde bağlantılıdır ve geometrik çizimlerde derinlik ve uzaklık hissi oluşturulmasında temel bir rol oynar.

===Karmaşık sayılar===

Negatif sayıların kareköklerine dair ilk geçici değinme, [[İskenderiyeli Heron]]'nun 1. yüzyılda gerçekleştirdiği çalışmalarda, gerçekleştirilemez bir kesik [[piramit|piramidin]] hacmini değerlendirirken görülmüştür. Bu konsept, [[Niccolò Tartaglia|Niccolò Fontana Tartaglia]] ve [[Gerolamo Cardano]] gibi İtalyan matematikçiler tarafından 16. yüzyılda üçüncü ve dördüncü derece polinomların kökleri için kapalı formüllerin keşfedilmesiyle daha da önem kazandı. Bu formüllerin, gerçek çözümlere olan ilgiye rağmen, bazen negatif sayıların kareköklerinin işlenmesini gerektirdiği kısa sürede fark edildi.

Bu durum, negatif sayıların o dönemde bile sağlam bir temele oturtulmamış olması nedeniyle daha da rahatsız ediciydi. [[René Descartes]]'ın 1637'de bu nicelikler için "imajiner" terimi türettiğinde, bunu küçümseyici bir niyetle yapmıştı. Karışıklığa neden olan bir diğer faktör, şu denklemin
:<math>\left ( \sqrt{-1}\right )^2 =\sqrt{-1}\sqrt{-1}=-1</math>
cebirsel özdeşlikle keyfi bir şekilde çelişkili görünmesiydi
:<math>\sqrt{a}\sqrt{b}=\sqrt{ab},</math>
bu, pozitif gerçek sayılar ''a'' ve ''b'' için geçerlidir ve ''a'', ''b'''den biri pozitif diğeri negatifken karmaşık sayı hesaplamalarında kullanılmıştır. Bu özdeşliğin yanlış kullanımı ve ilgili özdeşlik
:<math>\frac{1}{\sqrt{a}}=\sqrt{\frac{1}{a}}</math>
her iki ''a'' ve ''b'' de negatif olduğunda bile [[Euler]]'i zor durumda bırakmıştır. Bu zorluk, Euler'i bu hatadan korumak amacıyla <math>\sqrt{-1}</math> yerine özel ''i'' sembolünü kullanmaya yönlendirir.

18. yüzyıl, [[Abraham de Moivre]] ve [[Leonhard Euler]] gibi matematikçilerin önemli çalışmalarına sahne oldu. De Moivre'in formülü (1730), aşağıdaki matematiksel ifadeyi ortaya koydu:
:<math>(\cos \theta + i\sin \theta)^{n} = \cos n \theta + i\sin n \theta </math>
Öte yandan, karmaşık analiz alanında Euler'in formülü (1748), matematiğe şu önemli eşitliği kazandırdı:
:<math>\cos \theta + i\sin \theta = e ^{i\theta }. </math> 
Bu formüller, trigonometri ve karmaşık sayılar teorisindeki temel ilişkileri kurarak, bu alanlarda derinlemesine çalışmalara olanak tanımıştır.

Karmaşık sayıların mevcudiyeti, [[Caspar Wessel]]'in 1799 yılında geometrik bir yorumlamayla açıklamasına kadar tam anlamıyla kabul görmemişti. [[Carl Friedrich Gauss]], bu konsepti birkaç yıl sonra yeniden keşfedip popülerleştirdi ve bunun sonucunda karmaşık sayılar teorisi önemli ölçüde genişletildi. Ancak, karmaşık sayıların grafiksel olarak temsil edilme fikri, [[John Wallis]]'in 1685 yılında yayımlanan ''De algebra tractatus'' isimli çalışmasında zaten mevcuttu.

Gauss, aynı yıl içerisinde, karmaşık sayılar alanında her polinomun bu alan içerisinde tam bir çözüm setine sahip olduğunu ispatlayarak, [[cebirin temel teoremi]]ne dair genel kabul görmüş ilk kanıtı ortaya koymuştur. Gauss, ''a'' ve ''b'' değerlerinin tam sayılar (günümüzde Gauss tam sayıları olarak bilinir) veya rasyonel sayılar olduğu ''a'' + ''bi'' biçimindeki karmaşık sayıları ele almıştır. Gauss'un öğrencisi [[Gotthold Eisenstein]] ise, ''ω'' değerinin ''x''<sup>3</sup> − 1 = 0 denkleminin karmaşık bir kökü olduğu ''a'' + ''bω'' şeklindeki karmaşık sayıları incelemiştir (bu sayılar günümüzde Eisenstein tam sayıları olarak adlandırılır). ''x''<sup>''k''</sup> − 1 = 0 denkleminden türetilen birlik kökleri için ''k'' değerinin yüksek olduğu durumlar için tanımlanan diğer karmaşık sayı sınıfları (döngüsel alanlar olarak adlandırılır), karmaşık sayılar alanındaki bu genişlemeye katkıda bulunmuştur. Bu genelleme, büyük ölçüde [[Ernst Kummer]]'a aittir; Kummer, ideal sayıları da icat etmiş olup, bu sayılar 1893 yılında [[Felix Klein]] tarafından geometrik nesneler olarak tanımlanmıştır.

1850 yılında [[Victor Alexandre Puiseux]], karmaşık sayılar teorisinde önemli bir gelişmeye imza atarak kutuplar ile dalga kırılma noktaları arasındaki farkı belirginleştirdi ve [[matematiksel tekillik]]lerin temelini oluşturan esas tekillik noktaları kavramını ortaya koydu. Bu yaklaşım, genişletilmiş [[Riemann küresi|karmaşık düzlem kavramının]] temellerinin atılmasına önayak oldu.

===Asal sayılar===

[[Asal sayılar]], kayıtlı tarihin her evresinde araştırma konusu olmuştur. Bunlar, yalnızca 1 ve kendileri ile bölünebilme özelliğine sahip pozitif tam sayılardır. Öklid, ''Elementler'' adlı eserinin bir bölümünü asal sayılar teorisine adamıştır; bu bölümde, asal sayıların sonsuz olduğunu ve [[aritmetiğin temel teoremi]]ni ispatlamış, aynı zamanda iki sayının [[Ortak bölen|en büyük ortak bölenini]] bulmak için [[Öklid algoritması]]nı tanıtmıştır.

M.Ö. 240 yılında, [[Eratosthenes]], asal sayıları etkin bir şekilde saptamak için [[Eratosten kalburu]] yöntemini kullanmıştır. Ancak, asal sayılar teorisindeki önemli gelişmelerin çoğu, Avrupa'da [[Rönesans]] dönemi ve sonrasına aittir.

1796 yılında [[Adrien-Marie Legendre]], asal sayıların asimptotik dağılımını açıklayan [[asal sayı teoremi]]ni tahmin etmiştir. Asal sayıların dağılımı ile ilgili diğer önemli bulgular arasında, Euler'in asal sayıların karşılıklı değerlerinin toplamının diverjansını ispatlaması ve herhangi bir yeterince büyük çift sayının iki asal sayının toplamı şeklinde ifade edilebileceğini öne süren [[Goldbach hipotezi|Goldbach varsayımı]] yer almaktadır. Asal sayıların dağılımı ile ilgili bir diğer önemli varsayım ise, [[Bernhard Riemann]] tarafından 1859 yılında formüle edilen [[Riemann hipotezi]]dir. Asal sayı teoremi, [[Jacques Hadamard]] ve [[Charles de la Vallée-Poussin]] tarafından 1896 yılında kanıtlanmıştır. Goldbach ve Riemann'ın varsayımları ise hâlâ ne kanıtlanmış ne de çürütülmüştür.

== Sınıflandırma ==

Sayılar, doğal sayılar ve reel sayılar gibi, 'sayı kümeleri' veya 'sayı sistemleri' adı verilen matematiksel kümeler içerisinde sınıflandırılabilir. Temel sayı sistemleri aşağıdaki gibidir:

{|class="wikitable" style="margin: 1em auto; max-width: 600px; overflow-x: auto"
|+ Temel sayı sistemleri
|-
!<math>\mathbb{N}</math>
![[Doğal sayılar]]
| 0, 1, 2, 3, 4, 5, ... or 1, 2, 3, 4, 5, ...<br />
<math>\mathbb{N}_0</math> veya <math>\mathbb{N}_1</math> kullanılır.
|-
!<math>\mathbb{Z}</math>
![[Tam sayılar]]
|..., −5, −4, −3, −2, −1, 0, 1, 2, 3, 4, 5, ...
|-
!<math>\mathbb{Q}</math>
![[Rasyonel sayılar]]
|{{sfrac|''a''|''b''}}'da ''a'' ve ''b'' tam sayı ve ''b'' ≠ 0
|-
!<math>\mathbb{R}</math>
![[Reel sayılar]]
|Rasyonel sayılardan oluşan bir yakınsak dizinin limit değeri
|-
!<math>\mathbb{C}</math>
![[Karmaşık sayılar]]
|''a'' + ''bi'' şeklinde ifade edilen, burada ''a'' ve ''b'' reel sayılar olup, ''i'' ise -1'in formal karekökünü temsil eder
|}

Bu sayı sistemlerinden her biri, bir sonraki sayı sisteminin alt kümesini oluşturur. Dolayısıyla, bir rasyonel sayının aynı zamanda bir reel sayı olduğu ve her reel sayının da bir karmaşık sayı olduğu söylenebilir. Bu durum sembolik olarak şu şekilde gösterilebilir:

:<math>\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}</math>.

Bir tablo olarak sayılar için şöyle sınıflandırma yapılabilir:

:<math>
    \scriptstyle\mathbb{C} \mbox{    Karmaşık}
    \begin{cases} 
        \scriptstyle\mathbb{R} & \mbox{Gerçek}
        \begin{cases}
            \scriptstyle\mathbb{Q} & \mbox{Rasyonel}
                \begin{cases}
                    \scriptstyle\mathbb{Z} & \mbox{Tam sayılar}
                    \begin{cases}
                        \scriptstyle\mathbb{N} & \mbox{Doğal Sayılar} \\
                                  
                    \end{cases}\\
                                & \mbox{Oranlı}
                \end{cases}\\
                       & \mbox{İrrasyonel}
        \end{cases}\\jjj
         & \mbox{Sanal}
    \end{cases}
</math>

Aşağıdaki diyagramda, sayı kümelerine ilişkin daha kapsamlı bir listeleme yer almaktadır.

<center>{{Sayıların sınıflandırması}}</center>

=== Sayma sayılar ===
{{Ana|Sayma sayıları}}
[[Sayma sayıları]] boştan farklı bir kümenin elemanlarını azlık veya çokluk yönünden nitelemekten ziyade onların içindeki eleman miktarına göre verilen bir temsilciler kümesi olarak tanımlanır. Temsilcilere verilen isme kanonik temsilci denir. Her sayma sayısı aynı zamanda bir kanonik temsilcidir. Sayma sayılarına sıfırın dahil olmamasının sebebi boş kümenin içinde temsil edecek bir elemanın olmamasıdır.

<math>\scriptstyle\mathbb{N}^+ = \left\{ 1, 2, 3, ... \right\} </math>

=== Doğal sayılar ===
{{Ana|Doğal sayılar}}
[[Dosya:Nat num.svg|küçükresim|1'den itibaren doğal sayılar]]

[[Doğal sayılar]] 0'dan başlayarak sonsuza kadar giden sayılardır. Matematikte ''doğal sayılar kümesi'' <math>\scriptstyle\mathbb N</math> ile gösterilir. Doğal sayılar ismi bu sayıların doğada görüp tanıdığımız sayılar olduğu fikrinden ileri gelmektedir. Doğal sayılar kümesi "0" ve pozitif tüm tam sayıların olduğu kümedir.

<math>\scriptstyle\mathbb{N} =  \{ 0, 1, 2, 3, 4, 5, 6, 7, ...  \}</math>

0 sayısı, [[Antik Yunan]] döneminde dahi sayı olarak kabul edilmezdi. Ancak 19. yüzyılda, küme teorisyenleri ve diğer matematikçiler, 0'ı (boş kümenin kardinalitesi, yani 0 eleman, bu nedenle 0 en küçük kardinal sayı olarak kabul edilir) doğal sayılar kümesine dahil etmeye başladılar.<ref>
{{MathWorld|başlık=Natural Number|id=NaturalNumber}}</ref>{{r|Merriam-Webster_2019}} Günümüzde, matematikçilerin farklı yaklaşımları neticesinde, terim hem 0'ı içeren hem de içermeyen sayı kümelerini tanımlamak için kullanılmaktadır. Tüm doğal sayılar kümesini ifade etmek için kullanılan matematiksel sembol '''N''' olup, <math>\mathbb{N}</math> şeklinde gösterilir ve kümenin 0 ile mi yoksa 1 ile mi başlayacağını belirtmek amacıyla <math>\mathbb{N}_0</math> veya <math>\mathbb{N}_1</math> şeklinde ifade edilir.

[[Onlu sayı sistemi]], günümüzde matematiksel işlemler için yaygın olarak kullanılan sistem olup, doğal sayıların gösterimi için on adet sayısal basamak kullanır: 0, 1, 2, 3, 4, 5, 6, 7, 8 ve 9. [[Taban (aritmetik)|Radiks]] veya taban, bir sayı sisteminin sayıları ifade etmek için kullandığı, sıfır dahil olmak üzere, benzersiz sayısal basamakların toplam sayısını belirtir (ondalık sistem için bu değer 10'dur). Bu onlu taban sistemde, bir doğal sayının en sağdaki basamağının basamak değeri 1 olup, diğer basamakların her birinin basamak değeri, hemen sağında yer alan basamağın basamak değerinin on katı kadar olur.

[[Kümeler teorisi|Küme teorisi]], modern matematiğin aksiyomatik bir temeli olarak görev yapabilir ve bu çerçevede,{{r|Suppes_1972}} doğal sayılar, eşit büyüklükteki kümelerin sınıflandırılması yoluyla ifade edilebilir. Mesela, 3 sayısı, tam olarak üç öğeye sahip olan tüm kümelerin bir sınıfı olarak ifade edilebilir. Diğer bir yöntem olarak, [[Peano aksiyomları|Peano Aritmetiği]]'nde 3 sayısı, sss0 olarak gösterilir; burada 's', "ardıl" fonksiyonunu temsil eder (bu bağlamda 3, 0 sayısının üçüncü ardılı olarak kabul edilir). 3 sayısını formel olarak ifade etmek için birçok farklı yöntem mevcuttur; tek gereken, belirli bir sembolü veya sembol dizisini üç defa işaretlemektir.

=== Tam sayılar ===
{{Ana|Tam sayılar}}
Tam sayılar eksi sonsuzdan artı sonsuza kadar giderler. Yani "0"ın iki yanından sonsuza kadar uzanırlar. ''Tam sayılar kümesi'' <math>\scriptstyle\mathbb Z</math> ile gösterilir. Buradaki Z harfi, Almanca 'Zahl' (sayı) kelimesinden türemiştir.

<math>\scriptstyle\mathbb Z = \{..., -4, -3, -2, -1, 0, 1, 2, 3, ... \} </math>

==== Pozitif tam sayılar ====
Başında "+" işareti bulunan veya bir şey bulunmayan tam sayılar '''pozitif tam sayılar''' adını alırlar. Sayı ekseninde (sayı doğrusunda) 0'ın sağ yanında yer alırlar. Tüm sayma sayıları pozitif tam sayılardır. ''Pozitif tam sayılar kümesi'' <math>\scriptstyle\mathbb Z^{+}</math> ile gösterilir ve aşağıdaki gibi tanımlıdır:

<math>\scriptstyle\mathbb Z^{+} = \{ +1, +2, +3, +4, +5... \} </math>

==== Negatif tam sayılar ====
Başında "-" işareti olan tam sayılar '''negatif tam sayılar''' adını alırlar. Sayı ekseninde 0'ın sol yanında yer alırlar. ''Negatif tam sayılar kümesi'' <math>\scriptstyle\mathbb Z^{-}</math> ile gösterilir. Cebirde çıkarma işlemi bu sayıların diğer tam sayılarla toplanması olarak ifade edilir.

<math>\scriptstyle\mathbb Z^{-} = \{ ..., -3, -2, -1 \} </math>

==== Sıfır ====
Tam sayıdır. Sıfır (0) negatif veya pozitif bir tam sayı değildir. Bir uzlaşma noktasıdır. Bu iki kümeden herhangi birinde yer almaz. Ancak tam sayılar aşağıdaki gibi de tanımlanabilir:

<math>\scriptstyle\mathbb Z = \scriptstyle\mathbb Z^{-} \cup \{ 0 \} \cup \scriptstyle\mathbb Z^{+}</math>

Sıfırın doğal sayı kabul edilmediği (akademik) çevreler azımsanmayacak kadar fazladır. Sıfırı dahil eden çevreler ''doğal sayılar kümesi''ni <math>\scriptstyle\mathbb{N}_{(0)}</math> sembolü ile gösterirler, sıfırı dahil etmeyen çevrelerse sıfırın dahil olmadığı ''sayma sayıları kümesi''ni <math>\scriptstyle\mathbb{N}^{+}</math> ile gösterirler.

=== Rasyonel sayılar ===
{{Ana|Rasyonel sayılar}}

Bir rasyonel sayı, tam sayı bir pay ve pozitif tam sayı bir payda ile ifade edilebilen bir [[kesir]] olarak tanımlanır. Negatif paydalar kullanılabilir ancak her rasyonel sayı pozitif bir payda ile eşit olduğundan, genellikle bu durumdan kaçınılır. Kesirler, pay ve payda olarak iki tam sayı ile ifade edilir ve bu iki sayı arasında bir bölme işareti bulunur. {{sfrac|''m''|''n''}} kesri, ''n'' eşit parçaya bölünmüş bir bütünün ''m'' parçasını ifade eder. Farklı iki kesir, aynı rasyonel sayıyı temsil edebilir; örneğin {{sfrac|1|2}} ile {{sfrac|2|4}} birbirine eşittir, yani:
:<math>{1 \over 2} = {2 \over 4}.</math>

Genel bir ifade ile,
:<math>{a \over b} = {c \over d}</math>, sadece ve sadece <math>{a \times d} = {c \times b}.</math> olduğunda geçerlidir.

Eğer ''m'' sayısının [[mutlak değer]]i, pozitif kabul edilen ''n'' sayısından daha büyükse, kesirin mutlak değeri 1'den fazla olacaktır. Kesirler, 1'e göre büyük, küçük veya ona eşit olabilirler; ayrıca pozitif, negatif veya 0 değerlerini alabilirler. Tüm rasyonel sayılar kümesi, her bir tam sayının paydası 1 olarak belirlenebilen bir kesir biçiminde ifade edilebildiği için, tam sayıları da kapsar. Örnek olarak −7 sayısı, {{sfrac|−7|1}} şeklinde ifade edilebilir. Rasyonel sayılar için kullanılan sembol 'Q'dur (quotient, yani bölüm kelimesinden gelir) ve <math>\mathbb{Q}</math> şeklinde de gösterilir.

=== Reel sayılar ===
{{Ana|Reel sayılar}}

''İrrasyonel sayılar'' kümesi ile ''rasyonel sayılar'' kümesinin birleşimi '''gerçek sayılar''' kümesini oluşturur. Bu kümeye ''reel sayılar'' veya gerçek sayılar da denir.

Reel sayılar için kullanılan sembol 'R'dir ve <math>\mathbb{R}</math> şeklinde de ifade edilir. Bu sembol, ölçümle ilgili tüm sayıları kapsar. Her bir reel sayı, sayı doğrusu üzerinde belirli bir noktayla ilişkilendirilir. İzleyen metin, özellikle pozitif reel sayılar üzerine yoğunlaşacaktır. Negatif reel sayıların işlenişi, aritmetik kuralların genel prensipleri çerçevesinde gerçekleştirilir ve bunların gösterimi, karşılık gelen pozitif sayının önüne eksi işareti eklenerek yapılır, mesela -123.456.

Birçok reel sayı, ancak ondalık sayılar aracılığıyla ''yaklaşık'' bir biçimde temsil edilebilir; bu durumda ondalık nokta, birler basamağındaki rakamın hemen sağ tarafına konumlandırılır. Ondalık noktasının sağ tarafında yer alan her bir rakam, solundaki rakamın basamak değerinin onda birine eşit bir değere sahiptir. Mesela, 123.456 sayısı, {{sfrac|123456|1000}} olarak ifade edilir ki bu, yüz iki on, üç bir, dört ondalık, beş yüzdelik ve altı binde bir anlamına gelir. Bir reel sayı, yalnızca rasyonel ise ve onun kesirli kısmı, 2 veya 5 sayılarının asal çarpanlarını içeren bir paydaya sahipse, sınırlı sayıda ondalık basamak ile ifade edilebilir. Bu sayılar, ondalık sistemdeki taban olan 10'un asal çarpanlarıdır. Örneğin, bir yarım için 0.5, bir beşte bir için 0.2, bir onda bir için 0.1 ve bir elli de bir için 0.02 değerleri kullanılır. Diğer reel sayıları ondalık olarak ifade etmek, ondalık noktasının sağ tarafında sonsuz bir rakam dizisi gerektirecektir. Eğer bu sonsuz rakam dizisi belli bir deseni izliyorsa, bu desen üç nokta veya deseni gösteren diğer bir gösterim ile ifade edilebilir. Bu tür bir ondalık sayıya 'tekrar eden ondalık' denir. Bu bağlamda, {{sfrac|1|3}} sayısı, desenin sürekliliğini belirten üç nokta ile 0.333... şeklinde ifade edilir. Sürekli tekrar eden 3'ler ayrıca 0.{{overline|3}} şeklinde de gösterilir.{{r|Weisstein_2020}}

Bu tekrar eden ondalık sayılar (sıfırların yeniden oluşumu dahil), rasyonel sayıları kesinlikle belirtir; yani, her rasyonel sayı reel bir sayıdır ancak her reel sayının rasyonel olması gerekmez. Rasyonel olmayan reel sayılara [[irrasyonel sayı]] adı verilir. Tanınmış irrasyonel gerçek sayılardan biri, herhangi bir dairenin çevresinin çapına oranı olan [[pi sayısı|{{pi}}]] sayısıdır. Pi, bazen
:<math>\pi = 3.14159265358979\dots,</math>
şeklinde ifade edildiğinde, noktalı virgül, ondalık kısmın tekrar ettiğini değil, ondalık kısmın sonunun olmadığını gösterir. {{pi}} sayısının irrasyonel olduğu ispatlanmıştır. İrrasyonel bir reel sayı olduğu ispatlanan diğer bir ünlü sayı,
:<math>\sqrt{2} = 1.41421356237\dots,</math>
2'nin kareköküdür, yani karesi 2 olan benzersiz pozitif gerçek sayıdır. Bu iki sayı, trilyonlarca {{kayma|( 1 trilyon {{=}} 10<sup>12</sup> {{=}} 1,000,000,000,000 )}} basamağa kadar (bilgisayar yardımıyla) yaklaşık olarak hesaplanmıştır.

Bu belirgin örneklerin yanı sıra, reel sayıların neredeyse tamamı irrasyonel niteliktedir ve bu sebepten ötürü tekrar eden desenlere sahip değillerdir, bu yüzden bunlara karşılık gelen ondalık gösterimleri de mevcut değildir. Bu sayılar, yalnızca ondalık gösterimlerle yaklaşık bir şekilde temsil edilebilirler; bu, yuvarlanmış ya da kesilmiş reel sayıları ifade eder. Herhangi bir yuvarlanmış veya kesilmiş sayı doğası gereği bir rasyonel sayıdır ve bunlardan yalnızca sayılabilir derecede çoklukta bulunur. Ölçümlerin tümü, doğaları gereği yaklaşık değerlerdir ve daima bir hata marjına sahiptirler. Bu çerçevede, 123.456 sayısı, {{sfrac|1234555|10000}}'den büyük veya eşit ve {{sfrac|1234565|10000}}'den kesinlikle küçük olan herhangi bir gerçek sayı için bir yaklaşık olarak kabul edilir (3 ondalık basamağa yuvarlama); ya da {{sfrac|123456|1000}}'den büyük veya eşit ve {{sfrac|123457|1000}}'den kesinlikle küçük olan herhangi bir reel sayı için bir yaklaşık olarak kabul edilir (3. ondalık basamağın ardından kesme). Ölçümün kendisi kadar hassasiyeti öneren rakamlar elenmelidir. Kalan rakamlar, o zaman önemli rakamlar olarak adlandırılır. Örneğin, bir cetvel ile yapılan ölçümler genellikle en az 0.001 metre hata payı olmaksızın gerçekleştirilemez. Eğer bir dikdörtgenin kenarları 1.23 m ve 4.56 m olarak ölçülürse, çarpım sonucunda dikdörtgenin alanı için {{kayma|5.614591 m<sup>2</sup>}} ile {{kayma|5.603011 m<sup>2</sup>}} arasında bir değer elde edilir. Ondalık noktasından sonra ikinci basamak bile korunmadığı için, sonraki basamaklar ''önemli'' kabul edilmez. Bu sebeple, sonuç genelde 5.61 olarak yuvarlanır.

Aynı kesir birden fazla şekilde ifade edilebildiği gibi, aynı reel sayının da birden fazla ondalık gösterimi mümkündür. Örnek olarak, [[0.999...]], 1.0, 1.00, 1.000, ..., hepsi 1 doğal sayısını ifade eder. Bir reel sayı için mümkün olan ondalık gösterimler; belirli bir ondalık basamağına kadar olan bir yaklaşım, sınırsız sayıda ondalık basamağı boyunca devam eden bir desenin oluşturulduğu bir yaklaşım veya yalnızca sonlu sayıda ondalık basamağı içeren bir kesin değer şeklinde olabilir. Bu son durumda, son sıfır olmayan basamak, bir altındaki rakam ile değiştirilip ardından sınırsız sayıda 9 eklenerek veya son sıfır olmayan basamağın ardından sınırsız sayıda 0 eklenerek de ifade edilebilir. Dolayısıyla, kesin bir gerçek sayı olan 3.74, aynı zamanda 3.7399999999... ve 3.74000000000.... olarak da ifade edilebilir. Benzer biçimde, sınırsız sayıda 0 içeren bir ondalık sayı, sağdaki en uçtaki sıfır olmayan basamağın sağında yer alan 0'lar çıkarılarak; sınırsız sayıda 9 içeren bir ondalık sayı ise, 9'dan küçük olan en sağdaki basamağın bir artırılması ve bu basamağın sağında yer alan tüm 9'ların 0'a dönüştürülmesiyle yeniden yazılabilir. Son olarak, bir ondalık noktasının sağındaki sınırsız 0 dizisi göz ardı edilebilir. Örneğin, 6.849999999999... = 6.85 ve 6.850000000000... = 6.85 olarak kabul edilir. Eğer bir sayısal ifadedeki tüm rakamlar 0 ise, bu sayı 0 olarak kabul edilir ve eğer bir sayısal ifadedeki tüm rakamlar bitmeyen bir 9 dizisinden oluşuyorsa, ondalık noktasının sağındaki dokuzlar ihmal edilip, ondalık noktasının solundaki 9 dizisine bir eklenerek ifade edilebilir. Mesela, 99.999... = 100 olarak kabul edilir.

Reel sayılar, [[enaz ve enüs]] olarak bilinen ancak oldukça teknik düzeyde bir özelliğe sahiptir. Bir [[sıralı alan]]ın, reel sayıların [[tamlık]] özelliğine de sahip olduğu ispatlandığında, bu alanın gerçek sayılarla izomorf olduğu ortaya konabilir. Fakat, gerçek sayılar <math> x^2+1=0</math> cebirsel denkleminin bir çözümünü (çoğunlukla [[i sayısı|eksi birin karekökü]] olarak ifade edilir) içermedikleri için, [[cebirsel kapalı cisim]] oluşturmazlar.

=== Karmaşık sayılar ===
{{Ana|Karmaşık sayılar}}

Daha yüksek bir soyutlama düzeyine geçildiğinde, reel sayılar, karmaşık sayılara genişletilebilir. Bu sayılar kümesi, tarih boyunca kübik ve kuadratik polinomların köklerine ilişkin kapalı formüllerin araştırılması sürecinde gelişmiştir. Bu arayış, negatif sayıların kareköklerini içeren ifadelere ve sonuç olarak -1 sayısının [[karekök]]ü olan yeni bir sayının tanımına yol açmıştır; bu sayı, [[Leonhard Euler]] tarafından ''i'' olarak sembolize edilen ve hayali birim olarak adlandırılan bir birimdir. Karmaşık sayılar, ''a'' ve ''b'' reel sayıları olmak üzere, <math>a + b i</math> biçimindeki tüm sayıları kapsar. Bu bağlamda, karmaşık sayılar, iki gerçek boyutlu bir vektör uzayı olan karmaşık düzlem üzerinde noktalara denk gelir. ''a + bi'' ifadesinde ''a'', gerçek kısmı ve ''b'', hayali kısmı temsil eder. Bir karmaşık sayının gerçek kısmı 0 ise, bu sayı hayali sayı olarak adlandırılır veya tamamen hayali olarak nitelendirilir; hayali kısmı 0 ise, bu sayı bir gerçek sayıdır. Böylelikle, reel sayılar karmaşık sayıların bir alt kümesini oluşturur. Eğer bir karmaşık sayının gerçek ve hayali kısımları tam sayı ise, bu sayı [[Gauss tam sayısı]] olarak isimlendirilir. Karmaşık sayılar için kullanılan sembol, 'C' veya <math>\mathbb{C}</math>'dir.

[[Cebirin temel teoremi]], karmaşık sayıların cebirsel olarak kapalı bir alan oluşturduğunu, yani karmaşık katsayılara sahip her polinomun karmaşık sayılar içinde bir kökü olduğunu ifade eder. Gerçek sayılar gibi, karmaşık sayılar da bir alan oluşturur ve bu alan tamdır; fakat gerçek sayılardan farklı olarak sıralı değildir. Yani, ''i''nin 1'den büyük olduğunu ya da ''i''nin 1'den küçük olduğunu ifade etmenin tutarlı bir anlamı yoktur. Teknik bir dille ifade edilecek olursa, karmaşık sayılar, alan işlemleriyle uyumlu bir total sıralamadan yoksundur.

==Tam sayıların alt kategorileri==

===Çift ve tek sayılar===
{{Ana|Parite (matematik)}}
Bir '''çift sayı''', [[Kalanlı bölme|iki sayısına tam olarak bölünebilen]] ve böylece kalan bırakmayan bir tam sayıdır; buna karşılık, bir '''tek sayı''' çift olmayan tam sayılardır. Günümüzde "tam bölünebilir" şeklindeki eski usul ifade, genellikle "[[Bölen|bölünebilir]]" şeklinde kısaltılarak kullanılmaktadır. Herhangi bir tek sayı ''n'', uygun bir ''k'' tam sayısı için ''n = 2k + 1'' formülü ile ifade edilebilir. ''k = 0'' ile başlandığında, ilk negatif olmayan tek sayılar {1, 3, 5, 7, ...} olarak sıralanır. Her çift sayı ''m'', yine bir tam sayı olan ''k'' için ''m = 2k'' şeklinde ifade edilebilir. Benzer biçimde, ilk negatif olmayan çift sayılar {0, 2, 4, 6, ...} olarak belirlenir.

===Asal sayılar===
{{ana|Asal sayı}}
Bir '''asal sayı''', genellikle sadece '''asal''' olarak kısaltılan, 1'den büyük ve iki daha küçük pozitif tam sayının çarpımı olmayan bir tam sayıdır. İlk birkaç asal sayı 2, 3, 5, 7 ve 11'dir. Çift ve tek sayılar için mevcut olan basit formüllerin aksine, asal sayıları türetecek bir formül bulunmamaktadır. Asal sayılar üzerine 2000 yıldan fazla süredir yapılan geniş çaplı çalışmalar, çeşitli soruları gündeme getirmiş, bunların yalnızca bir kısmına yanıt bulunabilmiştir. Bu tür soruların ele alınışı, [[sayılar teorisi]] disiplinine aittir. [[Goldbach'ın varsayımı]], halen yanıtlanmamış sorulardan birine örnek teşkil eder: "Her çift sayı, iki asal sayının toplamı mıdır?"

Bir'den büyük her tam sayının, asal sayıların çarpımı olarak yalnızca tek bir yolda ifade edilebileceği, asal sayıların yeniden düzenlenmesi dışında, sorusuna verilen yanıt doğrulanmıştır; bu ispatlanmış iddia, [[aritmetiğin temel teoremi]] olarak bilinir. Bir kanıt, [[Öklid'in Elementleri]] eserinde sunulmuştur.

===Diğer tam sayı sınıfları===
Doğal sayıların çeşitli alt kümeleri, belirli çalışmaların odak noktası olmuş ve çoğunlukla bu sayılar üzerine çalışmalar yapan ilk matematikçinin adıyla anılmıştır. [[Fibonacci sayıları]] ve [[mükemmel sayı]]lar gibi tam sayı kümeleri, bu tür örnekler arasında yer alır. Daha fazla örnek için [[ardışık sayılar]] maddesine başvurulabilir.

==Karmaşık Sayıların alt kategorileri==

===Cebirsel, İrrasyonel ve Transandantal sayılar===
Tam sayı katsayılarına sahip bir polinom denkleminin çözümü olan sayılar, [[cebirsel sayı]] olarak adlandırılır. Rasyonel sayılar dışındaki reel sayılara [[irrasyonel sayı]] adı verilir. Cebirsel olmayan karmaşık sayılarsa [[transandantal sayı]] olarak tanımlanır. Tam sayı katsayılı monik polinom denkleminin çözümleri olan cebirsel sayılar, [[cebirsel tam sayı]] olarak isimlendirilir.

===İnşa-edilebilir sayılar===
[[Pergel ve çizgilik çizimleri]] çalışmalarının klasik sorunlarından esinlenilerek, birim uzunluktaki belirli bir segmentten başlayarak, perge ve çember kullanılarak sonlu adımlarda inşa edilebilen karmaşık sayıların gerçek ve sanal kısımlarına sahip sayılar, [[inşa-edilebilir sayı]] olarak tanımlanır.

===Hesaplanabilir sayılar===
Bir ''hesaplanabilir sayı'', aynı zamanda ''rekürsif sayı'' olarak da tanımlanan, belirli bir pozitif ''n'' değeri verildiğinde, hesaplanabilir sayının ondalık gösterimindeki ilk ''n'' rakamı üretebilen bir algoritmanın mevcut olduğu bir reel sayıdır. Eş değer tanımlamalar, [[genel rekürsif fonksiyon]]lar, [[Turing makinesi]]ler veya [[Lamda kalkülüs|λ-hesaplaması]] aracılığıyla yapılabilir. Hesaplanabilir sayılar, bir polinomun köklerinin elde edilmesi de dahil olmak üzere, tüm standart aritmetik işlemler açısından stabil olup, reel cebirsel sayıları içeren bir gerçek kapalı alan oluşturur.

Hesaplanabilir sayılar, bir bilgisayarda kesin bir şekilde ifade edilebilecek reel sayılar olarak değerlendirilebilir: bir hesaplanabilir sayı, ilk rakamları ve daha fazla rakamı hesaplamak üzere tasarlanmış bir program ile kesin bir şekilde belirlenir. Ancak, hesaplanabilir sayılar pratikte nadiren tercih edilir. Bunun bir sebebi, iki hesaplanabilir sayının eşitliğinin test edilmesi için bir algoritmanın bulunmamasıdır. Daha net bir ifadeyle, herhangi bir hesaplanabilir sayıyı girdi olarak kabul eden ve bu sayının sıfıra eşit olup olmadığını her durumda belirleyebilecek bir algoritma mevcut olamaz.

Hesaplanabilir sayılar kümesi, doğal sayılarla aynı kardinaliteye sahiptir. Bu nedenle, neredeyse tüm reel sayılar hesaplanabilir değildir. Yine de, hesaplanabilir olmayan bir reel sayıyı açıkça belirlemek büyük bir zorluk teşkil eder.

==Kavram uzantıları==
[[Dosya:Primencomposite0100.png|küçükresim|0'dan 100'e kadar asal ve bileşik sayılar. Asal sayılar Bileşik sayılar 0 ve 1]]

===p-adik sayılar===
''p''-adik sayılar, reel sayıların ondalık noktasının sağında sonsuza kadar uzayabilen uzantılara sahip olabileceği gibi, ondalık noktasının solunda da sonsuz uzunlukta genişlemelere sahip olabilir. Sonuçlanan sayı sistemi, basamaklar için hangi [[Taban (aritmetik)|tabanın]] kullanıldığına bağlıdır: herhangi bir taban mümkündür, ancak bir [[asal sayı]] tabanı en iyi matematiksel özellikleri sağlar. ''p''-adik sayılar kümesi, rasyonel sayıları içerir, ancak karmaşık sayıların içinde yer almaz.

Bir [[sonlu alan]] üzerindeki bir [[cebirsel fonksiyon alanı]]nın elemanları ve cebirsel sayılar birçok benzer özelliğe sahiptir. Bu nedenle, sayılar teorisyenleri tarafından sıklıkla sayılar olarak kabul edilirler. ''p''-adik sayılar, bu analojide önemli bir rol oynar.

===Hiperkompleks sayılar===

Karmaşık sayıların içinde yer almayan bazı sayı sistemleri, karmaşık sayıların inşasını genelleştirerek reel sayılardan türetilebilir. Bunlar bazen [[hiperkompleks sayı]] olarak adlandırılır. Bunlara, çarpma işleminin [[Değişme özelliği|değişmeli olmayan]] olduğu Sir [[William Rowan Hamilton]] tarafından tanıtılan [[dördey]]ler '''H''', çarpmanın ek olarak değişmeli olmadığı [[oktoniyon]]lar ve çarpmanın ne [[Alternatif cebir|alternatif]], ne de değişmeli olduğu [[sediyon]]lar dahildir.

===Transfinite sayılar===
Sonsuz [[küme (matematik)|kümelerle]] başa çıkmak için, doğal sayılar [[ardışık sayı]]lar ve [[kardinal sayı]]lar olarak genelleştirilmiştir. İlki kümenin sıralamasını verirken, ikincisi boyutunu verir. Sonlu kümeler için, hem sıralı hem de kardinal sayılar doğal sayılarla özdeşleştirilir. Sonsuz durumda, birçok sıralı sayı aynı kardinal sayıya karşılık gelir.

===Standart olmayan sayılar===
[[Hipergerçek sayı]]lar, [[standart olmayan analiz]]de kullanılır. Hipergerçekler veya standart olmayan gerçekler (genellikle *'''R''' olarak gösterilir), [[reel sayı]]lar '''R''''nin sıralı alanının uygun bir [[Alan genişletmesi|genişletmesi]] olan ve [[transfer ilkesi]]ni sağlayan bir [[sıralı alan]]ı ifade eder. Bu ilke, '''R''' hakkındaki doğru [[birinci dereceden mantık|birinci dereceden]] ifadelerin *'''R''' hakkında doğru birinci dereceden ifadeler olarak yeniden yorumlanmasına izin verir.

[[Süpergerçek sayı|Süpergerçek]] ve [[sürreel sayı]]lar, sonsuzküçük sayılar ve sonsuzbüyük sayılar ekleyerek reel sayıları genişletir, ancak yine de [[alan (matematik)|alanlar]] oluşturur.

== Sayı (dilbilim) ==
[[Dilbilim]] alanında ''sayı''lar ya da ''sayı adları'', [[biçimbilim]]sel (morfolojik) olarak bağımsız bir [[sözcük]] kategorisidir.<ref name=Vardar>Berke Vardar, Açıklamalı Dilbilim Terimleri Sözlüğü. İstanbul: ABC Kitabevi. 2. baskı: 1988.</ref>

=== Türkçede sayı türleri ===
* asal sayılar (iki, üç, beş, yedi ...)
* sıra sayıları (onuncu, yüzüncü ...)
* üleştirme sayıları (ikişer, onar ...)
* kesir sayıları (beşte bir ...)

=== Sayı sıfatı ===
Dilbilimde, sayı kavramı içeren sıfatlara ''sayı sıfatı'' denir (örneğin ''on yıl, ikinci gün, birer kişi'' dizimlerindeki ''on, ikinci, birer'' sözcükleri).<ref name=Vardar/>

== Notlar ==
{{Not listesi}}
==Kaynakça==
;Genel
* [[Tobias Dantzig]], ''Number, the language of science; a critical survey written for the cultured non-mathematician'', New York, The Macmillan Company, 1930.{{ISBN?}}
* Erich Friedman, ''[http://www.stetson.edu/~efriedma/numbers.html What's special about this number?] {{Webarşiv|url=https://web.archive.org/web/20180223062027/http://www2.stetson.edu/~efriedma/numbers.html |tarih=23 Şubat 2018 }}''
* Steven Galovich, ''Introduction to Mathematical Structures'', Harcourt Brace Javanovich, 1989, {{isbn|0-15-543468-3}}.
* [[Paul Halmos]], ''Naive Set Theory'', Springer, 1974, {{isbn|0-387-90092-6}}.
* [[Morris Kline]], ''Mathematical Thought from Ancient to Modern Times'', [[Oxford University Press]], 1990. {{isbn|978-0195061352}}
* [[Alfred North Whitehead]] and [[Bertrand Russell]], ''[[Principia Mathematica]]'' to *56, Cambridge University Press, 1910.{{ISBN?}}
* Leo Cory, ''A Brief History of Numbers'', Oxford University Press, 2015, {{isbn|978-0-19-870259-7}}.
; Özel
{{kaynakça|2|refs=

<ref name="OUP_number">{{Dergi kaynağı 
|başlık=number 
|url=http://www.oed.com/view/Entry/129082 
|dergi=OED Çevrimiçi 
|dil=en-GB 
|yayıncı=Oxford University Press 
|erişim-tarihi=16 Mayıs 2017 
|arşiv-url=https://web.archive.org/web/20181004081907/http://www.oed.com/view/Entry/129082
|arşiv-tarihi=4 Ekim 2018
}}</ref>

<ref name="OUP_2017">{{Dergi kaynağı 
|başlık=numeral 
|url=http://www.oed.com/view/Entry/129111 
|dergi=OED 
|yayıncı=Oxford University Press 
|erişim-tarihi=16 Mayıs 2017 
|arşiv-tarihi=30 Temmuz 2022 
|arşiv-url=https://web.archive.org/web/20220730095156/https://www.oed.com/start;jsessionid=B9929F0647C8EE5D4FDB3A3C1B2CA3C3?authRejection=true&url=%2Fview%2FEntry%2F129111 
}}</ref>

<ref name="Matson_2017">{{Haber kaynağı 
|url=https://www.scientificamerican.com/article/history-of-zero/ 
|başlık=The Origin of Zero
|son=Matson 
|ilk=John 
|çalışma=Scientific American 
|erişim-tarihi=16 Mayıs 2017 
|dil=İngilizce
|arşiv-url=https://web.archive.org/web/20170826235655/https://www.scientificamerican.com/article/history-of-zero/ 
|arşiv-tarihi=26 Ağustos 2017 
}}</ref>

<ref name="Hodgkin_2005">{{Kitap kaynağı 
|url=https://books.google.com/books?id=f6HlhlBuQUgC&pg=PA88 
|başlık=A History of Mathematics: From Mesopotamia to Modernity 
|son=Hodgkin 
|ilk=Luke
|tarih=2 Haziran 2005
|yayıncı=OUP Oxford
|isbn=978-0-19-152383-0 
|sayfalar=85-88|dil=İngilizce
|erişim-tarihi=16 Mayıs 2017 
|arşiv-url=https://web.archive.org/web/20190204012433/https://books.google.com/books?id=f6HlhlBuQUgC&pg=PA88 
|arşiv-tarihi=4 Şubat 2019
}}</ref>

<ref name="Gilsdorf_2012">{{Kitap kaynağı 
|soyadı=Gilsdorf 
|ad=Thomas E. 
|url=https://books.google.com/books?id=IN8El-TTlSQC 
|başlık=Introduction to cultural mathematics : with case studies in the Otomies and the Incas
|tarih=2012
|yayımcı=Wiley
|isbn=978-1-118-19416-4
|yer=Hoboken, N.J.
|oclc=793103475
|dil=İngilizce
}}</ref>

<ref name="Restivo_1992">{{Kitap kaynağı 
|soyadı=Restivo 
|ad=Sal P. 
|url=https://books.google.com/books?id=V0RuCQAAQBAJ&q=Mathematics+in+Society+and+History 
|başlık=Mathematics in society and history : sociological inquiries 
|tarih=1992 
|isbn=978-94-011-2944-2
|yer=Dordrecht
|oclc=883391697
|dil=İngilizce
}}</ref>

<ref name="Ore_1988">{{Kitap kaynağı 
|soyadı=Ore 
|ad=Øystein 
|url=https://books.google.com/books?id=Sl_6BPp7S0AC 
|başlık=Number theory and its history
|tarih=1988 
|yayımcı=Dover 
|isbn=0-486-65620-9
|yer=New York 
|oclc=17413345
|dil=İngilizce
}}</ref>

<ref name="Marshack_1971">{{Kitap kaynağı 
|soyadı=Marshack 
|ad=Alexander 
|url=https://books.google.com/books?id=vbQ9AAAAIAAJ 
|başlık=The roots of civilization; the cognitive beginnings of man's first art, symbol, and notation. 
|tarih=1971 
|yayımcı=McGraw-Hill 
|isbn=0-07-040535-2 
|basım=[1. baskı] 
|yer=New York
|oclc=257105
|dil=İngilizce
}}</ref>

<ref name="Buffalo_2012">{{web kaynağı 
|url=http://www.math.buffalo.edu/mad/Ancient-Africa/mad_ancient_egyptpapyrus.html#berlin
|başlık=Egyptian Mathematical Papyri – Mathematicians of the African Diaspora 
|yayımcı=Math.buffalo.edu 
|erişim-tarihi=30 Ocak 2012 
|arşiv-url=https://web.archive.org/web/20150407231917/http://www.math.buffalo.edu/mad/Ancient-Africa/mad_ancient_egyptpapyrus.html#berlin 
|arşiv-tarihi=7 Nisan 2015 
|dil=İngilizce
}}</ref>

<ref name="Chrisomalis_2003">{{Dergi kaynağı 
|soyadı=Chrisomalis 
|ad=Stephen 
|tarih=1 Eylül 2003|başlık=The Egyptian origin of the Greek alphabetic numerals
|url=https://archive.org/details/sim_antiquity_2003-09_77_297/page/485
|dergi=Antiquity 
|cilt=77 
|sayı=297 
|sayfalar=485-96|doi=10.1017/S0003598X00092541 
|s2cid=160523072 
|issn=0003-598X
|dil=İngilizce
}}</ref>

<ref name="Cengage_Learning2">{{Kitap kaynağı 
|url=https://books.google.com/books?id=dOxl71w-jHEC&pg=PA192 
|başlık=The Earth and Its Peoples: A Global History, Volume 1
|soyadı2=Crossley
|ad2=Pamela 
|soyadı3=Headrick 
|ad3=Daniel 
|soyadı4=Hirsch 
|ad4=Steven
|soyadı5=Johnson 
|ad5=Lyman
|yayımcı=Cengage Learning
|yıl=2010 
|isbn=978-1-4390-8474-8 
|sayfa=192 
|alıntı=Indian mathematicians invented the concept of zero and developed the "Arabic" numerals and system of place-value notation used in most parts of the world today.
|ad1=Richard
|soyadı1=Bulliet 
|erişim-tarihi=16 Mayıs 2017
|arşiv-url=https://web.archive.org/web/20170128072424/https://books.google.com/books?id=dOxl71w-jHEC&pg=PA192 
|arşiv-tarihi=28 Ocak 2017 
|dil=İngilizce
}}</ref>

<ref name="Sunsite_2012">{{web kaynağı 
|url=http://sunsite.utk.edu/math_archives/.http/hypermail/historia/apr99/0197.html 
|başlık=Historia Matematica Mailing List Archive: Re: [HM] The Zero Story: a question 
|yayımcı=Sunsite.utk.edu 
|tarih=26 Nisan 1999|erişim-tarihi=30 Ocak 2012 
|arşiv-url=https://web.archive.org/web/20120112073735/http://sunsite.utk.edu/math_archives/.http/hypermail/historia/apr99/0197.html 
|arşiv-tarihi=12 Ocak 2012 
}}</ref>

<ref name="George_1961">{{Kitap kaynağı 
|soyadı=Sánchez 
|ad=George I. 
|başlık=Arithmetic in Maya 
|yıl=1961 
|yer=Austin, Teksas
|dil=İngilizce
}}</ref>

<ref name="Staszkow_2004">{{Kitap kaynağı 
|soyadı=Staszkow 
|ad=Ronald 
|yazar2=Robert Bradshaw 
|başlık=The Mathematical Palettei (3. baskı) 
|yayımcı=Brooks Cole
|yıl=2004
|sayfa=41 
|isbn=0-534-40365-4
|dil=İngilizce
}}</ref>

<ref name="Smith_1958">{{Kitap kaynağı 
|soyadı=Smith 
|ad=David Eugene
|başlık=History of Modern Mathematics 
|yayımcı=Dover Yayınları 
|yıl=1958
|sayfa=259
|isbn=0-486-20429-4
|dil=İngilizce
}}</ref>

<ref name="Khan_Academy_2022">{{Web kaynağı 
|başlık=Classical Greek culture (article)
|url=https://www.khanacademy.org/humanities/world-history/ancient-medieval/classical-greece/a/greek-culture 
|erişim-tarihi=4 Mayıs 2022 
|arşiv-tarihi=4 Mayıs 2022 
|arşiv-url=https://web.archive.org/web/20220504133917/https://www.khanacademy.org/humanities/world-history/ancient-medieval/classical-greece/a/greek-culture 
|dil=İngilizce
}}</ref>

<ref name="Selin_2020">{{Kitap kaynağı
|soyadı=Selin 
|ad=Helaine 
|başlık=Mathematics across cultures: the history of non-Western mathematics 
|yayımcı=Kluwer Akademik Yayıncılar
|yıl=2000
|sayfa=451
|isbn=0-7923-6481-3
|dil=İngilizce
}}</ref>

<ref name="Frischer_1984">{{Kitap kaynağı 
|başlık=Harvard Studies in Classical Philology 
|url=https://archive.org/details/harvardstudiesin0000drsh_b7k9
|bölüm=Horace and the Monuments: A New Interpretation of the Archytas ''Ode'' 
|yazar=Bernard Frischer 
|editör=D.R. Shackleton Bailey
|sayfa=[https://archive.org/details/harvardstudiesin0000drsh_b7k9/page/83 83]
|yayımcı=Harvard University Press
|yıl=1984
|isbn=0-674-37935-7
|dil=İngilizce
}}</ref>

<ref name="Merriam-Webster_2019">{{Web kaynağı 
|url=http://www.merriam-webster.com/dictionary/natural%20number
|başlık=natural number
|çalışma=Merriam-Webster.com 
|yayıncı=[[Merriam-Webster]] 
|erişim-tarihi=4 Ekim 2014 
|arşiv-url=https://web.archive.org/web/20191213133201/https://www.merriam-webster.com/dictionary/natural%20number 
|arşiv-tarihi=13 Aralık 2019
|dil=İngilizce
}}</ref>

<ref name="Suppes_1972">{{Kitap kaynağı 
|son=Suppes
|ilk=Patrick
|başlık=Axiomatic Set Theory 
|yayıncı=Courier Dover Publications 
|yıl=1972 
|sayfa=[https://archive.org/details/axiomaticsettheo00supp_0/page/1 1] 
|isbn=0-486-61630-4 
|url=https://archive.org/details/axiomaticsettheo00supp_0/page/1 
|dil=İngilizce
}}</ref>

<ref name="Weisstein_2020">{{Web kaynağı
|son=Weisstein
|ilk=Eric W.
|başlık=Repeating Decimal
|url=https://mathworld.wolfram.com/RepeatingDecimal.html
|erişim-tarihi=23 Temmuz 2020
|website=Wolfram MathWorld 
|dil=İngilizce|arşiv-tarihi=5 Ağustos 2020
|arşiv-url=https://web.archive.org/web/20200805170548/https://mathworld.wolfram.com/RepeatingDecimal.html
}}</ref>

}}

==Ayrıca bakınız==

* [[Matematiksel sabit]]
* [[Karmaşık sayılar]]
* [[Büyüklük mertebesi]]
* [[Fiziksel sabit]]
* [[Fiziksel nicelik]]
* [[Basamak (matematik)|Basamak]]
* [[Asal sayı]]
* [[Skaler (matematik)|Skaler]]

{{sayılar}}
{{Sayılar teorisi}}
{{Otorite kontrolü}}

[[Kategori:Sayılar|*]]