Matematik, simülasyon hipotezini çürütüyor

Fizik
Mathematics kills the simulation hypothesis
Gödel'in eksiklik teoremlerini kullanan yeni bir araştırma, evrenin bir bilgisayar algoritmasına indirgenemeyeceğini öne sürerek Silikon Vadisi'nin popüler bir teorisini çürütüyor.

Journal of Holography Applications in Physics'te kısa süre önce sessiz sedasız yayınlanan bir makale, on yıllardır süren bilimkurgu ve boş zaman felsefesinin başaramadığını yapmaya çalışıyor: Matrix’in fişini çekmek. Teknoloji dünyasının elitleri son on yılı, hepimizin insan sonrası bir oyun parkındaki alt yordamlar olup olmadığımızı tartışarak geçirirken, British Columbia Üniversitesi'nin Okanagan kampüsünden Dr. Mir Faizal liderliğindeki bir ekip matematiği kontrol etmeye karar verdi. Vardıkları sonuç, simülasyon meraklıları için soğuk bir duş etkisi yaratıyor: gerçekliğin temel yapısı, bir bilgisayar programı olmasıyla mantıksal olarak bağdaşmıyor.

Nick Bostrom'un 2003 yılında ilk kez formüle etmesinden bu yana "Simülasyon Hipotezi"ni takip edenler için bu tartışma, teknik bir incelemeden ziyade seküler bir din gibi hissettirdi. Hipotez, bilgi işlem gücü arttıkça, herhangi bir gelişmiş uygarlığın eninde sonunda atalarının yüksek doğruluklu simülasyonlarını çalıştıracağını öne sürer. İstatistiksel olarak teori, milyonlarca simüle edilmiş evren ve sadece tek bir "temel" gerçeklik olacağını, dolayısıyla bizim bir sabit diskte yaşayanlar olma ihtimalimizin çok daha yüksek olduğunu savunur. Bu, Elon Musk'tan ChatGPT'nin yaratıcılarına kadar herkesin hayal gücünü yakalayan, zarif ve ürkütücü derecede mantıklı bir numaradır. Ancak Faizal ve aralarında tanınmış fizikçi Lawrence M. Krauss'un da bulunduğu uluslararası çalışma arkadaşları, bu mantığın bilgisayarın aslında ne olduğuna dair temel bir yanlış anlaşılmaya dayandığını savunuyor.

Dijital mimarlar için Gödel tuzağı

Araştırmacıların argümanının temeli, 20. yüzyıl matematiğinin bir direği olan ve aslında mutlak mantık için bir "Girilemez" tabelası işlevi gören Kurt Gödel'in eksiklik teoremlerine dayanıyor. Gödel, yeterince karmaşık herhangi bir matematiksel sistemde, her zaman doğru olan ancak o sistemin kuralları kullanılarak kanıtlanamayan ifadelerin var olacağını kanıtladı. Eğer evren bir simülasyon olsaydı, zorunlu olarak bir algoritma tarafından, yani sonlu bir hesaplama kuralları bütünüyle yönetilmesi gerekirdi. Ancak Faizal'in ekibi, fiziksel gerçekliğin, özellikle kuantum kütleçekimi merceğinden bakıldığında, algoritmik olmayan özellikler sergilediğine dikkat çekiyor.

Bir evreni simüle etmek için, her olası durumu ve etkileşimi açıklayabilecek eksiksiz bir kurallar setine ihtiyacınız vardır. Ancak Gödel haklıysa, bizimki kadar karmaşık bir sistem için böyle eksiksiz bir kurallar seti var olamaz. "Kod"un tanımlayabildiği ile gerçekte olan arasında bir boşluk vardır. Araştırmacılar buna "algoritmik olmayan kavrayış" adını veriyor. Bu, evrenin 1'ler ve 0'lar dizisine, hatta bir kuantum bilgisayarın karmaşık kübitlerine indirgenemeyecek bir karmaşıklık düzeyinde işlediği fikridir. Eğer evrenin çalışması için algoritmik olmayan süreçler gerekiyorsa, tanım gereği, tamamen algoritmik bir makine olan bir bilgisayar ona ev sahipliği yapamaz.

Bu sadece felsefi bir anlaşmazlık değil, bir donanım sorunudur. Klasik bilişimde, hesaplanabilir her şeyi hesaplayabilen sistemler olan Church-Turing makineleriyle uğraşırız. UBC makalesi, fizik yasalarının aslında varsaydığımız şekilde hesaplanabilir olmadığını öne sürüyor. Bir roketin yörüngesini veya bir yıldızın ısısını simüle edebiliriz çünkü bunlar yaklaşımdır. Ancak uzay-zamanın kendisinin, kuantum kütleçekiminin "bilgisi"nden ortaya çıkışını simüle etmek, programlanmış kurallar üzerine inşa edilmiş herhangi bir sistemin mantıksal sınırlarını aşan bir tür işlem gücü gerektirir.

