Ushbu tadqiqot, zamonaviy iqtisodning eng kuchli tushunchalaridan biri bo'lgan "balansi" fikrini sorgulanadi. Matnning asosiy iddiasiga ko'ra matematik iqtisodda "equilibrium" ya'ni balansi so'zi, ko'pincha fizikaviy balansni emas, belgilangan shartlar ostida mavjudligini isbotlanuvchi mavhumni ifodalaydi. Qo'zg'almas nuqta, funksiya yoki munosabatning o'ziga qaytadigan yechim nuqtasidir; fakat bunday nuqtaning matematik jihatidan mavjudligi, haqiqiy bozor u yerga etib borgani yoki u yerda barqararligi anglatmaydi.

Yozuvchi, Frege'ning ma'no-referent farqi dan boshlab Hilbert'ning formalitchiliking, Gödel'ning to'liqligi teoremalarig, von Neumann'ning qo'zg'almas nuqta yo'ndashuviga, Nash balansiga, Arrow-Debreu umumiy balans modeliga, Sonnenschein-Mantel-Debreu natijalarga va Hurwicz'ning mexanizm dizayni chegaralariga cho'zilgan keng chiziq kuravdi. Ushbu chiziqning oxirida Bitcoin'ning Proof of Work modeli qaraladigan. Proof of Work, ya'ni "ishni isboti", raqamli tizimda tranzaksiya tarixini o'zgartirishni energiya va hisoblash xarajatiga bog'laydigan mexanizmdir. Tadqiqotning iddiasiga ko'ra Proof of Work, mavhum qoidalarga fizikaviy xarajat qo'shib matematik etiket bilan haqiqiy dunyo o'rtasidagi ko'plikni qisman tuzatadigan misol beradi.

Muammo Nima?

Matnning asosiy muammosi shu savolga jamlansa bo'ladi: Matematik jihatdan mavjudligini isbotlanuvchi yechim nuqtasiga "iqtisodiy balansi" demek, haqiqatan iqtisodning fizikaviy va jamiyaviy dunyosiga bir narsa aytadimi?

Umumiy balansi nazariyasi, ko'p sonli bazarning bir vaqtda hamohang bir narx va miqdor tizimiga etib borishi mumkinligini ko'rsatishga harakat qiladi. Lekin bu yerda kritik farq, "mavjudlik isbot" bilan "haqiqiy dunyoda ishlayotgan mexanizm" o'rtasidadir. Matematik teorema, belgilangan aksiomalar ostida qo'zg'almas nuqtaning mavjudligini aytishi mumkin. Lekin ushbu nuqtaning haqiqiy bazarlarda topilish, hisoblanish, barqaror bo'lish yoki jamiyaviy xulq-atvorni tushuntiradimi alohida ko'rsatilishi kerak.

Tadqiqot, ushbu farqning tarix davomida so'zlar bilan yashiringanligini savunadi. "Equation" ya'ni tenglama bilan "equilibrium" ya'ni balansi bir-biriga yaqin ko'rinadi; fakat biri simvolik tenglik, boshqasi og'irlik, kuch va fizikaviy uchrashuv assotsiatsiyasini taşiydi. Yozuvchining "missing weight" dediegi yo'q og'irlik to'liq shu yerda paydo bo'ladi: Matematik tenglik bor, lekin bu tenglikka haqiqiy dunyodan og'irlik beradigan fizikaviy yoki institutisional poydevor ko'pio'chida yo'q.

Usul Nima Tavsiya Qiladi?

Tadqiqot klassik ma'noda ma'lumot to'plami, regressiya tahlili yoki tajribaviy sinovdan foydalanmaydi. Bunday o'rniga tarixiy-tushuncha usulini izlab boravdi. Avval mantiq va matematik falsafasidagi asosiy farqlar tushuntiriladi: Syntax, belgilar va qoidalarning biçimli nizo'midir; Semantik, ushbu belgilari niga to'g'ri kelganligii, ya'ni ma'no va haqiqatlik bog'lanishidir; Kalkul esa qoidalar ishlatiladigan jarayon, ya'ni hisoblash motoridur.

Ushbu uchta farq keyin iqtisodga qo'llanadi. Von Neumann'ning qo'zg'almas nuqta isbot, Kakutani'ning qo'zg'almas nuqta teoremi, Nash balansi va Arrow-Debreu umumiy balansi modeli, "syntax" tomonida kuchli matematik quroli. Lekin ushbu quroli "semantik" tomoni, ya'ni haqiqiy bazarlarga qanchalik to'g'ri kelganliği bahslidir. Yozuvchi, zamonaviy iqtisodda ko'p topolojik shart haqiqiy dunyo xususiyyati kabi atalar qilinganligini ileri sura: kompaktlik "cheklangan resurslar", konvekslik "ratsional terchihlar", uzluksizlik "barqaror xulq-atvor" kabi o'qiladi.

