Matematika asosan mavhum narsa deb o'ylaymiz. Uning haqiqatlari shunchalik universal — hatto begona sayyoraliklar ham 2 + 2 = 4 ekaniga rozi bo'lardi. Ammo matematik ish aslida juda oddiy narsaga asoslanadi: qog'oz yoki doskaga belgilar qo'yish.

Belgilar — Bir Texnologiya

Smitonson milliy tarix muzeyining matematik tarix kuratori David Dunning bu masalani chuqur o'rgangan. Uning fikricha, matematik belgilar tizimi nafaqat intellektual, balki ijtimoiy va moddiy ta'sirlarga ham ega.

"G'oyalar ularni yozma shaklda ifodalashning turli usullari bilan birga rivojlandi. Aynan shuning uchun belgilarga e'tibor qaratish foydali — men uni matematiklar qilayotgan narsalarni haqiqiy hayot faoliyatiga, moddiy dunyoga bog'lash usuli deb bilaman."

— David Dunning

Belgilar tizimi o'ylab topilishi, o'rgatilishi va rivojlanishi kerak. Ularda imkoniyatlar ham, cheklovlar ham bor. Bu ko'p jihatdan bir texnologiyadir.

Rim Raqamlari va Arab Raqamlari

Biz bugun ishlatadigan hind-arab raqamlari Hindistonda paydo bo'ldi, arab dunyosiga tarqaldi va asosan savdogarlar orqali Yevropaga yetib keldi. Avval keng tarqalgan rim raqamlariga nisbatan bu tizim savdogarlar uchun hisob-kitobni ancha osonlashtirdi.

Rim raqamlarida har bir yangi o'nlik uchun yangi belgi kerak. Ammo hind-arab raqamlarida atigi 10 ta belgi yordamida cheksiz ko'p sonni ifodalash mumkin. Bu tizim nafaqat sonlarni yozish, balki ularni qo'shish, ko'paytirish va boshqa amallar uchun algoritmlar berishga ham imkon yaratdi.

"Katta sonlarni ko'paytirish qiyin ish edi — bu tizim paydo bo'lgunga qadar."

— David Dunning

Nyuton va Leybnits: Ikki Xil Yo'l

XVII asrda Isaak Nyuton va Gotfrid Leybnits mustaqil ravishda infinitezimal hisob usulini kashf etdilar. Ammo ular butunlay boshqa belgilar tizimidan foydalandilar.

Nyuton o'z hisobini geometriyaga asosladi. Uning asosiy asari — Principia — Evklidga o'xshab ta'riflar, aksiomalar va diagrammalar bilan boshlanadi. Leybnits esa yanada algebraik, belgilarga yo'naltirilgan yondashuv tarafdori edi.

"Aytishga jur'at etamanki, bu insoniyat aqlining so'nggi sa'y-harakati. Bu loyiha amalga oshirilganda, odamlarga faqat baxtli bo'lish qoladi."

— Gotfrid Leybnits, o'z belgilar tizimi haqida

Bugun biz ishlatiladigan integral belgisi — uzaytirilgan "S" harfi — Leybnitsnikidir. Uning dy/dx differensiallash belgisi ham o'ynab ko'rishga mos kelib, Yevropa materikida tez tarqaldi. Nyutonning tizimi esa Angliyada mashhur bo'lib qoldi, lekin rivojlanmadi.

XIX asr boshlarida ingliz talabalari hali ham Nyuton belgilarida o'qitilayotganidan norozilik bildirdi — butun matematika Leybnits tizimida rivojlanayotgan edi. XIX asr o'rtasiga kelib ingliz matematikasi Leybnits tizimiga to'liq o'tdi.

Mantiqda Belgilar Ko'pligi

Matematik mantiqda belgilar tizimlarining ko'pligi ayniqsa qiziqarli. Jorj Bul 1847-yilda birinchi kitobini chiqarganida, uning maqsadi mavjud algebraik belgilardan foydalanib Aristotel mantiqini yanada samarali ifodalash edi.

Ammo 1879-yilda nemis matematikasi Gotlob Frege butunlay boshqacha yondashuv bilan chiqdi. U matematikaning aslida mantiq ekanligini ko'rsatishni xohladi. Shuning uchun uning mantiq belgisi hech qanday matematik belgi o'z ichiga olmasligi kerak edi — chunki u matematikani noldan qayta qurmoqchi edi. Frege hech bir avvalgi matematik belgilarga o'xshamaydigan tizim ixtiro qildi.

1930-yillarda Kurt Gödel, Alan Tyuring va Alonzo Church muhim teoremalar — to'liq emaslik va hisoblash haqida — olg'a surdi. Bu teoremalar yozuv tizimlarining nimalarga qodir ekanligini mavzu qilib oldi. Dunning fikricha, bu meta-savollar ko'p belgilar tizimlarining bir-biri bilan raqobatlashgan mantiq an'anasidan kelib chiqqan.

Kelajak: Kompyuterlar va Yangi Belgilar

Dunning matematikada belgilar tizimi rivojlanishining chegarasiga yetmadik deb hisoblaydi. Kompyuterlar barcha turdagi modellash imkoniyatlarini ochib beradi — bosma shaklda ifodalab bo'lmaydigan dinamik ob'ektlar va jarayonlarni.

XIX asr oxirida matematik gips modellari keng tarqalgan edi — har bir math departamentida turli sirtlar uchun modellar to'plami bor edi. Bu model yaratish amaliyoti aslida bir turdagi tadqiqot edi. Xuddi shunday, kompyuterlar ham tipografik bo'lmagan yangi ifodalash imkoniyatlarini ochadi va yangi savollar so'rashga imkon beradi.

"Belgilar esoterik narsalarni mumkin qiladi. Va esoterik nima ekanligini vaqt o'tishi bilan o'zgarishi mumkin."

— David Dunning

Manba: Quanta Magazine — "How Writing Changes Mathematical Thought", muallif: John Pavlus (25-mart, 2026). Maqola o'zbek tiliga moslashtirilgan va qayta ishlangan.