Dijital ikizlerin yüksek maliyeti

Teorik fizik topluluğu gerçekliğin algoritmik olmayan doğasını tartışırken, Avrupa Birliği şu anda en azından bunun bazı kısımlarını simüle edebileceğimize milyarlarca avro yatırıyor. "Destination Earth" (DestinE) girişimi, iklim değişikliğini ve aşırı hava olaylarını izlemek için gezegenin bir "dijital ikizini" oluşturmayı amaçlayan öncü bir projedir. Bu, Avrupa Uzay Ajansı (ESA) ve Avrupa Orta Vadeli Hava Tahminleri Merkezi'ni (ECMWF) içeren devasa bir tedarik girişimidir. Proje, bir probleme yeterince petaflop işlem gücü atarsanız, Dünya'nın sistemlerini mükemmel bir doğrulukla yeniden yaratabileceğiniz varsayımına dayanıyor.

Ancak Faizal'in bulguları, bu hırslar için yaklaşan bir tavan olduğunu gösteriyor. Eğer gerçeklik temel olarak algoritmik değilse, Bonn veya Bologna'daki kaç küme GPU kullanırsak kullanalım, her simülasyon er ya da geç "indirgenemez karmaşıklık" duvarına çarpacaktır. Bunu zaten hava tahminlerinde görüyoruz; burada bir model ile gerçek atmosfer arasındaki fark sadece daha fazla veriden değil, matematiksel olarak "önceden hesaplanması" imkansız olabilecek kaotik değişkenlerden kaynaklanıyor. Brüksel şimdiye kadar inşa edilmiş en gelişmiş aynayı finanse ediyor olabilir, ancak UBC araştırması, aynanın hiçbir zaman yansıttığı şeyin kendisi olamayacağını öne sürüyor.

Yarı iletken tedarik zincirinin genellikle endüstriyel egemenlik merceğinden görüldüğü Almanya'da, evrenin bir bilgisayar olmadığı fikri garip bir şekilde rahatlatıcı. Eğer dünya bir simülasyon olsaydı, en güçlü varlık sunucu çiftliğinin sahibi kimse o olurdu. Mevcut çip üretimi gidişatına göre, bu muhtemelen Santa Clara'daki bir kurumsal yapı veya Hsinchu'daki devlet destekli bir üretim tesisi olurdu. Matematik, evrenin bir program olmadığını kanıtlayarak, gerçek dünyanın "fiziğini" (kaynak yoğun, karmaşık ve temel olarak kontrol edilemez) birincil konumuna geri getiriyor.

Bilgi kod olmadan var olabilir mi?

Makaledeki daha incelikli noktalardan biri bilginin rolünü içeriyor. Modern fizik, özellikle derginin başlığında belirtilen holografik prensip, evrenin bilgiden yapıldığını öne sürüyor. Bu durum sıklıkla simülasyon teorisi için bir kanıt olarak kullanılmıştır: eğer her şey sadece bilgiyse, kesinlikle sadece yazılımdır, değil mi? Araştırmacılar bunun bir kategori hatası olduğunu savunuyor. Fiziksel anlamda bilgi (kuantum parçacıklarının durumları), bir veritabanında saklanan dijital bilgiyle aynı şey değildir.

Bu, Finlandiya'daki IQM veya Fransa'daki Pasqal gibi şirketlerin peşinden koştuğu "kuantum avantajı" konusuna farklı bir bakış açısı getiriyor. Biz gerçekliği simüle etmek için bilgisayarlar inşa etmiyoruz; Faizal'in tanımladığı o algoritmik olmayan boşluklardan yararlanmaya çalışan makineler inşa ediyoruz. Amaç, kuantum mekaniğinin "tuhaflığını" (klasik bir bilgisayarda mantıklı olmayan kısımları) görevleri yerine getirmek için kullanmaktır. Ancak bir kuantum bilgisayar bile bir mantık sistemidir. Yine de matematiksel olarak yapılandırılabilen sınırların içinde çalışır.

Silikon Vadisi dininin sonu

Simülasyon hipotezi, bir düzen duygusu sağladığı için her zaman popüler olmuştur. Eğer bir simülasyonun içindeysek, o zaman bir yaratıcı, bir amaç ve hatta belki bir "hata ayıklama" modu vardır. Kozmosun korkutucu uçsuz bucaksızlığını tanıdık bir şeye dönüştürür: bir ürüne. Bu, teknoloji endüstrisinin kibrinin nihai ifadesidir; bir yıldızın doğumundan ilk öpücüğün hissine kadar her şeyin eninde sonunda patentlenebilir bir sürece indirgenebileceğine dair inançtır.

