Mathematical Musings – Telegram
Mathematical Musings
3.12K subscribers
1.42K photos
94 videos
151 files
688 links
Nature is written in mathematical language.
Download Telegram
داشتم مطلبی می خوندم، وجود رو در ریاضی سه دسته کرده بود:
۱. وجود صریح:
داریمش، اینجا هست تا ببینید!
۲.وجود ناشناس:
داریمش، ولی بهتون نمی گیم چیه، نه از سر بی مهری! چون مهم نیست.
۳. وجود کلاسیک:
محاله که نباشه، نمی گیم چیه. نه از قلدری، چون خودمون هم نمی دونیم چیه. سرنخی نداریم. نبودش تناقضه، پس باید باشه.

جالب بود. مثال هاش دیگه با خودتون!
16🤣6🔥4
Mathematical Musings
امروز تولد George Stokes هم هست. به خاطر قضیه خیلی معروفی که احتمالا همه در درس ریاضی عمومی دیدنش معروفه(و احتمالا در کنار قضیه تابع وارون و قضیه تابع ضمنی چیز زیادی دستگیرشون نشده!) شکل خیلی کلی تر و تعمیم یافته تری داره که دروس پیشرفته تر اون رو می خونند.…
شاید یه زمانی برسه که میم ها هم بخشی از درس بشند، یعنی دانشجوها استادها رو با این معیار مقایسه کنند: فلان استاد خیلی خوب نیست، از میم کم استفاده می کنه!
دست کم در سطح کارشناسی

این میم خیلی خوب بود.
🔥17👍6🆒32🤣2
طرف عکس سمت چپ رو گذاشته نوشته:چیزی که در کتاب های غربی بهتون نمی گند.
چند نکته:
در ویکی پدیا هست.
کل کتاب های غرب رو کی فرصت کرده بررسی کنه؟ خود آمریکا هم یه سیستم آموزشی متمرکز نداره.
کتاب های درسی هدفش تدریس تاریخ علم یا ریاضیات نیست. کتاب های دانشگاهی هم همین طور، چون متن ها فنی هستند.
در کتاب های مربوط به تاریخ علم یا ریاضیات که اتفاقا در غرب خیلی نوشته می شه، به طور مفصل به این موضوعات پرداخته شده‌.
حالا نه به صورت مطلق، ولی اگر غربی ها نبودند ما خیلی از این چیزها رو نمی دونستیم.
👍21👎10👏3
بازی tic-tac-toe رو با Lean نوشته و بعد گفته اجراش از لحاظ منطقی اکیه.
می گه formalized کردن بازی، باعث می شه بازی رو با
correctness guarantees 
پیاده سازی کنی.
به شوخی می گه بی خاصیت ترین پروژه اش بوده، بیست ساعت زمان و هزار خط کد.
می گه قصه برای من ده سال پیش شروع شد، وقتی CS می خوندم.mentor خوبی داشتم.
خلاصه یه بازی ساختم که هیچ باگی نداره. می خواستم بازی ای بسازم که کامپیوتر غیر قابل شکست باشه(قسمت آسونش) و قسمت سختر اینکه از نظر ریاضی ثابت کنم که غیر قابل شکست هست.
https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/
5👍3
میم دبیرستانی
🤣31👍7
توی هاروارد میانگین نمرات بالا رفته، از ۳.۸ به ۴.
مقاله اومده به تحلیل مشکل
grade inflation
پرداخته. می گه میانگین نمرات بالاتر رفته ولی تلاش ها کمتر شده. ظاهرا خود اساتید از این وضعیت خنده شون گرفته.
غیبت ها زیاد شده، مشارکت کم شده، همه هم چسبیدند به فعالیت های فوق برنامه.
ظاهرا خود اساتید برای اینکه متهم نشند به سخت گیری، کمی راحت  گرفتند. می گند بعد کرونا هم این قضیه تشدید شده.
مقاله هشدار می ده که این روند فرهنگ رقابت ناسالم رو رواج می ده.
https://www.theatlantic.com/ideas/archive/2025/08/harvard-college-grade-inflation/684021/
👍65🤣1
Forwarded from Agora (Alireza)
مستند پایتون هم در اومد. ماجرای زبان برنامه‌نویسی‌ای که دهه‌ی ۹۰، در یک گوشه‌ی از آمستردام، و مثل خیلی از بازیگرای اصلی دنیای کامپیوتری امروز، از یک پروژه‌ی فرعی متولد شد. با حضور Guido van Rossum و دوستان.

