ماسک هم ظاهرا جدیدا مصاحبه کرده و گفته یکی از بدترین اختراعات بشر این short video ها بوده. گفته این فرهنگ اینستاگرامی و تیک تاکی مغز بشر رو فاسد کرده.
غیر از مقالات تخصصی که به هر حال هر کسی احتمالا در حوزه خودش داره می خونه به نظرم چه خوشمون بیاد چه نیاد، مقالاتی که آقای
Stephen Wolfram
می نویسه چه باهاشون موافق باشیم و چه نه، به هر حال خلاف روال معمول هست. مدعی شده:

I soon established that this one little axiom was enough to generate all of logic

https://writings.stephenwolfram.com/2018/11/logic-explainability-and-the-future-of-understanding/

می گند این درست تره(یکی از حالت ها)
Jürgen Schmidhuber

#دانستنی های_ به درد_نخور ۴۲
می دونستید زمانی که گودل به همراه همسرش آدل در سال ۱۹۴۰ از اتریش خارج شدند برای رفتن به آمریکا یه مسیر طولانی و غیر معمول رو رفتند؟
چون امکان سفر مستقیم وجود نداشت، مجبور شدند با قطار و از طریق کشورهای شرق اروپا برند روسیه، از اونجا رفتند ژاپن و با کشتی از یوکوهاما رفتند سان فرانسیسکو و بعد با قطار به پرینستون.

خانم آدل حامی و غمخوار همیشگی گودل بود و اون اواخر گودل فقط غذاهای همسرش رو می خورد و در نهایت بعد از بستری شدن خانم آدل در بیمارستان گودل از خوردن غذا امتناع کرد.
در زمانی که این دو نفر می خواستند با هم ازدواج کنند خانواده گودل خیلی با این موضوع موافق نبودند:
آدل شش سال ازت بزرگتره، قبلا ازدواج کرده و طلاق گرفته و اینکه رقاصه است!
عکس هم مربوط به روز عروسی شون می شه، سال ۱۹۳۸.

خانم
Maryna Viazovska
فیلدز مدالیست، علاقه مند شده به
formalization
ظاهرا formalization مقاله خودش درباره
sphere-packing
در بعد ۸.
https://youtu.be/VtradA4E8Vk?si=ZA0vHgRNLinZOyn-

I'm just a constant no body loves me!

این ویدئو هم مروری بر خاطرات یکی از اولین(و شاید الان برای خیلی ها یکی از قدیمی ترین) درس هایی که پاس کردند:
Calculus
https://youtu.be/uqwC41RDPyg?si=EB7PjXSuTOImRPPN

طرف از تخته سیاه عکس گرفته و بعد داده به چت جی پی تی.
ظاهرا چنان عمیق و درست توضیح داده که یارو به قول بچه ها گرخیده!
می گه الان با یه پرسش اساسی روبرو هستیم: چالش دانشجوها چیه؟ می گه زمان ما و اصلا از ابتدای خلقت بشر بحث "کمیابی" بوده، با این abundance چی کار باید کرد؟
شکل دادن سلیقه، بالا بردن درک شهودی و غرق نشدن در این فراوانی قدم های اول هست.

Euler's Horses

تا الان همه فقط روی دو تا چیز تاکید می کردند: ژنتیک و محیط. ژنتیک یعنی طبیعت و محیط هم یعنی پرورش. منتها این تقسیم بندی شاید خیلی ساده باشه و نمی تونه دلیل تفاوت توانایی و استعداد آدم ها رو درست توضیح بده، به خصوص در مورد ریاضیات.
شاید عامل و یا عوامل دیگه ای هم دخیل باشه. مثل چی؟
تجربه منحصربه فرد هر آدم، فرصت های خاصی که در زندگی باهاشون روبرو شده، مسیر یادگیری غیرمعمول.
به عنوان مثال
William Thurston
در بچگی از انحراف چشم رنج می برد. توی درک اجسام سه بعدی مشکل داشت و مادرش خیلی بهش کمک کرد که بتونه اون ها رو درک کنه(جالبه که بعدا مدال فیلدز گرفت به خاطر کارش در منیفلدهای سه بعدی!)
آدمی که نمی تونست جهان رو به طور طبیعی و اون طور که هست ببینه از قوه تخیل و شهودش کمک گرفت تا جهان دو بعدی خودش رو به سه بعد تبدیل کنه.
بعدها ازش پرسیدند چطور بعد چهارم و پنجم رو می بینه؟ گفته بود: کاری نداره، این بازسازی از بعد پایین تر به بالاتر رو قبلا در ابعاد دو به سه انجام دادم.
https://davidbessis.substack.com/p/beyond-nature-and-nurture

🟢 کتاب معماها و پازل‌های جذاب ریاضی.

✅منتخبی از بهترین و محبوبترین معماها و پازل‌های جذاب ریاضی از سراسر جهان

✅388 مسئله با پاسخ تشریحی

🟢کتابی برای افزایش خلاقیت و
  مهارت در حل مسئله
ویرایش و چاپ دوم: پاییز ۱۴۰۴
۲۴۲ صفحه
✅مناسب نوجوانان و بزرگسالان
جهت سفارش با آیدی 👇
@Esfandiari1986
هماهنگ کنید.

این تصویر معروفه به
Haken's Gordian Knot
در واقع اصلا گره ای وجود نداره!
جزئیات بیشتر در اینجا
https://mickburton.co.uk/2015/06/05/how-do-you-construct-hakens-gordian-knot/

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