Metn keyin Hurwicz'ning mexanizm dizayni da imkonsizlik natijasiga o'tadi. Mexanizm dizayni, belgilangan qoidalarni kurib olgan holda odamlarning istagan natijani halol yaratishini ta'minlashga harakat qiladigan soha. Hurwicz'ning chiziqqani, faqatgina bilgi va habarlanishiga asoslangan tizim ichidan to'liq halollik, ishtirokvni va sammaradorlikni kafolat qila olmasligi ko'rsatadi. Tadqiqot Bitcoin'ning Proof of Work mexanizmini ushbu muhokama ning turli turldagi javob sifatida talqin qiladi: Qoida tizimi faqatgina habarlanishga emas, qaytarib bo'lmaydigan energiya xarajatiga bog'lanadi.

Formulalar Nima Aytadi?

Tadqiqotda formulalar, ayniy sof Bitcoin bölümida kuchli. Bunga qaramay mantiq bölümda syntax, semantik va kalkul bog'lanishini xulosa qiluvchi simvolik ifodalar bor. Quyidagi formulalar matnning simbol ketma-ketligiga sadoqatli qolib MathJax moslikda keltirilgan.

Avval biçimli mantiqning uchta asosiy bog'lanishi beriladi. Bu yerda ⊢ simvoli "biçimli ravishda oledinidiz", ⊨ simvoli esa "modelda haqiqatdir" anglatadi.

Ushbu ifoda, "haqiqatlik" yoki soundness fikrini aytib beradi: Bir jarayon tomonidan topilgan ifoda, barcha mos modelda haqiqat bo'lmalidi.

Ushbu ifoda, "to'liqligi" yoki completeness fikrini ko'rsatadi: Mantiqan to'g'ri bo'lgan ifoda, biçimli jarayon tomonidan ham topilishi kerak.

Ushbu ifoda Gödelning to'liqligi fikrining sodda ko'rsatmasi: Aritmetika qanchalik kuchli bo'lgan tizimda, tabiiy sonlar dunyosida haqiqat bo'lgan lekin tizimning o'z qoidalari bilan isbotlanmaydigan ifodalar bor.

Bitcoin bölümida asosiy quroli ikkita ehtimollikka asoslandi. Bu yerda p halol tarmoqning keyingi blokkni topish ehtimoli; q esa tajovuzchi tarmoqning keyingi blokkni topish ehtimoli ko'rsatadi.

Ushbu formula, tizimning ikkita ehtimolligi bo'lgan yarashni o'tilganligini ko'rsatadi: Keyingi blokkni ya halol tarmoq yoki tajovuzchi topadi.

Ushbu ikkita ifoda, tajovuzchining halol tarmoqdan kamroq kuchli ekanligini bildiradi. Matnning muhim nuqtasi shundaki: Ushbu kam kuchlilik faqat mavhum aksioma emas; hashrate ya'ni hisoblash kuchi va bilvosita energiya xarajatiga bog'langan.

Ushbu ifoda, tajovuzchining z blok orqada qol taraf halol zanjirini yetib borish ehtimoli ni taxminiy ko'rsatadigan Gambler's Ruin, ya'ni "kumarbazning iflosligii" masalasiga asoslangan üssimbol quroli. z orttirilgan sari tajovuzchining yetib borish ehtimoli üssli ravishta tushadi.

Ushbu formula, halol tarmoq z blok topuvchi vaqtida tajovuzchining o'rtacha qancha blok topadini ko'rsatadi. Bu yerda λ, Puasson taqsimoti ortachasi sifatida ishlatiladi.

Ushbu oxirgi formula, tajovuzchining zanjirni yetib borish ehtimoli ni hisoblastadigan yanada vus'at ifodani beradi. Formulada k, tajovuzchining topilgan blok miqdori; λ, kutilayotgan tajovuzchi blok miqdori; z-k esa tajovuzchining qol ta'liqidur. Tadqiqotning talqini bo'yicha ushbu formula faqat texnik xavfsizlik hisob emas. Syntax, ya'ni simvolik quroli; semantik, ya'ni tajovuzchining fizikaviy jihatdan kamroq hisoblash kuchiga ega bo'lishi; kalkul, ya'ni had ba had ishlatiladiagan hisoblash jarayoni bir ifodada birlashadi.

Grafik, Tabel va Sxema Asosiy Xabari

Tadqiqotda klassik ma'noda grafik yoki veri jadval o'rniga tarixiy va tushuncha xaritasi quriladi. Ushbu xarita ning birinchi o'qi mantiq va matematik falsafasi: Frege ma'no farqi, Hilbert biçimli tizimi, Gödel tizimning o'zi o'zini tamamlay olmashi, Turing esa hisoblash jarayoning chegaralari ifodalaydi.