از یوتیوب ببینید.
5
Mathematical Musings
میم دبیرستانی
میم برای middle school
🤣26🤔1
Bourbaki
7👏3
12
Mathematical Musings
Photo
طبق اطلاعیه‌ای که در خبرنامه «انجمن ریاضی ایران» منتشر شد دکتر «حیدر زاهدانی» بین سال‌های ۱۳۶۳ تا ۱۳۸۲ عضو هیئت علمی دانشگاه شیراز بودند و پس از کسب این همه سال تجربه، از ایران مهاجرت کرده و در «دانشگاه ایالتی کالیفرنیا در سن مارکوس» مشغول کارِ علمی و تدریس ریاضی می‌شوند. چون ایشان اخیرا فوت شده‌اند، پیش از هر چیز لازم می‌دانم درگذشت ایشان را به خانواده، دوستان و شاگردان‌شان و همچنین جامعه علمی تسلیت بگویم.
چند دقیقه‌ای با خودم کلنجار رفتم که آیا درباره زنده‌یاد «دکتر حیدر زاهدانی» بنویسم یا نه. چرا؟ چون ایشان را از نزدیک نمی‌شناختم. اما خواستم بگویم ایشان یکی از اساتیدِ باتجربه بودند که پس از سال‌ها تجربه کارِ علمی تصمیم به مهاجرت گرفتند و جامعه علمی ایران آن قدر ضعیف شد که به اینجا رسیدیم. سال‌های دور در جایی خواندم نزدیک به یازده‌هزار استاد ایرانی در دانشگاه‌های آمریکا و کانادا مشغول تدریس و تحقیق بوده‌اند. آمار دقیق بروز شده را نمی‌دانم ولی تنها در دانشگاه‌های تراز اول آمریکا بیش از ۵۰۰ استاد ایرانی مشغول کار علمی هستند.
کامنت‌ها را می‌بندم چون با آنکه «چیزی که عیان است چه حاجت به بیان است»، حوصله بحث با افراد معلوم‌الحال را ندارم.

از صفحه شخصی Dr. Peyman Nasehpour
16
Forwarded from Simply Typed Existence
اگر برای نوشتن نمادهای ریاضی پایان‌نامه‌تون دچار مشکلید (چه لاتک چه ورد ملعون)، این فونته (Julia Mono) رو پیدا کردم، تا الان خوب بوده.

https://juliamono.netlify.app/
6
Forwarded from CafeInfinity
در این لینک می‌توانید تعداد زیادی طرح و قالب بیمر را مشاهده کنید. بیمر Beamer یک امکان یا ویژگی از لاتک است، که با آن می‌توانید فایل ارائه (presentation) برای سخنرانی‌ها و دفاع و ... بسازید [مشابه نرم‌افزار powerpoint در آفیس].

https://hartwork.org/beamer-theme-matrix/
7🔥1
Mathematical Musings
شاید حق با آقای Ribet بوده! یه تمرین از همون کتاب...
بهترین کیک تولدی که برای یه علاقه مند به ریاضی می شه تهیه کرد، به نظرم. حالا هر کدوم از سری کتاب های GTM یا ...
🤣17👌4👎1
Mathematics for Computer Science
مناسب برای آرشیو کردن!
۱۰۴۸ صفحه کتاب، برای Beginnerها خیلی مناسبه.
من خودم هیچ وقت با این کتاب هایی که همه چیز توش هست حال نکردم، ولی خب این هم با یه هدفی و برای مخاطب خاصی تهیه شده.
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
🔥54👎1
امروز تولد
Carl Runge
هست.
در درس آنالیز عددی یا محاسبات عددی یا هر اسم دیگه ای که داره احتمالا با روش
Runge–Kutta
آشنا شدید.
یکی از دختراش هم دکتری ریاضی گرفت(البته با کلی گرفتاری)
یکی دیگه از دختراش نینا، با
Richard Courant
معروف ازدواج کرد.
10👍3