Bir otelin tüm odalarının dolu olduğunu düşünün. Resepsiyondaki görevli, üzgün bir ifadeyle “Yerimiz yok” demek üzeredir ki kapıdan yeni bir misafir girer. Sonra görevli gülümser ve şöyle der: “Elbette yerimiz var.” Bu, kötü işletilen bir otel değil; matematikçi David Hilbert’in tasarladığı ünlü sonsuz oteldir. Otelde 1, 2, 3, 4 diye sonsuza kadar numaralanmış odalar vardır ve her odada bir müşteri kalmaktadır. Yine de yeni gelen kişi için oda bulunabilir.
Bir adım kaymak, bir oda açmak
Çözüm şaşırtıcı derecede basittir. Görevli, her konuğa mevcut oda numarasından bir sonraki odaya geçmesini söyler. 1 numaradaki müşteri 2’ye, 2 numaradaki 3’e, 3 numaradaki 4’e taşınır. Bu işlem herkes için sürer. İlk bakışta “Peki en sondaki müşteri nereye gidecek?” diye sorabilirsiniz. Fakat otelin son odası yoktur. Sayılar sonsuza doğru gider, ama hiçbir sayı “son sayı” değildir. Böylece 1 numaralı oda boşalır ve yeni misafir içeri yerleşir.
Gündelik sezgimiz bu noktada itiraz eder. Sonlu bir otelde tüm odalar doluysa gerçekten boş oda yoktur. Örneğin yüz odalı bir otelde yüz kişi varsa, yüz birinci kişi için yer açmak isteyen görevli en sonunda 100 numaralı odadaki konuğa çarpacaktır. Sonsuz otelde ise bu duvar yoktur. Her odanın bir sonrası vardır. Sonsuzluk, devasa büyüklükte bir sonlu sayı değildir; kuralları sezgisel aritmetiğimizden farklı çalışan ayrı bir kavramdır.
Bir değil, sonsuz yeni misafir
Asıl oyun burada başlar. Otele tek bir kişi değil, sonsuz sayıda yeni misafir gelirse ne olur? Herkesi sadece bir oda kaydırmak yetmez. Ancak görevli daha güçlü bir plan uygular: Eski müşterileri çift numaralı odalara taşır. 1 numaradaki kişi 2’ye, 2 numaradaki kişi 4’e, 3 numaradaki kişi 6’ya gider. Genel kural basittir: n numaralı odadaki müşteri 2n numaralı odaya geçer. Böylece bütün tek numaralı odalar, yani 1, 3, 5, 7 ve devamı, yeni gelen sonsuz misafir grubu için boş kalır.
Bu örnek, sayılabilir sonsuzluk denen fikri görünür kılar. Doğal sayılar kümesi ile çift sayılar kümesi ilk anda farklı büyüklükte görünür: Çift sayılar, bütün sayıların yalnızca bir bölümü gibidir. Ama her doğal sayıyı tam bir çift sayıyla eşleştirebiliriz: 1 ile 2, 2 ile 4, 3 ile 6. Hiç kimse açıkta kalmaz, hiçbir çift sayı da eşsiz değildir. Matematiksel dilde bu iki kümenin eleman sayısı, yani kardinalitesi aynıdır.
Sonsuzluk neden her şeyi kabul etmez?
Hilbert’in oteli “sonsuz olan her şey aynı büyüklüktedir” demek değildir. Örneğin gerçek sayılar, doğal sayılardan daha büyük bir sonsuzluk oluşturur. Ondalık açılımlarıyla tanımlanan gerçek sayıları odalara tek tek yerleştirmeye çalışırsanız, Cantor’un köşegen yöntemi her listeden kaçan yeni bir sayı üretebileceğinizi gösterir. Demek ki otelin kapasitesi sonsuz olsa da, her tür sonsuz misafir akınını karşılayacak kadar büyük değildir.
Hilbert’in oteli bir fizik projesi değil, düşünce deneyidir. Gerçek dünyada sonsuz sayıda oda, enerji ve insan inşa edemeyiz. Yine de bu hayali bina bize önemli bir ders verir: Bir kavramın sınırlarında gündelik dilin kuralları işlemeyebilir. “Dolu”, “yarım”, “daha fazla” ve “yer yok” gibi kelimeler sonsuz kümelerde yeni anlamlar kazanır. Yeni misafire yer açan şey sihir değil; sonsuzluğun son oda tanımamasıdır. Resepsiyondaki görevli de aslında bize şunu fısıldar: Bazen en tuhaf görünen cevap, doğru soruyu sorunca en mantıklı cevap olur.