اگه میخواستید بیشتر در موردش بخونید میتونید این فایل رو بررسی کنید یا اینکه به صفحه لکچر این مبحث از دانشگاه mit برید.

این ویدیو رو هم براش پیدا کردم
https://www.youtube.com/watch?v=g-lffWd1E-k

ویدیو رو با ابزار جدید (البته فکر کنم جدید) NotebookLM ساختم. نتیجه از چیزی که انتظارش رو داشتم خیلی بهتر و جذاب‌تر شد. به عنوان سورس مقاله زیر رو براش قرار دادم.
https://www.newsweek.com/nw-ai/valuing-human-creativity-over-computer-efficiency-2116625

نویسنده مقاله G. G. Lorentz (ریاضی‌دان روس-آمریکایی) اومده تجربه‌های شخصی‌ش در دانشگاه لنینگراد رو نوشته و میگه که تعامل بین سیاست و ریاضیات توی شوروی استالینی (1928-1953) داستان پیچیده‌ای داشته و از یک طرف درگیر سرکوب و ایدئولوژی حکومتی بودن، از طرفی هم حمایت دولتی از علم یادگیری مهارت‌های فنی، سرنوشت ریاضیات توی عصر شوروی رو شکل دادن.
توی مقاله‌ش اول در مورد فشارهای جمعی و صنعتی‌سازی توضیح میده و میگه توی اون فضای پر از تنش، گروه‌هایی از فعالان حزبی جوان مثل کولمان و لیفرت اختیارات خیلی وسیعی پیدا کردن و ازش برای پاکسازی رهبری قدیمی علمی استفاده کردن! در واقع توی دوره استالین به ویژه اوایل دهه 1930 حکومت تصمیم گرفت نسل قدیمی اساتید و دانشمندها که بیشترشون در زمان روسیه تزاری آموزش دیده بودن و تحصیل کرده بودن رو کنار بزنه. برای این کار از کولمان و لیفرت که خودشون ریاضی‌دان‌های برجسته‌ای هم نبودن ولی به حزب کمونیست شوروی وفاداری داشتن استفاده کرد و اساتید قدیمی رو با متهم کردن به بورژوا بودن و ضدانقلاب بودن، تبعید یا زندانی کردن. چندتا از ریاضی‌دان‌هایی که اون دستگیر و تبعید شدن میشه به دیمیتری فوماویچ اِگوروف، نیکولای لوزین، سرگئی ناتانوویچ برنشتاین و هاینریش مونتس اشاره کرد.

نتیجه اون دوره هم جابجایی نیروها و اساتید بود، هم تلاش برای برنامه‌ریزیِ متمرکز پژوهش بود. مثلاً کنفرانس برنامه‌ریزی ریاضیات 1931 خواستار پیوند مستقیم مسائل فنی و صنعتی به پژوهش‌های کاربردی و ریاضیات محض شد. در نتیجه هم این سیاست‌هاشون سبب شد دانشگاه‌ها و موسسات پژوهشی بازسازی بشن، دوره‌های تحصیلی و مدارج جدیدی بیاد روی کار و رشته‌هایی که کاربردی‌تر بودن در صنعت ترجیح داده بشن. در عین حال هم حملات ایدئولوژیک به ریاضیات بورژوایی و فشار بر استادهای غیرهمسو با حزب کمونیست بیشتر شد.

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

توی دورانِ «ترور بزرگ» ۱۹۳۶–۱۹۳۷ هم جمعیت قابل توجهی از نخبه‌های علمی (مخصوصاً در حوزه فیزیک و نجوم) تبعید، دستگیر و اعدام شدن.

لینک مقاله اگه بخواید کامل بخونید
https://www.emis.de/classics/HAT/fpapers/lorentzussr.pdf

ایشونم نیکولای لوزین ریاضی‌دان اهل شورویه که بخاطر کارهاش در زمینه denoscriptive set theory شناخته شده‌ست. زندگی جالبی داشته بعداً در موردش می‌نویسم.

بطور کلی توی دوران جنگ سرد صرفاً رسیدن به یک تکنولوژی دستاورد محسوب نمی‌شد و اینکه کی تونسته زودتر به اون تکنولوژی دست پیدا کنه دستاورد بزرگ‌تری بود. طبیعتاً بخاطر همین حکومت تمایل داشت ریاضیات به سمت کاربردی و صعنتی سوق پیدا کنه. به عنوان یکی از نمونه‌ها میشه به توپولف Tu-144 اشاره کرد که شوروی سعی کرد زودتر از غرب اون رو بسازه تا خودش رو پیروز نشون بده. نمونه آمریکایی این هواپیما که همزمان با شوروی شروع به ساختش کردن بوئینگ 2707 هست (مدل اروپایی‌ش هم با اسم کنکورد شناخته شده‌س) که هیچوقت به مرحله تولید نرسید چون هزینه خیلی بالایی برای تولیدش نیاز داشت و از طرفی به پرواز دراوردنش عملاً غیرممکن بود بخاطر سرعت بسیار بالا.