خرچنگ قورباغه هات رو بده، کد لاتک تحویل بگیر
https://texpen.github.io/

امروز تولد
George Pólya
هست‌. از جمله ریاضیدان هایی که تقریبا برای همه ریاضی دوستان شناخته شده است، به خاطر کتاب های معروفش.
هم ریاضیدانی برجسته بود و هم تاثیر زیادی در تفکر ریاضی و حل مساله گذاشت.
داستان اخراجش از گوتینگن ماجرایی هست که خودش نقل کرده.
در کریسمس ۱۹۱۳ سوار قطار می شه و با یه نفر هم کوپه ای. سر یه چیز پیش پا افتاده با اون طرف بحثش می شه. خودش گفته در حالت عصبی قرار داشته و نتونسته خودش رو کنترل کنه و سعی می کرده طرف مقابل رو تحریک کنه، اونم اصلا به روی خودش نمیاورده و هیچ واکنشی نشون نمی ده، پولیا قاطی می کنه و یه کشیده می خوابونه در گوش طرف.
بعدا معلوم می شه بابای طرف از مقامات بلند مرتبه دولتی بوده و دانشجوی گوتینگن هم بوده.
دانشگاه هم عذرش رو می خواد.

وقتی نظریه ریسمان به داد ریاضی می رسه.
گروهی از ریاضیدان ها مقاله ای منتشر کردند و مدعی شدند یکی از مسائل مهم هندسه جبری رو حل کردند.
مساله ای که بیشتر از نیم قرن ریاضیدان ها رو مشغول خودش کرده بود، مساله ای که ظاهرا به طبقه بندی چند جمله ای ها مربوط می شه. تابستون امسال کار انجام شده، ولی یه مشکلی وجود داره: تقریبا هیچکس از آدم هایی که هندسه جبری کار می کنند اثبات رو نمی فهمند! چون ایده اثبات متکی به مفاهیم نظریه ریسمان هست.
بعضی ها می گند یکی از نویسنده های مقاله فیلدز مدالیست معروف
Maxim Kontsevich
هست و می شه به نتایج اعتماد کرد. از اون طرف یه عده ای می گند
Kontsevich
رو با ادعاهای جسورانه اش می شناسیم، واسه همین کمی تردید دارند.
خیلی ها می گند اگر اثبات و ادعاها درست باشه این نتایج بخشی از ریاضیات آینده است: پیوند جبر، هندسه و فیزیک.
می گند اوضاع شبیه زمانی شده که پرلمان قضیه اش رو اثبات کرد.
یکی از نویسنده ها گفته:
خیلی پیر و خسته ام، ولی پای این نظریه می مونم تا زنده ام!
https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/

امروز تولد خانم
Taylor Swift
هم هست، آشنایی زیادی ندارم با ایشون. ظاهرا ۳۶ ساله شدند.
یه نکته در مورد سری تیلور:
تابعی وجود داره که تمام مشتقاتش در یک نقطه صفر می شه، پس سری تیلورش حول اون نقطه صفره، ولی خود تابع صفر نیست.

امروز تولد جناب
Stephen Cook
هست، برنده جایزه تورینگ‌ ۱۹۸۲.
کامپیوتر ساینتیست(یا دانشمند رایانه!) بسیار برجسته.
از بزرگان
Complexity theory
اولین کسی بود که مساله
P versus NP
رو به طور رسمی مطرح کرد.
جزئیات این مساله، تاریخچه و حاشیه هاش مفصل هست. ولی به بهانه تولد جناب Cook یه مقاله جنجالی رو مروری کنیم.
در مقاله اومده از روشی که در نظریه رسته ها و توپولوژی جبری و... خیلی معمول هست استفاده کرده. به هر مساله یه گروه همولوژی نسبت می ده یعنی
H_n(L)
بعد می گه این چیزی که من تعریف کردم این شکلیه که
H_n(L)=0
برای مسائل از دسته P ولی برای مسائلی از دست NP همولوژی غیر بدیهی می شه.
می گه توی Lean هم اثبات رو انجام دادم!
ایده ای که مطرح می کنند هر چند متداول هست در ریاضی ولی برای این مساله یه ایده درخشان و جسورانه است(که ای کاش درست بود!)
در کل نتیجه می گیره که
P ‌is not NP
مخالف ها می گند یه آشغال دیگه توسط هوش مصنوعی تولید شده.
می گند قضایا بعضی هاشون آشکارا با هم تناقض دارند. می گند توی Lean غلط formalization کردند.
همچین ادعای بزرگی هم فقط یه نویسنده داره!
مخالف ها می گند ما هر دوهفته یه بار یه اثبات جدید از این مساله می بینیم، اون مقاله اش رو تو arXiv گذاشته، ما رو هم با بدبینی مون تنها بذارید!
https://arxiv.org/abs/2510.17829

#دانستنی های_ به درد_نخور ۴۳
می دونستید فقط بعد از مرگ اردوش حدود ۷۰ مقاله به اسمش منتشر شده. آخرین مقاله مربوط به سال ۲۰۱۱ می شه، یعنی ۱۵ سال بعد از مرگش.
ظاهرا نه تنها تا آخرین لحظه بلکه از اون دنیا هم ول کن نبوده.
جمله ای بهش نسبت می دند که گفته: نشونه های زوال عقل برای یه ریاضیدان سه تا چیز هست:
قضیه های خودش رو فراموش می کنه، بعد
zip up
رو فراموش می کنه و در مراحل پیشرفته تر
zip down
رو فراموش می کنه.