Teknoloji milyarderleri "Matrix'teki hataları" arayan veya simülasyondan "çıkmanın" yollarını arayan araştırmaları finanse etmeye devam edebilirler, ancak muhtemelen hayaletlerin peşinden koşuyorlar. Evren dokularını yükleyemiyor değil; sadece ikili mantığımızı umursamayan bir matematiksel karmaşıklık seviyesinde çalışıyor. Bu, programcının egosuna bir darbe, ancak fizikçi için bir zaferdir. Evren bir bilgisayar değildir ve tam olarak bu yüzden çalışmaktadır.

Avrupa, dünyanın mükemmel modelini inşa etmek için on yıllar harcadı. Görünüşe göre evreni gerçekten anlamanın tek yolu onu derlemek değil, içinde yaşamaktır. Bu araştırma, yağmuru simüle edebilseniz de bilgisayarı asla tam olarak ıslatamayacağınızı hatırlatıyor.

Mattias Risberg

Mattias Risberg

Cologne-based science & technology reporter tracking semiconductors, space policy and data-driven investigations.

University of Cologne (Universität zu Köln) • Cologne, Germany

Readers

Readers Questions Answered

Q Gödel'in eksiklik teoremleri, bir simülasyon içinde yaşadığımız fikrine nasıl meydan okuyor?
A Gödel'in teoremleri, herhangi bir karmaşık matematiksel sistemin, kendi kuralları kullanılarak kanıtlanamayacak doğrular içerdiğini göstermektedir. Bir bilgisayar simülasyonu sonlu bir algoritmik kurallar dizisi üzerinde çalışmak zorunda olduğundan, kuantum kütleçekimi gibi fiziksel gerçekliğin algoritmik olmayan doğasını açıklayamaz. Araştırmacılar, bu mantıksal boşluğun, evrenin bir bilgisayar programına veya bir dizi algoritmik talimata indirgenmesinin temelden imkansız olduğu bir karmaşıklık seviyesine sahip olduğunu kanıtladığını savunmaktadır.
Q Araştırmacılara göre fiziksel bilgi ile dijital bilgi arasındaki temel fark nedir?
A Araştırmacılar, kuantum parçacıklarının durumları gibi fiziksel bilginin, bir veritabanında saklanan dijital bilgiden temelden farklı olduğunu savunuyorlar. Holografik ilke evrenin bilgi tabanlı olduğunu öne sürse de, bu durum evrenin yazılım gibi çalıştığı anlamına gelmez. Dijital bilgi algoritmalar tarafından yönetilirken, fiziksel bilgi karmaşık ve algoritmik olmayan süreçleri içerir. Bu ikisini birbirine karıştırmak bir kategori hatası olarak kabul edilir; çünkü kural tabanlı yazılımlar, kuantum fiziğinin düzensiz ve kontrol edilemez doğasını kopyalayamaz.
Q Süper bilgisayarlar kullanılarak Dünya'nın dijital ikizini oluşturmanın sınırlamaları nelerdir?
A Avrupa Birliği'nin Destination Earth projesi gibi büyük ölçekli girişimler, gezegenin sistemlerini yüksek doğrulukla simüle etmeyi amaçlamaktadır. Ancak çalışma, bu çabaların indirgenemez bir karmaşıklık sınırına çarpacağını öne sürmektedir. Eğer fizik yasaları hesaplanamaz nitelikteyse, bir simülasyon asla gerçeklikle mükemmel bir şekilde örtüşemez. Muazzam bir hesaplama gücüyle bile bu dijital ikizler birer yaklaşım olarak kalır; çünkü gerçek dünyada meydana gelen kaotik değişkenleri veya algoritmik olmayan fiziksel süreçleri önceden hesaplayamazlar.
Q Simülasyon hipotezinin matematiksel uyumsuzluğuna ilişkin araştırmayı kim yönetti?
A Araştırma, British Columbia Üniversitesi Okanagan kampüsünden Dr. Mir Faizal tarafından, fizikçi Lawrence M. Krauss'un da dahil olduğu uluslararası bir ekiple iş birliği içinde yürütülmüştür. Bulguları Journal of Holography Applications in Physics dergisinde yayımlanmıştır. Ekip, evrenin temel yapısının hesaplanabilir olmadığını savunmak için kuantum kütleçekimi prensiplerini ve 20. yüzyıl matematiksel mantığını kullanmış ve teknoloji endüstrisinin gerçekliğin dijital bir simülasyon olduğu yönündeki popüler inancına etkili bir şekilde meydan okumuştur.

Have a question about this article?

Questions are reviewed before publishing. We'll answer the best ones!

Comments

No comments yet. Be the first!