Ikkinchi o'qi matematik iqtisod: Cournot va Walras balans metaforini iqtisodga olib keladi; von Neumann qo'zg'almas nuqta va tenglama tizimi darajasida qoladi; Morgenstern tarjima bilan "equilibrium" etiketni kuchlantiradi; Nash ushbu etiketni o'yin nazariyasining markaziga qo'yadi; Arrow va Debreu qo'zg'almas nuqta teoremalarini umumiy balansi mavjudlik isbot iga aylantiravdi.

Uchinchi o'qi esa tanqid va chegaradir: Sonnenschein-Mantel-Debreu natijalari, feyli darajada taxmini muntazam terchihlarning jami bozor xulq-atoriga o'tkazilmasligi ko'rsatadi. Hurwicz esa faqatgina bilgi va habarlanishiga asoslangan mexanizmlaring halollik va sammaradorlik kafolat qila olmasligining chegaralari tu'ndiradi. Oxirgi o'qda Proof of Work, ushbu mavhum qoidalar zanjiriga fizikaviy xarajat qo'shadigan turli misol sifatida joylastirilib kutadi.

Tajribalar Qanday Olib Borilgan?

Ushbu tadqiqot tajribaviy laboratoriya tadqiqoti, saha tadqiqoti yoki ma'lumot tahlili topshirmadi. Tajriba o'rniga o'ylash bilan solishtirma o'tkaziladi. Usul, tarixiy matnlar va asosiy nazariy natijalarni bir-biriga bog'lashga asoslandi. Frege, Hilbert, Gödel, Turing, von Neumann, Nash, Arrow, Debreu, Hurwicz va Nakamoto kabi figural bir chiziqda o'qiladi.

Shuning uchun matnning muvaffaqiyligi, ampirik ma'lumot kuchidan emas, tushuncha bog'lanishlarning ishoncha berish kuchiga asoslani. Yozuvchi, "balansi" so'zining matematik ispotlardan iqtisodiy haqiqatlik da'vosiga qanday o'tkazilganligini izlab boravdi. Ushbu o'tkaza vaqtida ma'no siljishi yuz beradi, deb savunadi. Bitcoin bölümü esa ushbu muhokama ga texnik misol qo'shadi: Proof of Work, tizimning xavfsizligini faqat habarlanishga emas, qaytarish bo'lmaydigan hisoblash xarajatiga bog'langani uchun turli semantik poydevor beradi.

Natijalar Nima Ko'rsatadi?

Tadqiqotning eng muhim natijai, matematik iqtisodda "balansi" tushunchasing o'ylangandan ko'proq nozik ma'no taşiyganligidadir. Qo'zg'almas nuqta teoremi, belgilangan biçimli shart ostida yechim mavjudligini ko'rsatadi. Lekin ushbu mavjudlik, bozor haqiqatan shu nuqtaga etib borgani, shu nuqtada qoladigiii yoki bitta o'ngoza bo'ladigan natija berganligini anglatmaydi.

Sonnenschein-Mantel-Debreu natijalari ushbu tanqidni kuchlantiradi. Feyli darajada xulq-ator qanday muntazam kurilib turilsa turilsin, jami talab funktsiyasi xulq-atori juda keng va noaniq bo'lishi mumkin. Bu ushbu umumiy balansi modelning matematik jihatdan mavjudlik isbot bersa ham, haqiqiy bozor harakati haqida cheklangan bilgi berganligini ko'rsatadi.

Hurwicz tomondan natija yanada institutional: Mexanizm, faqatgina habarlanish va qoidalarni ishlab hamma halol bo'lishini kafolat qila olmadi. Tashqi yaktirma, kafolat yoki fizikaviy poydevor kerak. Tadqiqot, Proof of Work'ni bu sababga ko'ra muhim ko'radi. Chunki bu yerda tizim o'tkaznasni faqat belgilari ga emas, qaytarish bo'lmaydigan hisoblash xarajatiga bog'laydi.

Bu Nima Uchun Muhim?

Ushbu muhokama yalnizca akademik so'z o'yini emas. Iqtisodda ishlatilgan modellar, markaziy banklardan bozor nizomiga, risk boshqaruv dan moliyaviy texnologiyaga qadar keng sohada qaror jarayonlarini ta'sir qila biladi. Modelning matematik jihatdan zabardast bo'lishi, uni haqiqiy dunyoni etarlicha ifodalagan degan ma'no anglatmaydi.

Tadqiqot, ayniy sof "etiket" masalasiga ehtibor bertadi. Teoremaga "balansi" demakniq, taxmini "ratsional kutish", modelga "umumiy" yoki "dinamik" demakniq, shu modelning haqiqiy dunyodagi og'irligini avtomatik oshirmaydi. So'zlar, formalizmga ma'no qo'shib ko'rinadigan; lekin bu ma'noning haqiqatan mavjud ekanligii alohida sorgulanishi kerak.