شوروی این هواپیما رو توی نمایشگاه هوایی لو بورژه پاریس سال 1973 به پرواز دراورد و بخاطر اینکه صرفاً براشون مهم بود زودتر از آمریکا پروژه رو تموم کنن و خیلی براش وقت نذاشتن، توی اون نمایشگاه هواپیما سقوط کرد و رسوایی بزرگی برای شوروی به بار آورد.

رسانه‌های شوروی هم برای اینکه تقصیر رو بندازن گردن بقیه، اومدن گفتن هواپیما مشکلی نداشته و ضدهوایی فرانسه بهش شلیک کرده و موجب سقوطش شده :)

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

میگه که استاد ریاضی دانشگاه شفیلد انگلیس بوده ولی سال ۲۰۱۶ استعفا داده و رفته موسسه هنر شیکاگو شروع به تدریس کرده. دلیلی هم که آورده این بوده که وقتی استاد دانشگاه بود به کسایی ریاضی درس میداده که از قبل توی ریاضی خوب بودن ولی دلش میخواسته به اونایی که سیستم آموزشی نا امیدشون کرده ریاضی درس بده. گویا تلاش هم کرده که توی دانشگاه برای گروه علوم انسانی کلاس ریاضی برگزار کنه که دانشگاه بهش اجازه نداده.

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

توی باقی مصاحبه‌ش هم در مورد کتاب جدیدی که نوشته توضیح میده و علاوه بر اون میگه که سعی داره ریاضی رو با کمک تعاریف غذا (مثل بسته کلوچه و...) به دانشجوها آموزش بده.

دیدگاه جالبیه ولی فکر نکنم خیلی جواب بده یا اصن نیاز باشه اثبات کرد که ریاضیات سخت و خشک نیست. طبیعتاً کسی که علاقه داشته باشه همون هم براش جذاب و شیرین بنظر میاد.

لینک کامل مقاله:
https://www.nytimes.com/2025/08/30/science/eugenia-cheng-math-unequal-book.html

جایی بحث کردند که این چه مسخره بازی هست تو مقالات راه انداختند که شبه کد می نویسند(اولین واکنش من به شبه کد تقریبا همین بود) مثل آدم کد رو بنویسند بفهمیم چی می گه؟ بعضی ها تیکه انداختند که اصلا کد واقعی وجود نداره و واسه همین اون رو نشون نمی دند!
بعضی ها گفتند: چرا همه چیز رو به ریاضی تبدیل می کنید، ما از ریاضی متنفریم.

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

سوال جالبیه

اگر اهل پادکست / یا ریاضی باشید، احتمالا از پادکست ریاضی انتشارات اشپرینگر لذت خواهید برد. این پادکست را می‌توانید از لینک زیر بشنوید. لینک‌های مرتبط در پادگیرهایی مانند اسپاتیفای را هم می‌توانید از همینجا بیابید.

https://springermathpodcast.buzzsprout.com/1833622

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

این جالب بود. در مورد پرچم نپال نوشته و می‌گه که

This is one of the craziest things I have ever read. The flag of Nepal is the only flag which is not a quadrilateral.

بعد می‌گه که نسبت بین ضلع‌های پرچم به همراه حاشیه آبی رنگ‌اش عدد عجیبیه (حدود 1.219) و چون از نظر هندسی قابلیت ساختن‌اش وجود داره، پس جبریه. عدد هم کم‌ترین ریشه چندجمله‌ای درجه 4 زیره:

243356742235044r^4 - 1325568548812608r^3 + 2700899847521244r^2 - 2439951444086880r + 824634725389225

بعد سوال‌اش رو مطرح می‌کنه و در اون می‌گه اگه یه عدد قابل ساختن (constructible) رو داشته باشی، روش استانداردی وجود داره که بشه چندجمله‌ای با ضرایب صحیح پیدا کنی که اون عدد جزو ریشه‌هاش باشه؟

جواب پذیرفته به سوال‌اش هم اینه که آره یه روش عقب‌گرد واسش وجود داره. اول از عددت یه توصیف جبری بنویس. عدد پایین رو مثال زده:
x = √(1+√7)
و بعدش هم داریم:
x^2 = 1 + √7 => x^2 - 1 = √7 => (x^2 - 1)^2 = 7 = > (x^2 - 1)^2 - 7 = 0 or x^4 -2x^2 - 6 = 0

https://math.stackexchange.com/questions/5095659/the-flag-of-nepal-number-is-algebraic