Mathematical Musings
∛2 = √2 × cos 27⁰
البته مقدارشون دقیقا برابر نیست و به یه مساله تاریخی در هندسه ربط داره.
https://math.stackexchange.com/questions/5096200/a-neusis-construction-with-tilt-angle-27-that-approximates-cube-root-of-2-coin
https://math.stackexchange.com/questions/5096200/a-neusis-construction-with-tilt-angle-27-that-approximates-cube-root-of-2-coin
🆒10❤4
بین شاخه های مختلف علوم پایه و مهندسی بی ربط ترین رشته به ریاضی به نظر میاد که شیمی باشه، ولی جالبه که دو تا از شاخه های ریاضی که خیلی در شیمی کاربرد دارند یکی نظریه گروه ها (یکی از اولین مواجه های دانشجوی ریاضی با مفهوم تجرد) است و یکی گراف تئوری.
البته در سطوح بالاتر احتمالا ارتباط های دیگه ای هم وجود داره.
به هر حال:
Nature is written in mathematical language.
البته در سطوح بالاتر احتمالا ارتباط های دیگه ای هم وجود داره.
به هر حال:
Nature is written in mathematical language.
👍30❤4🔥4👎1
احتمال اینکه هیچ سه تایی از n تا تیکه چوب تشکیل یه مثلث ندند، چقدر می شه؟ جواب می شه کسر بالا.
بازهم فیبوناچی!
ظاهرا کار بچه های دبیرستانی بوده.
https://arxiv.org/abs/2504.19911
بازهم فیبوناچی!
ظاهرا کار بچه های دبیرستانی بوده.
https://arxiv.org/abs/2504.19911
🔥19👌6❤3👎1🤣1
می گه ریاضی رو باید به یه زبونی و بیانی حرف بزنی که مردم رو جذب کنه و اونا بفهمند.
توپولوژیست:
یه مجموعه می تونه، باز باشه یا بسته، نه باز باشه و نه بسته و یا هم باز باشه و هم بسته!
توپولوژیست:
یه مجموعه می تونه، باز باشه یا بسته، نه باز باشه و نه بسته و یا هم باز باشه و هم بسته!
🤣32✍13❤4
شاید بعضی مواقع حین ریاضی خوندن به این وضعیت دچار شده باشید، به اون می گند:
AIWS
سندرم آلیس در سرزمین عجایب
از نشانه هاش:
AIWS
سندرم آلیس در سرزمین عجایب
از نشانه هاش:
در فرد بیمار قسمتهایی از بدن یا چیزهایی که در اطراف او هستند بزرگتر، کوچکتر، نزدیکتر یا دورتر از آنچه که واقعاً هستند به نظر میرسند.
خطوط صاف موج دار دیده میشوند.
چیزهایی که ثابت هستند به نظر میرسد حرکت میکنند.
اشیاء سه بعدی صاف به نظر میرسند و...
❤25🤣6👍3🔥3
امروز تولد گالوا است، ریاضیدانی که بیست سال بعد از ناحیه پهلو با گلوله ای که به شکمش اصابت کرد در گذشت.
در زمانی که زنده بود اون طور که باید قدر ندید. چند بار تلاش کرد تا دستاوردهاش رو چاپ کنه ولی هر بار به مشکل برخورد.
یک بار ظاهرا نوشته هاش گم می شه، یکبار برای مسابقه بزرگ و به پیشنهاد دوستی کارهاش رو می فرسته برای فوریه، که همزمان می شه با مرگ فوریه و نوشته ها باز هم سرنوشت نامعلومی پیدا می کنه. یکبار دیگه کارهاش رو می فرسته برای پوآسون و ظاهرا این بار از طرف پوآسون رد می شه، با این عنوان که غیر قابل فهم هست یا به اندازه کافی واضح نیست.
ظاهرا خبر رد کارش رو در زندان بهش می دند و سر این قضیه شدیدا دلخور می شه. بعدها
Liouville
کارهای گالوا رو بررسی و چاپ می کنه و ارزش واقعی کارهاش بر همه مشخص می شه.
در زمانی که زنده بود اون طور که باید قدر ندید. چند بار تلاش کرد تا دستاوردهاش رو چاپ کنه ولی هر بار به مشکل برخورد.
یک بار ظاهرا نوشته هاش گم می شه، یکبار برای مسابقه بزرگ و به پیشنهاد دوستی کارهاش رو می فرسته برای فوریه، که همزمان می شه با مرگ فوریه و نوشته ها باز هم سرنوشت نامعلومی پیدا می کنه. یکبار دیگه کارهاش رو می فرسته برای پوآسون و ظاهرا این بار از طرف پوآسون رد می شه، با این عنوان که غیر قابل فهم هست یا به اندازه کافی واضح نیست.
ظاهرا خبر رد کارش رو در زندان بهش می دند و سر این قضیه شدیدا دلخور می شه. بعدها
Liouville
کارهای گالوا رو بررسی و چاپ می کنه و ارزش واقعی کارهاش بر همه مشخص می شه.
❤45👏3🆒3👍2
این حرف k هست، که به خط
Fraktur
نوشته شده، به معنی شکستگی. قرن ها در آلمان محبوب بود و در جاهای مختلف مثل کتاب ها و روزنامه ها از اون استفاده می شد. اون اوائل نازی ها کمی تبلیغش رو کردند و به عنوان خط اصیل آلمانی اون رو معرفی کردند، اما در سال ۱۹۴۱ گفتند که از این خط استفاده نشه و به جای اون از خط های ساده تر استفاده بشه، چون فکر می کردند برای دوران جنگ ناکارآمد هست.
توی مقالات ریاضی هنوز استفاده از اون رایج هست، به خصوص در زمینه گروه و جبرهای لی.
وقتی یه گروه لی فشرده باشه معمولا جبر لی متناظر با اون رو با این نماد k نشون می دند.
Fraktur
نوشته شده، به معنی شکستگی. قرن ها در آلمان محبوب بود و در جاهای مختلف مثل کتاب ها و روزنامه ها از اون استفاده می شد. اون اوائل نازی ها کمی تبلیغش رو کردند و به عنوان خط اصیل آلمانی اون رو معرفی کردند، اما در سال ۱۹۴۱ گفتند که از این خط استفاده نشه و به جای اون از خط های ساده تر استفاده بشه، چون فکر می کردند برای دوران جنگ ناکارآمد هست.
توی مقالات ریاضی هنوز استفاده از اون رایج هست، به خصوص در زمینه گروه و جبرهای لی.
وقتی یه گروه لی فشرده باشه معمولا جبر لی متناظر با اون رو با این نماد k نشون می دند.
❤15👍9
یه حدس اردوش رو بررسی می کنند، در زمینه نظریه گراف.
از AI کمک می گیرند تا مثال هایی ارائه بدند که log concave نباشند.
دو نکته جالب ارائه اش داشت:
چند جا توسط حضار سوالاتی از ارائه دهنده پرسیده می شه که کمی چالشی هست و جواب رو دقیق نمی دونست، طرفین با این مساله عادی برخورد می کنند.
یه موضوعی رو برای tree ها تا ۲۵ راس با کمک کامپیوتر بررسی می کنند و می بینند درسته، توی سال ۲۰۲۳ ثابت می کنند برای tree های با ۲۶ راس fail می شه! که همین موضوع برای یکی از حضار جالب می شه، می پرسه چطور اون بررسی اولیه تا ۲۵ ادامه پیدا کرد و ۲۶ رو بررسی نکردند؟
https://youtu.be/5yZ1D5MEM_M?si=Ul0n4GjNxjOJU9sK
از AI کمک می گیرند تا مثال هایی ارائه بدند که log concave نباشند.
دو نکته جالب ارائه اش داشت:
چند جا توسط حضار سوالاتی از ارائه دهنده پرسیده می شه که کمی چالشی هست و جواب رو دقیق نمی دونست، طرفین با این مساله عادی برخورد می کنند.
یه موضوعی رو برای tree ها تا ۲۵ راس با کمک کامپیوتر بررسی می کنند و می بینند درسته، توی سال ۲۰۲۳ ثابت می کنند برای tree های با ۲۶ راس fail می شه! که همین موضوع برای یکی از حضار جالب می شه، می پرسه چطور اون بررسی اولیه تا ۲۵ ادامه پیدا کرد و ۲۶ رو بررسی نکردند؟
https://youtu.be/5yZ1D5MEM_M?si=Ul0n4GjNxjOJU9sK
🔥5🆒4
“Not every obvious statement is true.”
این مقاله جالب بود، به این سوال جواب می ده که چرا ما به دنبال formalize کردن قضیه های ریاضی هستیم و چرا نمی ریم به جاش catching کنیم error ها رو.
اول خودش می گه که من ریاضی، کامپیوتر و پازل بازی رو دوست دارم. می گه این کار یعنی فرمالایز کردن قضیه ها این سه تا رو با هم به من می ده.
می گه از کتاب آنالیز تائو دارم توی Lean اثبات قضیه ها رو فرمالایز می کنم.
اول اینکه می گه با Lean می تونیم امکانات ابتدایی یه IDE رو داشته باشیم.
می گه می تونیم وابستگی و ارتباط بین قضیه ها رو پیدا کنیم و گراف شون رو داشته باشیم.
می گه الان اگر یکی گفت فلان قضیه یا مثال غلطه هیچ تضمینی نیست بقیه که به اون ارجاع دادند یا کارشون متکی هست، خبردار بشند. می گه با Lean می تونیم وابستگی ها رو مدیریت کنیم.
یه بخشی هم در رابطه با TypeScript توضیح داده.
https://rkirov.github.io/posts/why_lean/
این مقاله جالب بود، به این سوال جواب می ده که چرا ما به دنبال formalize کردن قضیه های ریاضی هستیم و چرا نمی ریم به جاش catching کنیم error ها رو.
اول خودش می گه که من ریاضی، کامپیوتر و پازل بازی رو دوست دارم. می گه این کار یعنی فرمالایز کردن قضیه ها این سه تا رو با هم به من می ده.
می گه از کتاب آنالیز تائو دارم توی Lean اثبات قضیه ها رو فرمالایز می کنم.
اول اینکه می گه با Lean می تونیم امکانات ابتدایی یه IDE رو داشته باشیم.
می گه می تونیم وابستگی و ارتباط بین قضیه ها رو پیدا کنیم و گراف شون رو داشته باشیم.
می گه الان اگر یکی گفت فلان قضیه یا مثال غلطه هیچ تضمینی نیست بقیه که به اون ارجاع دادند یا کارشون متکی هست، خبردار بشند. می گه با Lean می تونیم وابستگی ها رو مدیریت کنیم.
یه بخشی هم در رابطه با TypeScript توضیح داده.
https://rkirov.github.io/posts/why_lean/
❤6🆒4👍3
امروز سالروز مرگ تارسکی بود.
در موردش می گند کسانی که حتی زمینه قوی در ریاضی یا منطق داشتند، درک نوشته ها و آثارش براشون راحت نبوده.
پارادوکس معروف باناخ تارسکی می گه یه کره سه بعدی رو می شه به قطعاتی تقسیم کرد و بعد دوباره طوری سر هم کرد که دو کره ازش به دست بیاد.
برای این کار نیاز به اصل انتخاب داریم و همین پارادوکس یکی از دلایل حمله مخالفان به این اصل هست.
از اون طرف طرفدارای این اصل می گند این تناقض بیشتر از اینکه به این اصل برگرده به خاطر ماهیت و پیچیدگی مفهوم بی نهایت هست.
حتی بدون این اصل هم سروکله زدن با مفهوم بی نهایت دردسرهای خودش رو داره.
در موردش می گند کسانی که حتی زمینه قوی در ریاضی یا منطق داشتند، درک نوشته ها و آثارش براشون راحت نبوده.
پارادوکس معروف باناخ تارسکی می گه یه کره سه بعدی رو می شه به قطعاتی تقسیم کرد و بعد دوباره طوری سر هم کرد که دو کره ازش به دست بیاد.
برای این کار نیاز به اصل انتخاب داریم و همین پارادوکس یکی از دلایل حمله مخالفان به این اصل هست.
از اون طرف طرفدارای این اصل می گند این تناقض بیشتر از اینکه به این اصل برگرده به خاطر ماهیت و پیچیدگی مفهوم بی نهایت هست.
حتی بدون این اصل هم سروکله زدن با مفهوم بی نهایت دردسرهای خودش رو داره.
❤18👌6👍2🔥2
آقای
Kenji Fukaya
ریاضیدان ۶۶ ساله ژاپنی. زمینه کاری شون
symplectic topology
هست. مفهوم
Fukaya category
در ریاضی به اسم ایشون هست.
اخیرا جایزه
Shaw Prize
رو بردند که به نوبل شرق معروفه.
از سال ۲۰۰۴ این جایزه رو می دند. مقدار جایزه ۱.۲ میلیون دلار هست.
جایزه در زمینه های زیر داده می شه: نجوم، پزشکی، ریاضی.
قبلا در ریاضی افرادی مثل:
Peter Sarnak, Michel Talagrand,
Richard S. Hamilton, Vladimir Arnold,
David Mumford, Shiing-Shen Chern
جایزه رو بردند. جمله ای که پشت مدال نوشته شده اینه:
قانون طبیعت را درک کنید و از آن استفاده کنید.
Kenji Fukaya
ریاضیدان ۶۶ ساله ژاپنی. زمینه کاری شون
symplectic topology
هست. مفهوم
Fukaya category
در ریاضی به اسم ایشون هست.
اخیرا جایزه
Shaw Prize
رو بردند که به نوبل شرق معروفه.
از سال ۲۰۰۴ این جایزه رو می دند. مقدار جایزه ۱.۲ میلیون دلار هست.
جایزه در زمینه های زیر داده می شه: نجوم، پزشکی، ریاضی.
قبلا در ریاضی افرادی مثل:
Peter Sarnak, Michel Talagrand,
Richard S. Hamilton, Vladimir Arnold,
David Mumford, Shiing-Shen Chern
جایزه رو بردند. جمله ای که پشت مدال نوشته شده اینه:
قانون طبیعت را درک کنید و از آن استفاده کنید.
❤16👎2