Bu çalışma, modern ekonominin en güçlü kavramlarından biri olan “denge” fikrini sorguluyor. Metnin ana iddiasına göre matematiksel ekonomide “equilibrium” yani denge sözcüğü, çoğu zaman fiziksel bir dengeyi değil, belirli koşullar altında varlığı kanıtlanan soyut bir sabit noktayı temsil ediyor. Sabit nokta, bir fonksiyonun veya ilişkinin kendi içine geri dönen çözüm noktasıdır; fakat böyle bir noktanın matematiksel olarak var olması, gerçek piyasanın oraya ulaşacağı veya orada istikrar kazanacağı anlamına gelmeyebilir.

Yazar, Frege’nin anlam-gönderim ayrımından başlayarak Hilbert’in biçimciliğine, Gödel’in eksiklik teoremlerine, von Neumann’ın sabit nokta yaklaşımına, Nash dengelerine, Arrow-Debreu genel denge modeline, Sonnenschein-Mantel-Debreu sonuçlarına ve Hurwicz’in mekanizma tasarımı sınırlarına uzanan geniş bir çizgi kuruyor. Bu çizginin sonunda Bitcoin’in Proof of Work modeli ele alınıyor. Proof of Work, yani “iş kanıtı”, dijital bir sistemde işlem geçmişini değiştirmeyi enerji ve hesaplama maliyetine bağlayan mekanizmadır. Çalışmanın iddiasına göre Proof of Work, soyut kurallara fiziksel maliyet ekleyerek matematiksel etiket ile gerçek dünya arasındaki kopukluğu kısmen onaran bir örnek sunuyor.

Problem Ne?

Metnin temel problemi şu soruda toplanabilir: Matematiksel olarak varlığı kanıtlanan bir çözüm noktasına “ekonomik denge” demek, gerçekten ekonominin fiziksel ve toplumsal dünyasına dair bir şey söylemek midir?

Genel denge teorisi, çok sayıda piyasanın aynı anda uyumlu bir fiyat ve miktar sistemine ulaşabileceğini göstermeye çalışır. Ancak burada kritik ayrım, “varlık kanıtı” ile “gerçek dünyada işleyen mekanizma” arasındadır. Bir matematiksel teorem, belirli aksiyomlar altında bir sabit noktanın var olduğunu söyleyebilir. Fakat bu noktanın gerçek piyasalarda bulunacağı, hesaplanacağı, istikrarlı olacağı veya toplumsal davranışları açıklayacağı ayrıca gösterilmelidir.

Çalışma, bu farkın tarih boyunca kelimelerle örtüldüğünü savunuyor. “Equation” yani denklem ile “equilibrium” yani denge birbirine yakın görünür; fakat biri sembolik eşitlik, diğeri ağırlık, kuvvet ve fiziksel karşılaşma çağrışımı taşır. Yazarın “missing weight” dediği eksik ağırlık tam da burada ortaya çıkar: Matematiksel eşitlik vardır, fakat bu eşitliğe gerçek dünyadan ağırlık veren fiziksel veya kurumsal zemin çoğu zaman yoktur.

Yöntem Ne Öneriyor?

Çalışma klasik anlamda veri seti, regresyon analizi veya deneysel test kullanmıyor. Bunun yerine tarihsel-kavramsal bir yöntem izliyor. Önce mantık ve matematik felsefesindeki temel ayrımlar açıklanıyor: Syntax, sembollerin ve kuralların biçimsel düzenidir; Semantik, bu sembollerin neye karşılık geldiği, yani anlam ve gerçeklik bağlantısıdır; Kalkül ise kuralların çalıştırıldığı işlem süreci, yani hesaplama motorudur.

Bu üçlü ayrım daha sonra ekonomiye uygulanıyor. Von Neumann’ın sabit nokta ispatları, Kakutani’nin sabit nokta teoremi, Nash dengesi ve Arrow-Debreu genel denge modeli, “syntax” tarafında güçlü matematiksel yapılardır. Ancak bu yapıların “semantik” tarafı, yani gerçek piyasalara ne kadar karşılık geldiği tartışmalıdır. Yazar, modern ekonomide birçok topolojik koşulun gerçek dünya özelliği gibi adlandırıldığını ileri sürüyor: kompaktlık “sınırlı kaynaklar”, konvekslik “rasyonel tercihler”, süreklilik “istikrarlı davranış” gibi okunuyor.

