Bulmaca, iPhone'dan daha genç. Oynadığı fikir, yani iki işaretin iyi kısıtlandığında her şeyi taşıyabileceği düşüncesi ise üç yüzyıllık bir geçmişe sahip ve şu anda bu yazıyı okuduğunuz makinenin içinde hâlâ çalışıyor.
İngilizce yazılmış ve düzenlenmiştir. Bu Türkçe sürüm makine çevirisiyle oluşturulmuştur; kesinliğin önemli olduğu yerlerde İngilizce özgün metin esas alınmalıdır. İngilizce orijinalini okuyun →
Binairo genç bir bulmacadır. Belçikalı Peter De Schepper ve Frank Coussement tarafından 2009'da yaratıldı; neredeyse aynı anda İtalyan Adolfo Zanellati de Tohu wa Vohu adını verdiği, neredeyse birebir aynı bir oyun tasarladı. 1 Fikrin zamanının geldiği belliydi: bir ızgara, iki sembol ve denge ile komşulukla ilgili küçük bir kurallar kümesi. Fikir iki ülkede aynı anda, birbirinden bağımsız olarak ortaya çıktı.
Sonuç, bir sürü farklı ada yanıt veren bir bulmacadır. Onunla karşılaştığınız gazeteye ya da uygulamaya göre aynı oyun, başka adların yanı sıra Takuzu, Binero, Binoxxo, Tic-Tac-Logic, Binary Puzzles ya da Sudoku Binary diye anılır; “Binairo” ve “Takuzu” Avrupa Birliği'nde tescilli markalardır. 1 Hangi adla anılırsa anılsın kurallar, bu motorun uyguladığı kurallardır: dengeli satır ve sütunlar, üç aynı sembolün art arda gelmemesi ve birbirinin aynısı iki satır ya da sütun olmaması. 2
Bulmacanın asıl atası ikili sayı sisteminin ta kendisidir. Gottfried Wilhelm Leibniz 1703'te Explication de l'Arithmétique Binaire (“Yalnızca 1 ve 0 karakterlerini kullanan İkili Aritmetiğin Açıklaması”) adlı çalışmasını yazarak, her niceliğin ve zamanla her mesajın yalnızca iki işaretle yazılabileceği düşüncesini biçimsel hale getirdi. 3 Leibniz konuya o kadar ilgi duyuyordu ki bu konuda yüzden fazla el yazması doldurdu; bunların çoğu hiç yayımlanmadı. 3
Üç yüzyıl sonra bu iki sembollü alfabe, dijital olan her şeyin temelini oluşturuyor ve bir Binairo ızgarası, onun elle çözülebilen küçük bir yüzeye çıkmış parçası. Her kare kelimenin tam anlamıyla bir bittir; tamamlanmış 10×10 bir tahta, bazı çok özel kısıtları sağlayan yüz bitlik bir desendir. Oyun, sessiz sedasız, iki sembolün aritmetiğine dair bir bulmacadır: Leibniz'in ortaya koyduğu aritmetiğin ta kendisi.
Çözülmüş bir Binairo tahtasına bakın; rastgele saçılmış bir gürültü gibi görünür. Oysa hiç de öyle değildir. Kurallarından ikisi, yani her satırı ve sütunu dengede tutmak ve bir sembolün asla üç kez art arda gelmesine izin vermemek, insanların gerçek rastgeleliğin sahip olması gerektiğine yanlış biçimde inandığı özelliklerin ta kendisidir. Uydurma bir yazı-tura dizisi yazmamız istendiğinde çoğumuz içgüdüsel olarak her kısa bölümde yazı ile turayı eşite yakın tutar ve uzun serilerden kaçınırız, çünkü bir seri bize “rastgele değilmiş” gibi gelir. 4
Ama gerçek paralar böyle davranmaz. Gerçek rastgelelik sürekli olarak seriler ve yerel dengesizlikler üretir; rastgeleliğin kendini düzeltmesi gerektiği inancı, kısa örneklemlerin uzun vadeli ortalamayı yansıtmasını bekleme alışkanlığımızdan kaynaklanan ve iyi belgelenmiş olan kumarbaz yanılgısıdır. 4 Binairo bu yanlış sezgiyi alır ve onu yasaya dönüştürür. Tahtaları hiç de rastgele değildir; hayal ettiğimiz düzensizliğin özenle tasarlanmış bir taklididir ve şansın hiçbir zaman olamayacağı kadar derli topludur.
Bir Binairo ızgarası, kural kitabı olan bir düzensizliktir: insan sezgisinin istediği, derli toplu, serisiz, kusursuz dengeli, ama gerçek şansın asla sunmadığı rastgelelik.
İşte döngüyü kapatan beklenmedik dönüş. Bu iki “sahte rastgelelik” kısıtı yalnızca bilişsel bir tuhaflık değildir; mühendisler, somut fiziksel nedenlerle bunları gerçek bit akışlarına bilerek uygular. Veri bir kablo üzerinden gönderilirken ya da bir diske yazılırken, aynı bitlerden oluşan uzun bir seri tehlikelidir: alıcı saat senkronunu kaybedebilir ve sinyalin ortalama gerilimi kayabilir. Bu yüzden iletim kodları, tam olarak Binairo'nun yasakladığı şeyi yasaklayacak biçimde tasarlanır.
Klasik örnek, 1983'te IBM'de Al Widmer ve Peter Franaszek tarafından tanımlanan ve Gigabit Ethernet, USB 3.0 ve PCI Express'in ilk nesilleri gibi arabirimlerde kullanılan 8b/10b kodlamasıdır. Bu kodlama, “art arda beşten fazla bir ya da sıfır bulunmamasını” güvence altına alır, ki bu bir seri uzunluğu sınırıdır; ayrıca eşitsizlik (disparity) denen sürekli bir sayaç aracılığıyla birlerin ve sıfırların sayısını neredeyse eşit tutar, öyle ki “en az 20 bitlik bir dizide birlerin ve sıfırların sayıları arasındaki fark ikiden fazla olmaz.” 5 Bir seri uzunluğu sınırı ve bir denge kuralı: bir mühendisin sağlıklı bir bit akışına koyduğu iki kısıt, özünde, bir Binairo tahtasının satırlarına ve sütunlarına koyduğu iki kısıttır.
Böylece bu mütevazı mantık bulmacası şaşırtıcı bir kavşakta durur. Alfabesi Leibniz'in alfabesidir, dokusu zihnimizin özlediği derli toplu sözde rastgeleliktir ve kuralları, gerçek verinin fiber optik kablolarda ve flaş bellekte hızla ilerlerken okunabilir kalmasını sağlayan kuralların ta kendisidir. Bir Binairo ızgarasını doldururken, her satırı dengeleyip üçüncü aynı sembolü her seferinde reddederken, aslında küçük ölçekte bir hat kodlama çipinin saniyede yüz milyonlarca kereye varan hızda yaptığı işi yaparsınız: ham bitleri dengeli, serisiz ve belirsizlikten arınmış bir akışa dönüştürmek. 2
Bulmacanın insanı tatmin etmesinin sessiz nedeni bu olabilir. Tamamlanmış bir tahta yalnızca doğru değildir; temiz bir sinyalin düzgün biçimli olduğu anlamda düzgün biçimlidir. İki sembol, birkaç kısıt, tek bir yanıt: bilişimin en eski fikri, bir fincan kahve eşliğinde elle çözebileceğiniz bir şeye dönüştürülmüş.