حتی گوشواره اش هم هست، ۲۰۰ دلار، قسطی هم می ده.
یه چیز جالب در موردش اینه که گروه بنیادی اش کمی پیچیده است، یعنی فرمول ساده و بسته یا جمع جوری نداره. تمام مشکل هم از اونجا شروع می شه که اون دایره ها هی کوچک می شند.
گروهش زیرگروهی از حاصل‌ضرب آزاد بی‌نهایت‌ مرتبه اعداد صحیح می شه.
اولین بار این فضا رو Brian Griffiths در ریاضی مطرح کرد.(این حتی صفحه انگیسی ویکی پدیا نداره)

دعوای بین ریاضی محض و کاربردی هم همیشه وجود داشته. حتی در آمریکا اوائل قرن قبل رفتن به ریاضی محض پرستیژ و کلاس بیشتری داشت. حتی این تفکر وجود داشت که کسانی که توانایی و استعدادشون کمتر هست می رند ریاضی کاربردی می خونند.
البته بعدا به خاطر اتفاقاتی که در جنگ جهانی دوم افتاد تا حدی این نگاه تغییر کرد.

از دید مقاله بازی و مقاله سازی هم بخوایم نگاه کنیم کار در ریاضی کاربردی راحته(هر چند در ریاضی محض هم راه هایی وجود داره برای این کار)
خود این موضوع باعث شده نگاه به ریاضی کاربردی ها از طرف ریاضی محضی ها کمی از بالا به پایین باشه.

اینجا تائو می گه: هر اهل ریاضی کاربردی باید دو فصل اول کتاب های محض رو بخونه، بقیه نمی خواد.

بعدا مطلب مفصل تری درباره این موضوع می ذارم.

این رو خودم تازه فهمیدم، این کدی که می بینید به اون زبان نوشته شده و خروجی اش هم
Hello World
هست. خیلی کاربردی ظاهرا نداره، یعنی ابزار جدی برنامه نویسی نیست.

داشتم مطلبی می خوندم، وجود رو در ریاضی سه دسته کرده بود:
۱. وجود صریح:
داریمش، اینجا هست تا ببینید!
۲.وجود ناشناس:
داریمش، ولی بهتون نمی گیم چیه، نه از سر بی مهری! چون مهم نیست.
۳. وجود کلاسیک:
محاله که نباشه، نمی گیم چیه. نه از قلدری، چون خودمون هم نمی دونیم چیه. سرنخی نداریم. نبودش تناقضه، پس باید باشه.

جالب بود. مثال هاش دیگه با خودتون!

شاید یه زمانی برسه که میم ها هم بخشی از درس بشند، یعنی دانشجوها استادها رو با این معیار مقایسه کنند: فلان استاد خیلی خوب نیست، از میم کم استفاده می کنه!
دست کم در سطح کارشناسی

این میم خیلی خوب بود.

آمریکا رو ترک می کنی؟
تائو: بستگی داره، وضعیت خیلی ناپایداره.

https://www.scmp.com/news/china/science/article/3323325/will-you-leave-us-china-it-depends-says-mathematician-terence-tao

بازی tic-tac-toe رو با Lean نوشته و بعد گفته اجراش از لحاظ منطقی اکیه.
می گه formalized کردن بازی، باعث می شه بازی رو با
correctness guarantees 
پیاده سازی کنی.
به شوخی می گه بی خاصیت ترین پروژه اش بوده، بیست ساعت زمان و هزار خط کد.
می گه قصه برای من ده سال پیش شروع شد، وقتی CS می خوندم.mentor خوبی داشتم.
خلاصه یه بازی ساختم که هیچ باگی نداره. می خواستم بازی ای بسازم که کامپیوتر غیر قابل شکست باشه(قسمت آسونش) و قسمت سختر اینکه از نظر ریاضی ثابت کنم که غیر قابل شکست هست.
https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/

میم دبیرستانی