Metin daha sonra Hurwicz’in mekanizma tasarımındaki imkânsızlık sonucuna geçiyor. Mekanizma tasarımı, belirli kurallar kurarak insanların istenen sonucu dürüstçe üretmesini sağlamaya çalışan alandır. Hurwicz’in çizdiği sınır, yalnızca bilgi ve mesajlara dayalı bir sistemin kendi içinden tam dürüstlük, katılım ve verimlilik garantisi üretemeyeceğini gösterir. Çalışma, Bitcoin’in Proof of Work mekanizmasını bu tartışmanın farklı bir yanıtı olarak yorumluyor: Kural sistemi yalnızca mesajlara değil, geri döndürülemez enerji harcamasına bağlanır.

Formüller Ne Anlatıyor?

Çalışmada formüller özellikle Bitcoin bölümünde yoğunlaşıyor. Ayrıca mantık bölümünde syntax, semantik ve kalkül ilişkisini özetleyen sembolik ifadeler de bulunuyor. Aşağıdaki formüller, metindeki sembol dizilimine sadık kalınarak MathJax uyumlu biçimde aktarılmıştır.

Önce biçimsel mantık tarafındaki üç temel ilişki veriliyor. Burada ⊢ sembolü “biçimsel olarak türetilebilir”, ⊨ sembolü ise “modelde doğrudur” anlamına gelir.

Bu ifade, “doğruluk” veya soundness fikrini anlatır: Bir süreç tarafından türetilen ifade, bütün uygun modellerde doğru olmalıdır.

Bu ifade, “tamlık” veya completeness fikrini gösterir: Mantıksal olarak geçerli olan bir ifade, biçimsel süreç tarafından da türetilebilmelidir.

Bu ifade ise Gödelci eksiklik fikrinin sade gösterimidir: Aritmetik kadar güçlü bir sistemde, doğal sayılar dünyasında doğru olan fakat sistemin kendi kurallarıyla kanıtlanamayan ifadeler bulunabilir.

Bitcoin bölümünde ana yapı iki olasılık üzerine kurulur. Burada p, dürüst ağın bir sonraki bloğu bulma olasılığını; q, saldırgan ağın bir sonraki bloğu bulma olasılığını gösterir.

Bu formül, sistemin iki olasılıklı bir yarış olarak ele alındığını gösterir: Bir sonraki bloğu ya dürüst ağ ya da saldırgan bulur.

Bu iki ifade, saldırganın dürüst ağdan daha zayıf olduğu varsayımını anlatır. Metnin önemli noktası şudur: Bu zayıflık yalnızca soyut bir aksiyom değildir; hashrate yani hesaplama gücü ve dolaylı olarak enerji maliyetiyle ilişkilidir.

Bu ifade, saldırganın z blok geriden gelerek dürüst zinciri yakalama olasılığını yaklaşık biçimde anlatan Gambler’s Ruin, yani “kumarbazın iflası” problemine dayalı üstel yapıdır. z arttıkça, yani onay sayısı yükseldikçe saldırganın yetişme ihtimali üstel olarak düşer.

Bu formül, dürüst ağ z blok bulurken saldırganın ortalama kaç blok bulacağını gösterir. Buradaki λ, Poisson dağılımının ortalaması olarak kullanılır.

Bu son formül, saldırganın zinciri yakalama olasılığını hesaplayan daha kapsamlı ifadeyi verir. Formülde k, saldırganın bulduğu blok sayısını; λ, beklenen saldırgan blok sayısını; z-k ise saldırganın kalan açığını temsil eder. Çalışmanın yorumu açısından bu formül sadece teknik bir güvenlik hesabı değildir. Syntax, yani sembolik yapı; semantik, yani saldırganın fiziksel olarak daha az hesaplama gücüne sahip olması; kalkül, yani terim terim çalışan hesaplama süreci aynı ifadede birleşir.

Grafik, Tablo ve Şema Ana Mesajı

Çalışmada klasik anlamda bir grafik veya veri tablosu yerine tarihsel ve kavramsal bir harita kuruluyor. Bu haritanın ilk ekseni mantık ve matematik felsefesi: Frege anlam ayrımını, Hilbert biçimsel sistemi, Gödel sistemin kendi kendini tamamlayamamasını, Turing ise hesaplama sürecinin sınırlarını temsil ediyor.

