داشتم مطلبی می خوندم، وجود رو در ریاضی سه دسته کرده بود:
۱. وجود صریح:
داریمش، اینجا هست تا ببینید!
۲.وجود ناشناس:
داریمش، ولی بهتون نمی گیم چیه، نه از سر بی مهری! چون مهم نیست.
۳. وجود کلاسیک:
محاله که نباشه، نمی گیم چیه. نه از قلدری، چون خودمون هم نمی دونیم چیه. سرنخی نداریم. نبودش تناقضه، پس باید باشه.
جالب بود. مثال هاش دیگه با خودتون!
۱. وجود صریح:
داریمش، اینجا هست تا ببینید!
۲.وجود ناشناس:
داریمش، ولی بهتون نمی گیم چیه، نه از سر بی مهری! چون مهم نیست.
۳. وجود کلاسیک:
محاله که نباشه، نمی گیم چیه. نه از قلدری، چون خودمون هم نمی دونیم چیه. سرنخی نداریم. نبودش تناقضه، پس باید باشه.
جالب بود. مثال هاش دیگه با خودتون!
❤16🤣6🔥4
Mathematical Musings
امروز تولد George Stokes هم هست. به خاطر قضیه خیلی معروفی که احتمالا همه در درس ریاضی عمومی دیدنش معروفه(و احتمالا در کنار قضیه تابع وارون و قضیه تابع ضمنی چیز زیادی دستگیرشون نشده!) شکل خیلی کلی تر و تعمیم یافته تری داره که دروس پیشرفته تر اون رو می خونند.…
شاید یه زمانی برسه که میم ها هم بخشی از درس بشند، یعنی دانشجوها استادها رو با این معیار مقایسه کنند: فلان استاد خیلی خوب نیست، از میم کم استفاده می کنه!
دست کم در سطح کارشناسی
این میم خیلی خوب بود.
دست کم در سطح کارشناسی
این میم خیلی خوب بود.
🔥17👍6🆒3❤2🤣2
طرف عکس سمت چپ رو گذاشته نوشته:چیزی که در کتاب های غربی بهتون نمی گند.
چند نکته:
در ویکی پدیا هست.
کل کتاب های غرب رو کی فرصت کرده بررسی کنه؟ خود آمریکا هم یه سیستم آموزشی متمرکز نداره.
کتاب های درسی هدفش تدریس تاریخ علم یا ریاضیات نیست. کتاب های دانشگاهی هم همین طور، چون متن ها فنی هستند.
در کتاب های مربوط به تاریخ علم یا ریاضیات که اتفاقا در غرب خیلی نوشته می شه، به طور مفصل به این موضوعات پرداخته شده.
حالا نه به صورت مطلق، ولی اگر غربی ها نبودند ما خیلی از این چیزها رو نمی دونستیم.
چند نکته:
در ویکی پدیا هست.
کل کتاب های غرب رو کی فرصت کرده بررسی کنه؟ خود آمریکا هم یه سیستم آموزشی متمرکز نداره.
کتاب های درسی هدفش تدریس تاریخ علم یا ریاضیات نیست. کتاب های دانشگاهی هم همین طور، چون متن ها فنی هستند.
در کتاب های مربوط به تاریخ علم یا ریاضیات که اتفاقا در غرب خیلی نوشته می شه، به طور مفصل به این موضوعات پرداخته شده.
حالا نه به صورت مطلق، ولی اگر غربی ها نبودند ما خیلی از این چیزها رو نمی دونستیم.
👍21👎10👏3
Mathematical Musings
بحث در این مورد بالا گرفته حسابی. بلافاصله ملت دو دسته شدند: طرفدارهای تائو و مخالفانش. بله حتی تائو هم که همیشه داشته نون و ماست خودش رو می خورده حالا مخالف یا دست کم منتقدانی پیدا کرده. یکی گفته دروغ بزرگیه که اگر باهوش باشی، پرتلاش باشی و به اندازه کافی…
آمریکا رو ترک می کنی؟
تائو: بستگی داره، وضعیت خیلی ناپایداره.
https://www.scmp.com/news/china/science/article/3323325/will-you-leave-us-china-it-depends-says-mathematician-terence-tao
تائو: بستگی داره، وضعیت خیلی ناپایداره.
https://www.scmp.com/news/china/science/article/3323325/will-you-leave-us-china-it-depends-says-mathematician-terence-tao
❤15👍3👎3
بازی tic-tac-toe رو با Lean نوشته و بعد گفته اجراش از لحاظ منطقی اکیه.
می گه formalized کردن بازی، باعث می شه بازی رو با
correctness guarantees
پیاده سازی کنی.
به شوخی می گه بی خاصیت ترین پروژه اش بوده، بیست ساعت زمان و هزار خط کد.
می گه قصه برای من ده سال پیش شروع شد، وقتی CS می خوندم.mentor خوبی داشتم.
خلاصه یه بازی ساختم که هیچ باگی نداره. می خواستم بازی ای بسازم که کامپیوتر غیر قابل شکست باشه(قسمت آسونش) و قسمت سختر اینکه از نظر ریاضی ثابت کنم که غیر قابل شکست هست.
https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/
می گه formalized کردن بازی، باعث می شه بازی رو با
correctness guarantees
پیاده سازی کنی.
به شوخی می گه بی خاصیت ترین پروژه اش بوده، بیست ساعت زمان و هزار خط کد.
می گه قصه برای من ده سال پیش شروع شد، وقتی CS می خوندم.mentor خوبی داشتم.
خلاصه یه بازی ساختم که هیچ باگی نداره. می خواستم بازی ای بسازم که کامپیوتر غیر قابل شکست باشه(قسمت آسونش) و قسمت سختر اینکه از نظر ریاضی ثابت کنم که غیر قابل شکست هست.
https://ochagavia.nl/blog/tic-tac-toe-meets-lean-4/
Adolfo Ochagavía
Tic-tac-toe meets Lean 4
This week I reached a milestone in my most useless side project so far. I finished writing a tic-tac-toe game in Lean 4, along with proofs to guarantee that the game behaves correctly! It “only” took me 20 hours, 1000 lines of code and endless suffering……
❤5👍3
توی هاروارد میانگین نمرات بالا رفته، از ۳.۸ به ۴.
مقاله اومده به تحلیل مشکل
grade inflation
پرداخته. می گه میانگین نمرات بالاتر رفته ولی تلاش ها کمتر شده. ظاهرا خود اساتید از این وضعیت خنده شون گرفته.
غیبت ها زیاد شده، مشارکت کم شده، همه هم چسبیدند به فعالیت های فوق برنامه.
ظاهرا خود اساتید برای اینکه متهم نشند به سخت گیری، کمی راحت گرفتند. می گند بعد کرونا هم این قضیه تشدید شده.
مقاله هشدار می ده که این روند فرهنگ رقابت ناسالم رو رواج می ده.
https://www.theatlantic.com/ideas/archive/2025/08/harvard-college-grade-inflation/684021/
مقاله اومده به تحلیل مشکل
grade inflation
پرداخته. می گه میانگین نمرات بالاتر رفته ولی تلاش ها کمتر شده. ظاهرا خود اساتید از این وضعیت خنده شون گرفته.
غیبت ها زیاد شده، مشارکت کم شده، همه هم چسبیدند به فعالیت های فوق برنامه.
ظاهرا خود اساتید برای اینکه متهم نشند به سخت گیری، کمی راحت گرفتند. می گند بعد کرونا هم این قضیه تشدید شده.
مقاله هشدار می ده که این روند فرهنگ رقابت ناسالم رو رواج می ده.
https://www.theatlantic.com/ideas/archive/2025/08/harvard-college-grade-inflation/684021/
The Atlantic
The Perverse Consequences of the Easy A
In the era of grade inflation, students at top colleges are more stressed than ever.
👍6❤5🤣1
Forwarded from Agora (Alireza)
مستند پایتون هم در اومد. ماجرای زبان برنامهنویسیای که دههی ۹۰، در یک گوشهی از آمستردام، و مثل خیلی از بازیگرای اصلی دنیای کامپیوتری امروز، از یک پروژهی فرعی متولد شد. با حضور Guido van Rossum و دوستان.
از یوتیوب ببینید.
از یوتیوب ببینید.
YouTube
The Story of Python and how it took over the world | Python: The Documentary
This is the story of the world's most beloved programming language: Python. What began as a side project in Amsterdam during the 1990s became the software powering artificial intelligence, data science and some of the world’s biggest companies. But Python's…
❤5
Mathematical Musings
👨🏻💻 بچهها شلدون اکسلر، ویرایش جدید کتاب جبرخطیش رو، که یکی از بهترین منابع برای یادگیری مفاهیم جبر خطی از پایهس، به رایگان منتشر کرده. ✅ ویرایش جدید (چهارم) این کتاب، نسبت به ویرایشهای قبلیش، ۲۵۰ تا تمرین جدید و ۷۰ تا مثال، بیشتر داره. علاوه بر این،…
تعداد دانشگاه هایی که کتاب
Measure, Integration & Real Analysis
آقای
Sheldon Axler
(نویسنده کتاب معروف در جبر خطی) رو به عنوان کتاب مرجع برای این درس انتخاب کردند به صدتا رسید.
https://measure.axler.net/MIRAAdoptions.html
Measure, Integration & Real Analysis
آقای
Sheldon Axler
(نویسنده کتاب معروف در جبر خطی) رو به عنوان کتاب مرجع برای این درس انتخاب کردند به صدتا رسید.
https://measure.axler.net/MIRAAdoptions.html
👍5❤4
Mathematical Musings
Photo
طبق اطلاعیهای که در خبرنامه «انجمن ریاضی ایران» منتشر شد دکتر «حیدر زاهدانی» بین سالهای ۱۳۶۳ تا ۱۳۸۲ عضو هیئت علمی دانشگاه شیراز بودند و پس از کسب این همه سال تجربه، از ایران مهاجرت کرده و در «دانشگاه ایالتی کالیفرنیا در سن مارکوس» مشغول کارِ علمی و تدریس ریاضی میشوند. چون ایشان اخیرا فوت شدهاند، پیش از هر چیز لازم میدانم درگذشت ایشان را به خانواده، دوستان و شاگردانشان و همچنین جامعه علمی تسلیت بگویم.
چند دقیقهای با خودم کلنجار رفتم که آیا درباره زندهیاد «دکتر حیدر زاهدانی» بنویسم یا نه. چرا؟ چون ایشان را از نزدیک نمیشناختم. اما خواستم بگویم ایشان یکی از اساتیدِ باتجربه بودند که پس از سالها تجربه کارِ علمی تصمیم به مهاجرت گرفتند و جامعه علمی ایران آن قدر ضعیف شد که به اینجا رسیدیم. سالهای دور در جایی خواندم نزدیک به یازدههزار استاد ایرانی در دانشگاههای آمریکا و کانادا مشغول تدریس و تحقیق بودهاند. آمار دقیق بروز شده را نمیدانم ولی تنها در دانشگاههای تراز اول آمریکا بیش از ۵۰۰ استاد ایرانی مشغول کار علمی هستند.
کامنتها را میبندم چون با آنکه «چیزی که عیان است چه حاجت به بیان است»، حوصله بحث با افراد معلومالحال را ندارم.
از صفحه شخصی Dr. Peyman Nasehpour
❤16
Forwarded from Simply Typed Existence
اگر برای نوشتن نمادهای ریاضی پایاننامهتون دچار مشکلید (چه لاتک چه ورد ملعون)، این فونته (Julia Mono) رو پیدا کردم، تا الان خوب بوده.
https://juliamono.netlify.app/
https://juliamono.netlify.app/
❤6
Forwarded from CafeInfinity
در این لینک میتوانید تعداد زیادی طرح و قالب بیمر را مشاهده کنید. بیمر Beamer یک امکان یا ویژگی از لاتک است، که با آن میتوانید فایل ارائه (presentation) برای سخنرانیها و دفاع و ... بسازید [مشابه نرمافزار powerpoint در آفیس].
https://hartwork.org/beamer-theme-matrix/
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
مناسب برای آرشیو کردن!
۱۰۴۸ صفحه کتاب، برای Beginnerها خیلی مناسبه.
من خودم هیچ وقت با این کتاب هایی که همه چیز توش هست حال نکردم، ولی خب این هم با یه هدفی و برای مخاطب خاصی تهیه شده.
https://courses.csail.mit.edu/6.042/spring18/mcs.pdf
🔥5❤4👎1