توی هاروارد میانگین نمرات بالا رفته، از ۳.۸ به ۴.
مقاله اومده به تحلیل مشکل
grade inflation
پرداخته. می گه میانگین نمرات بالاتر رفته ولی تلاش ها کمتر شده. ظاهرا خود اساتید از این وضعیت خنده شون گرفته.
غیبت ها زیاد شده، مشارکت کم شده، همه هم چسبیدند به فعالیت های فوق برنامه.
ظاهرا خود اساتید برای اینکه متهم نشند به سخت گیری، کمی راحت  گرفتند. می گند بعد کرونا هم این قضیه تشدید شده.
مقاله هشدار می ده که این روند فرهنگ رقابت ناسالم رو رواج می ده.
https://www.theatlantic.com/ideas/archive/2025/08/harvard-college-grade-inflation/684021/

مستند پایتون هم در اومد. ماجرای زبان برنامه‌نویسی‌ای که دهه‌ی ۹۰، در یک گوشه‌ی از آمستردام، و مثل خیلی از بازیگرای اصلی دنیای کامپیوتری امروز، از یک پروژه‌ی فرعی متولد شد. با حضور Guido van Rossum و دوستان.

از یوتیوب ببینید.

تعداد دانشگاه هایی که کتاب
Measure, Integration & Real Analysis
آقای
Sheldon Axler
(نویسنده کتاب معروف در جبر خطی) رو به عنوان کتاب مرجع برای این درس انتخاب کردند به صدتا رسید.
https://measure.axler.net/MIRAAdoptions.html

میم برای middle school

Bourbaki

طبق اطلاعیه‌ای که در خبرنامه «انجمن ریاضی ایران» منتشر شد دکتر «حیدر زاهدانی» بین سال‌های ۱۳۶۳ تا ۱۳۸۲ عضو هیئت علمی دانشگاه شیراز بودند و پس از کسب این همه سال تجربه، از ایران مهاجرت کرده و در «دانشگاه ایالتی کالیفرنیا در سن مارکوس» مشغول کارِ علمی و تدریس ریاضی می‌شوند. چون ایشان اخیرا فوت شده‌اند، پیش از هر چیز لازم می‌دانم درگذشت ایشان را به خانواده، دوستان و شاگردان‌شان و همچنین جامعه علمی تسلیت بگویم.
چند دقیقه‌ای با خودم کلنجار رفتم که آیا درباره زنده‌یاد «دکتر حیدر زاهدانی» بنویسم یا نه. چرا؟ چون ایشان را از نزدیک نمی‌شناختم. اما خواستم بگویم ایشان یکی از اساتیدِ باتجربه بودند که پس از سال‌ها تجربه کارِ علمی تصمیم به مهاجرت گرفتند و جامعه علمی ایران آن قدر ضعیف شد که به اینجا رسیدیم. سال‌های دور در جایی خواندم نزدیک به یازده‌هزار استاد ایرانی در دانشگاه‌های آمریکا و کانادا مشغول تدریس و تحقیق بوده‌اند. آمار دقیق بروز شده را نمی‌دانم ولی تنها در دانشگاه‌های تراز اول آمریکا بیش از ۵۰۰ استاد ایرانی مشغول کار علمی هستند.
کامنت‌ها را می‌بندم چون با آنکه «چیزی که عیان است چه حاجت به بیان است»، حوصله بحث با افراد معلوم‌الحال را ندارم.

از صفحه شخصی Dr. Peyman Nasehpour

اگر برای نوشتن نمادهای ریاضی پایان‌نامه‌تون دچار مشکلید (چه لاتک چه ورد ملعون)، این فونته (Julia Mono) رو پیدا کردم، تا الان خوب بوده.

https://juliamono.netlify.app/

در این لینک می‌توانید تعداد زیادی طرح و قالب بیمر را مشاهده کنید. بیمر Beamer یک امکان یا ویژگی از لاتک است، که با آن می‌توانید فایل ارائه (presentation) برای سخنرانی‌ها و دفاع و ... بسازید [مشابه نرم‌افزار powerpoint در آفیس].

https://hartwork.org/beamer-theme-matrix/