İkinci eksen matematiksel ekonomi: Cournot ve Walras denge metaforunu ekonomiye taşıyor; von Neumann sabit nokta ve denklem sistemi düzeyinde kalıyor; Morgenstern çeviriyle “equilibrium” etiketini güçlendiriyor; Nash bu etiketi oyun teorisinin merkezine yerleştiriyor; Arrow ve Debreu sabit nokta teoremlerini genel denge varlık ispatına dönüştürüyor.

Üçüncü eksen ise eleştiri ve sınır: Sonnenschein-Mantel-Debreu sonuçları, bireysel düzeyde varsayılan düzenli tercihlerin toplam piyasa davranışına taşınamayabileceğini gösteriyor. Hurwicz ise yalnızca bilgi ve mesajlara dayalı mekanizmaların dürüstlük ve verimlilik garantisi üretmekte sınırları olduğunu vurguluyor. Son eksende Proof of Work, bu soyut kurallar zincirine fiziksel maliyet ekleyen farklı bir örnek olarak konumlandırılıyor.

Deneyler Nasıl Yapılmış?

Bu çalışma deneysel bir laboratuvar çalışması, saha araştırması veya veri analizi sunmuyor. Deney yerine düşünsel bir karşılaştırma yapılıyor. Yöntem, tarihsel metinleri ve temel teorik sonuçları birbirine bağlamak üzerine kurulu. Frege, Hilbert, Gödel, Turing, von Neumann, Nash, Arrow, Debreu, Hurwicz ve Nakamoto gibi figürler aynı çizgi üzerinde okunuyor.

Bu nedenle metnin başarısı, ampirik veri gücünden değil, kavramsal bağlantıların ikna ediciliğinden geliyor. Yazar, “denge” sözcüğünün matematiksel ispatlardan ekonomik gerçeklik iddiasına nasıl taşındığını izliyor. Bu taşıma sırasında anlam kayması oluştuğunu savunuyor. Bitcoin bölümü ise bu tartışmaya teknik bir örnek ekliyor: Proof of Work, sistemin güvenliğini yalnızca mesajlara değil, hesaplama gücü ve enerji harcamasına bağladığı için farklı bir semantik zemin sunuyor.

Sonuçlar Ne Gösteriyor?

Çalışmanın en önemli sonucu, matematiksel ekonomideki “denge” kavramının sanıldığından daha kırılgan bir anlam taşıdığıdır. Sabit nokta teoremleri, belirli biçimsel koşullar altında bir çözümün varlığını gösterebilir. Fakat bu varlık, piyasanın gerçekten o noktaya ulaşacağı, o noktada kalacağı veya tek bir öngörülebilir sonuç üreteceği anlamına gelmez.

Sonnenschein-Mantel-Debreu sonuçları bu eleştiriyi güçlendirir. Bireysel tüketici varsayımları ne kadar düzenli kurulursa kurulsun, toplam talep fonksiyonunun davranışı çok geniş ve belirsiz olabilir. Bu da genel denge modelinin, matematiksel olarak varlık ispatı sunsa bile, gerçek piyasa hareketleri hakkında sınırlı bilgi verdiğini gösterir.

Hurwicz tarafında sonuç daha kurumsaldır: Bir mekanizma, yalnızca mesajları ve kuralları işleyerek herkesin dürüst davranacağını garanti edemez. Dışsal bir yaptırım, güvence veya fiziksel zemin gerekir. Çalışma, Proof of Work’ü bu nedenle önemli görür. Çünkü burada sistem geçmişi değiştirmenin maliyetini soyut bir beyana değil, hesaplama emeğine ve enerji harcamasına bağlar.

Bu Neden Önemli?

Bu tartışma yalnızca akademik bir kelime oyunu değildir. Ekonomide kullanılan modeller, merkez bankalarından piyasa düzenlemelerine, risk yönetiminden finansal teknolojiye kadar geniş bir alanda karar süreçlerini etkileyebilir. Bir modelin matematiksel olarak zarif olması, onun gerçek dünyayı yeterince temsil ettiği anlamına gelmez.

