Matematika jamiyatida hozirgi vaqtda isbotlarni yaratish va muammolarni hal qilishning haqiqiy maqsad — odamlar tushunishini rivojlantirishga xizmat qilishini tan olish kuzatilmoqda. Isbotlarni yaratish va muammolarni hal qilish odatda bu maqsadning proxilaridir. Lekin, agar isbotlarni yaratish odamlar tushunishini rivojlantirishsiz amalga oshirilsa, ularning qiymati kamayadi.
Bu savolni ko'taradi: biz qanday boshqa proxilarni ishlatishimiz kerak? Men bu maqsad uchun “motivatsion tushuntirish” tushunchasini aniqroq belgilashni taklif qilamanki, bu yangi va ajoyib motivatsion tushuntirishlarni akademik kredit berishni taklif qilamanki, bu tarixda ochiq muammolarning yangi isbotlarini yaratishga teng bo'ladi.
Bu qadam, men fikrimcha, matematiklarning qanday hissa qo'shishlarini tushunish uchun zarurdir. Agar tashqi tomondan matematiklarni isbot yaratuvchi mashinalar eskirgan deb bilishsa, ichki tomondan esa bu tushunish xatosi deb bilishsa, bu jamiyatga o'zining haqiqiy qadriyatlarini ko'rsatish vazifasi yuklanadi. Tashqi tomondan bu noto'g'ri tushunish kechirilishi mumkin, chunki eng ko'p nishonlanadigan ishlar isbotlarni yaratishga qaratilgan bo'lsa, tushuntirish va izohlash esa ikkinchi darajali bo'ladi.
“Motivatsion tushuntirish” atamasining ma'nosi aniq bo'lsa-da, uni isbot bilan taqqoslashga arziydi. Isbotda, definitsiyalar boshida joylashadi va yangi qurilmalar bilan boshlanadi, ularning xususiyatlarini tahlil qilish uchun. Motivatsion tushuntirishda, definitsiyalar o'rtada joylashadi va yangi qurilmalar faqat muammo aniqlanganidan keyin kiritiladi.
Isbotda, barcha bayonotlar to'g'ri bo'lishi kerak va har bir da'vo oldingi bayonotlardan zaruriy ravishda kelib chiqishi kerak. Motivatsion tushuntirishda, biror g'oyaning noto'g'ri bo'lishi mumkin, lekin uning kelib chiqishi oson tushunilishi mumkin.
Motivatsion tushuntirishlarning yaxshi omborlaridan biri Princeton Companion to Mathematics kitobining IV qismi. U 20 dan ortiq faol tadqiqot sohalarini qamrab oladi, har biri mutaxassislar tomonidan aniq kommunikatsiya qobiliyati bilan taqdim etiladi.
Bu kitobning tarixiy ma'lumoti ham muhimdir. U Timothy Gowers tomonidan tahrirlangan bo'lib, u Numberphile Podcastda Brady Haran bilan suhbatda uni ta'riflaydi. Fields Medalni olgan odamlar o'zlarining faoliyatlarida turli narsalarni qilishga erkinroq his qilishadi, masalan, u Princeton Companion to Mathematics kitobini tahrirlashga kirishdi.
Matematika jamiyatida motivatsion tushuntirishlarning maqomi ko'tarilishi, matematiklarning qanday hissa qo'shishlarini tushunish uchun zarurdir. Bu qadam, matematiklarning o'zining haqiqiy qadriyatlarini ko'rsatish uchun zarurdir.
Asl manba: terrytao.wordpress.com
Universities Space Research Association (USRA) olimlar bilan birgalikda NASA va IBM tomonidan ishlab chiqilgan ochiq manbalar geospatial AI modelini taqdim etdi.
Sun'iy intellekt va sun'iy yo'ldosh ma'lumotlari asosida yaratilgan TACLS tizimi flash toshqinlarni 12‑48 soat oldin ogohlantirishga yordam beradi.
Eski Yunon tilida 1000 ga yaqin so'z bor, ularni hech qanday Indo-Yevropa tili bilan bog'lash mumkin emas. Bu so'zlarning kelib chiqishi qayerdan?
Mazama Energy geotermal energiya sohasidagi startap 135 million dollar sarmoyasini yig'di. Bu pul yordamida kompaniya super issiq toshlar orasiga qidiruvlarni chuqurlashtirishni rejalashtirmoqda.