Proof of Work muhokamasi ham bu nuqta dan muhimdir. Chunki blokzanjir tizimlarida ishonch, faqatgina yaxshi niyatli habarlanishga emas, tajovuzning xarajatiga bog'lanadi. Ushbu xarajat moliyaviy, fizikaviy va texnik o'lchovlarni taşiadi. Lekin bu Bitcoin yoki boshqa kripto aktivni uchun qiymatning kafolati anglatmaydi. Bu yerda mavzu narx emas, protokolning xavfsizlik mantiqidur.

Ehtibor Nuqtalari

Tadqiqot kuchli tushuncha anlatisini kuravdi; lekin bunday matnda ba'zi ehtibor nuqtalari bor. Birinchiga, tarixiy figural va nazariy natijalar o'rtasida kurilgan bog'lanishlar talqin o'z ichiga oladi. Tushunchaning bir davr dan boshqasiga o'tkazilishi har doim to'g'rilinik yoki bitta sababdan iborat bo'lmaydi. Iqtisod tarixi, matematik tarixi va kripto protokoli tarixi ko'p qatlamli.

Ikkinchiga, Proof of Work'ning fizikaviy xarajat qo'shishi uni avtomatik har tomondan ustun yoki muammosiz qilmaydi. Energiya isteqbali, atrof ta'siri, qazib chiqarish yoğunlashuvi, tarmoq xavfsizligi, qonuniy tartib va iqtisodiy teşviqlar alohida baholansa kerak. Ushbu kontent investitsiya tavsiyas emas va hech bir kripto aktivni kelajak narxi yoki muvaffaqiyligi haqida taklif o'z ichiga olmaydi.

Uchinchiga, tadqiqot umumiy balansi nazariyasining ma'no muammolarini tanqid qilgan vaqtda, matematik modellar butunlay zarursizmi aytmaydi. Ko'proq to'g'ri o'qish shundai: Matematik model, haqiqatlik da'vasi tashiganida o'z taxminlarining chegaralarini aniq ko'rsatishi kerak.

Xulosa

"Broken Semantik" sarlavhasi, zamonaviy iqtisodda bir ma'no qilinganligiga to'g'ri keladi. Tadqiqotga ko'ra muammo, matematika ning iqtisodda ishlatilishi emas. Muammo, matematik quroli ning haqiqiy dunyo ma'nosi isbotlanmay iqtisodiy haqiqatlik kabi taqdim qilishdadir. Qo'zg'almas nuqta teoremi yechim mavjudligini ko'rsatadi; lekin bu yechimning bozor balansi ekanligini aytish uchun yanada semantik, ya'ni ma'no poydevor kerak.

Yozuvchining anlatisida Proof of Work ushbu sababga ko'ra maxsos joyda turadi. Chunki bu yerda xavfsizlik, faqatgina belgilarga va habarlanishga emas, qaytarish bo'lmaydigan hisoblash xarajatiga bog'lanadi. Boshqalash qilib aytganda, tizimning qoidalari bilan fizikaviy dunyo o'rtasida bir temas nuqtasi quriladi. Ushbu temas, tadqiqotning asosiy tushunchasi bilan shunaqa, "og'irligi bo'lmayan balansi" o'rniga "og'irligi bo'lgan bir tasdiqolash" fikrni qo'y beradi.

Verianla nuqta-i nazar ushbu tadqiqot, iqtisod modellarini, blokzanjir protokollarini va matematik falsafasini bir yozuvda qo'shganligii uchun qiymatlı bir o'qish beradi. O'quvchiga asosiy hissasi, kuchli ko'rinadigan tushunchalarning ortasidagi ma'no bog'lanishini sorguashni o'rgatishidadir: Model faqatgina ishlayapi, yokki haqiqatga salbiy tegib turapi?

Manba va Usul Notasi

Ushbu yozuv Istvan Werner imzali "Broken Semantik: Labels, Fixed Points, and the Missing Weight of Economic Equilibrium" nomli tadqiqot asosida tayyorlangan. Kontent, tadqiqotning asosiy tezisni O'zbek o'quvchi uchun soddalashtirishni, texnik terminlarni tushuntirish ni va formulalarni tushuncha çerçevega joylashtirishni maqsad qiladi.

Ushbu kontent birebir ko'chirish emas; tadqiqotning asosiy fikri Verianla nashr qatoriga moslab soddalashtirilgan va ozgina O'zbek muharrir maqolasiga o'tkazilgan.

Moliya, kripto va iqtisodiy modellashtirish mavzulari bilan bog'liq bölümlar ma'lumot berish maqsadi taşiadi. Ushbu kontent investitsiya tavsiyas emas.