Çalışma, özellikle “etiket” meselesine dikkat çekiyor. Bir teoreme “denge”, bir varsayıma “rasyonel beklenti”, bir modele “genel” veya “dinamik” demek, o modelin gerçek dünyadaki ağırlığını otomatik olarak artırmaz. Kelimeler, formalizme anlam ekliyormuş gibi görünebilir; fakat bu anlamın gerçekten var olup olmadığı ayrıca sorgulanmalıdır.

Proof of Work tartışması da bu açıdan önemlidir. Çünkü blokzincir sistemlerinde güven, yalnızca iyi niyetli mesajlaşmaya değil, saldırının maliyetine bağlanır. Bu maliyet finansal, fiziksel ve teknik boyutlar taşır. Ancak bu da Bitcoin veya başka bir kripto varlık için değer garantisi anlamına gelmez. Buradaki konu fiyat değil, protokolün güvenlik mantığıdır.

Dikkat Noktaları

Çalışma güçlü bir kavramsal anlatı kuruyor; ancak bu tür metinlerde bazı dikkat noktaları vardır. İlk olarak, tarihsel figürler ve teorik sonuçlar arasında kurulan bağlar yorum içerir. Bir kavramın bir dönemden diğerine taşınması her zaman doğrusal ve tek nedenli değildir. Ekonomi tarihi, matematik tarihi ve kripto protokol tarihi çok katmanlıdır.

İkinci olarak, Proof of Work’ün fiziksel maliyet eklemesi onu otomatik olarak her açıdan üstün veya sorunsuz yapmaz. Enerji tüketimi, çevresel etki, madencilik yoğunlaşması, ağ güvenliği, regülasyon ve ekonomik teşvikler ayrı ayrı değerlendirilmesi gereken konulardır. Bu içerik yatırım tavsiyesi değildir ve herhangi bir kripto varlığın gelecekteki fiyatı veya başarısı hakkında öneri içermez.

Üçüncü olarak, çalışma genel denge teorisinin anlam sorunlarını eleştirirken, matematiksel modellerin tamamen gereksiz olduğunu söylemez. Daha doğru okuma şudur: Matematiksel model, gerçeklik iddiası taşıdığında kendi varsayımlarının sınırlarını açıkça göstermelidir.

Sonuç

“Broken Semantik” başlığı, modern ekonomideki bir anlam kırılmasına işaret ediyor. Çalışmaya göre sorun, matematiğin ekonomide kullanılması değildir. Sorun, matematiksel yapının gerçek dünya anlamı kanıtlanmadan ekonomik gerçeklik gibi sunulmasıdır. Sabit nokta teoremi bir çözümün varlığını gösterebilir; fakat bu çözümün piyasa dengesi olduğunu söylemek için fazladan semantik, yani anlam zemini gerekir.

Yazarın anlatısında Proof of Work bu yüzden özel bir yerde durur. Çünkü burada güvenlik, yalnızca sembollere ve mesajlara değil, geri döndürülemez hesaplama maliyetine bağlanır. Başka bir deyişle, sistemin kuralları ile fiziksel dünya arasında bir temas noktası oluşur. Bu temas, çalışmanın ana kavramıyla söylersek, “ağırlıksız denge” yerine “ağırlığı olan bir doğrulama” fikrini gündeme getirir.

Verianla açısından bu çalışma, ekonomi modellerini, blokzincir protokollerini ve matematik felsefesini aynı yazıda buluşturduğu için değerli bir okuma sunuyor. Okuyucuya asıl katkısı, güçlü görünen kavramların arkasındaki anlam bağlantısını sormayı öğretmesidir: Bir model yalnızca çalışıyor mu, yoksa gerçekten dünyaya temas ediyor mu?

Kaynak ve Yöntem Notu

Bu yazı, Istvan Werner imzalı “Broken Semantik: Labels, Fixed Points, and the Missing Weight of Economic Equilibrium” başlıklı çalışma temel alınarak hazırlanmıştır. İçerik, çalışmanın ana tezini Türkçe okuyucu için sadeleştirmeyi, teknik terimleri açıklamayı ve formülleri anlaşılır bir çerçeveye yerleştirmeyi amaçlar.

Bu içerik birebir çeviri değildir; çalışmanın ana fikri Verianla yayın çizgisine uygun biçimde sadeleştirilmiş ve özgün Türkçe editoryal makaleye dönüştürülmüştür.

Finans, kripto ve ekonomik modelleme konularına temas eden bölümler bilgilendirme amacı taşır. Bu içerik yatırım tavsiyesi değildir.