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

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/

بهترین کیک تولدی که برای یه علاقه مند به ریاضی می شه تهیه کرد، به نظرم. حالا هر کدوم از سری کتاب های GTM یا ...

Mathematics for Computer Science
مناسب برای آرشیو کردن!
۱۰۴۸ صفحه کتاب، برای Beginnerها خیلی مناسبه.
من خودم هیچ وقت با این کتاب هایی که همه چیز توش هست حال نکردم، ولی خب این هم با یه هدفی و برای مخاطب خاصی تهیه شده.
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf

امروز تولد
Carl Runge
هست.
در درس آنالیز عددی یا محاسبات عددی یا هر اسم دیگه ای که داره احتمالا با روش
Runge–Kutta
آشنا شدید.
یکی از دختراش هم دکتری ریاضی گرفت(البته با کلی گرفتاری)
یکی دیگه از دختراش نینا، با
Richard Courant
معروف ازدواج کرد.

❌یک تیتر زرد و نادرست دیگر، حاصل کژفهمی در ترجمه‌ی مقالات علمی!

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

• ادعای مطرح شده در پژوهش مربوط به یک پدیده‌ی کوانتومی به نام ترتیب علی نامعین Indefinite Causal Order هست.

• در دنیای ما رویدادها ترتیب مشخصی دارند←رویداد A یا قبل از B اتفاق میفته یا بعد از B!

• این تیم با استفاده از سوییچ کوانتومی یک فوتون رو در حالت سوپرپوزیشن قرار دادند یعنی وضعیتی که سیستم به طور همزمان هر در دو ترتیب زمانی یعنی A قبل از B و B قبل از A قرار میگیره که متاسفانه در اینجا نامعین بودن ترتیب رویدادها با توقف گذر زمان اشتباه گرفته شده.

• در این آزمایش زمان همچنان جاریست و هرگز متوقف نشده، چیزی که در اینجا تغییر کرده صرفا توالی دو فرآیند از دیدگاه اون سیستم کوانتومی‌ است نه کل جریان زمان!

#کژفهمی #کوانتوم

https://www.popularmechanics.com/science/a65593746/time-travel-in-the-quantum-realm/

https://arxiv.org/html/2211.01283v3

──────────•••
🔭 @SGA_pioneer

به هر حال کار فرگه اولین تلاش بوده و دلایل خودش رو هم داشته برای این کار
ولی به هر حال به خیر گذشت!

همیشه یه بحث قدیمی وجود داشته که آثار کلاسیک رو بخونیم یا نه؟ نظرات در این مورد متفاوت هست ولی تا اون جایی که من دیدم و به طور کلی اگر بخوایم یه جواب کوتاه و سرراست از طرف ریاضیدان ها به این سوال بدیم اینه که: نه!
می گند:
ریاضیات امروز با سرعت زیادی پیش می ره و خوندن آثار کلاسیک برای پژوهشگر امروزی سخت و وقت گیره.
خیلی از آثار قدیمی تر بیشتر توصیفی هستند و یا نمادگذاری های خاص خودشون رو دارند و برای خواننده امروزی کلافه کننده است.
اگر به دلایلی مجبور شدید یا علاقه مند بهتره که کتاب هایی که بیان مدرن و امروزی رو داره مطالعه کنید.
مگر کسی که هدفش تاریخ یا فلسفه ریاضی باشه و یا دلایل دیگه ای برای خودش داشته باشه.
در mathoverflow بحث های جالبی در این زمینه شده، حال داشتید بخونید:
https://mathoverflow.net/questions/28268/do-you-read-the-masters?rq=1

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

https://phys.org/news/2025-08-probability-theorem-quantum-makeover-years.html

https://arxiv.org/abs/2410.00319