Devasa sayılar ve sonsuzluğun karşılaştırılması
Listelenen kavramlar arasında "en büyük" olan sonsuzluktur, ancak önemli bir notla: bu bir sayı değil, sınırların yokluğunu ifade eden matematiksel bir kavramdır. Yalnızca sonlu sayıları karşılaştırırsak, Graham sayısı googol'dan ölçülemez derecede büyüktür. Googol ($10^{100}$) insan algısı için muazzamdır, ancak Graham sayısı o kadar büyüktür ki, atom boyutundaki rakamlarla bile gözlemlenebilir evren sınırları içinde yazılamaz.
Neden sonsuzluk bir sayı değildir?
Günlük tartışmalarda sık yapılan bir hata, sonsuzluğu ($\infty$) belirli sayılarla karşılaştırmaya çalışmaktır. Matematikte sonsuzluk, doğal, tam veya reel bir sayı değildir. Bu, sonu olmayan bir şeyi tanımlayan soyut bir kavramdır.
Aritmetik anlamda sonsuzluğun Graham sayısından "daha büyük" olduğunu söyleyemezsiniz. $\infty + 1$ veya $\infty \times 2$ gibi işlemler, büyüklükleri karşılaştırma bağlamında standart bir sayısal değere sahip değildir. Sonsuzluk, sonlu sayılar ölçeğinin ötesindedir.
Sayı doğrusunu hayal edersek, en devasa olanlar dahil tüm sonlu sayılar başlangıcında yer alır. Sonsuzluk, bu doğrunun sonsuza kadar devam ettiği yöndür. Bu nedenle, sonsuzluğun herhangi bir sonlu sayıyı aştığını söylemek daha doğrudur, ancak doğal sayılar dizisinde "en büyük sayı" değildir.
Googol: Muazzam ama kavranabilir bir sayı
"Googol" terimi, 1938 yılında Amerikalı matematikçi Edward Kasner'ın dokuz yaşındaki yeğeni tarafından ortaya atıldı. Bu, yüz sıfırlı bir birimdir:
$$10^{100} = 10,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000$$
Büyüklüğü anlamak için:
- Gözlemlenebilir evrendeki atom sayısı yaklaşık $10^{80}$ olarak tahmin edilmektedir.
- Googol, evrendeki tüm atomların sayısından $10^{20}$ kat daha büyüktür.
Bu sayı kolossal olsa da, sonludur ve kolayca yazılabilir. Dahası, ünlü arama motoru Google'ın adı tam olarak bu kelimeden türemiştir (alan adında bir yazım hatasıyla). Modern kombinatorik ve olasılık teorisi açısından bakıldığında, googol matematikçilerin düzenli olarak çalıştığı bir sayıdır ve hesaplamalar için özel bir zorluk teşkil etmez.
Graham sayısı: Fiziksel anlamanın ötesinde
Graham sayısı ($G$), 1970'lerde matematikçi Ronald Graham tarafından Ramsey teorisindeki bir problemin çözümü için üst sınır olarak kullanıldı. Ölçeği o kadar akıl almazdır ki, insan beyni onun ile googol arasındaki farkı kavrayamaz.
Nasıl yazılır?
Graham sayısı, evrenimizde ondalık sayı sistemiyle yazılamaz. Her rakam Planck uzunluğu (fizikteki mümkün olan en küçük uzunluk) boyutunda olsa bile, gözlemlenebilir evrenin tamamında bu sayıyı yazacak yer yeterli olmazdı.
Tanımlamak için Knuth ok gösterimi kullanılır:
- $3 \uparrow 3 = 3^3 = 27$
- $3 \uparrow\uparrow 3 = 3^{3^3} = 3^{27} \approx 7.6 \times 10^{12}$ (zaten trilyonlarca)
- $3 \uparrow\uparrow\uparrow 3$ — bu, $7.6 \times 10^{12}$ seviye yüksekliğinde bir üç kuvvetleri kulesidir.
Graham sayısı, her bir sonraki adımın Knuth gösterimindeki ok sayısını belirlemek için önceki adımın sonucunu kullandığı 64 adımda inşa edilir. Sayının inşasının ilk aşamalarında bile, googol'dan sonsuz derecede uzak büyüklükler elde edilir.
Gerçek: Graham sayısı bir zamanlar Guinness Rekorlar Kitabı'na "ciddi bir matematiksel kanıtta kullanılan en büyük sayı" olarak girdi. Günümüzde daha büyük sayılar bilinse de (örneğin Skewes sayısı veya TREE(3)), Graham sayısı "akıl almaz" büyüklüğün en bilinen örneği olmaya devam ediyor.
Büyüklüklerin karşılaştırmalı tablosu
Farkı net bir şekilde görmek için bu kavramların temel özelliklerini inceleyelim.
| Kavram | Nesne türü | Yazılabilirlik | Evrenin atomlarıyla karşılaştırma ($10^{80}$) |
|---|---|---|---|
| Googol | Sonlu sayı | Kolayca yazılır ($10^{100}$) | $10^{20}$ kat daha büyük |
| Graham sayısı | Sonlu sayı | Fiziksel olarak yazılamaz | Karşılaştırılamaz derecede büyük (fark tarif edilemez) |
| Sonsuzluk | Kavram / Limit | Sayı değildir | Herhangi bir sonlu miktarı aşar |
Büyük sayıları anlamadaki yaygın hatalar
Bu konu tartışılırken sıkça aşağıdaki yanlış anlaşılmalar ortaya çıkar:
-
"Sonsuzluk en büyük sayıdır." Hayır, sonsuzluk bir sayı değildir. Ona bir ekleyemez veya ona bölemezsiniz. Küme teorisinde farklı "sonsuzluk seviyeleri" vardır (alef-sıfır, kontinuum vb.), ancak bunlar alışılmış anlamda "büyük" veya "küçük" olarak doğal sayılarla karşılaştırılmaz.
-
"Çok fazla kağıt alırsak Graham sayısını yazabiliriz." Bu fiziksel olarak imkansızdır. Graham sayısını yazmak için gereken bilgi miktarı, evrenimiz boyutunda bir Schwarzschild kara deliğinin entropisini aşar. Bu sayının tüm rakamlarını hafızasında tutmaya çalışan insan beyni, teorik olarak bilgi yoğunluğu nedeniyle bir kara deliğe çökebilirdi (şaşırtıcı ama matematiksel temelli bir hipotez).
-
"Googolplex, Graham sayısından büyüktür." Googolplex, $10^{\text{googol}}$ ($10^{10^{100}}$) değerine eşittir. Bu sayı googol'dan astronomik derecede büyüktür, ancak Graham sayısı yanında önemsiz kalır. Graham sayısının inşasının ilk adımları bile googolplex'i aşar.
SSS
Soru: Graham sayısından daha büyük bir sayı var mı? Evet, elbette. Graham sayısı sonlu olduğu için, ona bir eklenebilir. Ayrıca matematikte, Graham sayısını önemli ölçüde aşan ancak geniş kitlelerce daha az bilinen TREE(3) veya SCG(13) gibi diğer devasa sayılar da mevcuttur.
Soru: Neden googol bu şekilde adlandırılıyor? Kelime, matematikçi Edward Kasner'ın yeğeni Milton Sirotta tarafından icat edildi. "Googol" kelimesinin çocukça bir telaffuzundan türedi. Daha sonra Google'ın kurucuları, arama motorununhuge miktarda bilgiyi işleme kapasitesini vurgulamak için şirketlerine benzer bir isim verdi.
Soru: Graham sayısının son rakamları hesaplanabilir mi? Evet, Graham sayısının son birkaç rakamı bilinmektedir (...246419938789087... ile biter). Ancak, mevcut veya varsayımsal herhangi bir hesaplama gücü için sayının ilk rakamını veya tam temsilini öğrenmek imkansızdır.