Mathematical Musings
Photo
Complex_Analysis_In_the_Spirit_of_Lipman_Bers_Second_Edition_Rubí.pdf
2.4 MB
کتابی که سه تا از شاگرداش نوشتند
In the Spirit of...
In the Spirit of...
❤10
Mathematical Musings
در صد و چند ساله گذشته هیچ دانشمند، محقق، چهره علمی یا هر چی که اسمش رو می ذارید نداشتیم که سه شرط زیر رو داشته باشه: ۱.مرد باشه. ۲.واقعا کار درست و درمون انجام داده باشه. ۳. تا حدی در بین عامه هم معروف شده باشه. واسه همین دکتر حسابی رو گذاشتند که شرط دوم،…
دوستان می گند بوده، کامران وفا و چند نفر دیگر رو نام بردند، شرط سوم رو ندارند به نظرم، دست کم در مقایسه با مرحوم میرزاخانی.
👍16❤7
کتاب بسیار معروف هاردی که به فارسی هم ترجمه شده.
انتقادهایی به کتاب شده که چند مورد رو اینجا می گم:
۱.یکی اینکه می گند نگاه کتاب خیلی نخبه گرایانه است و حتی بعضی جاها تحقیر آمیزه، هاردی می گه: هرکاری جز تحقیق ناب در ریاضی درجه دوم حساب می شه. در صورتی که مفسرین و... هم گاهی نقش های بی بدیل داشتند.
۲. دست کم گرفتن و حتی بی ارزش دونستن ریاضی کاربردی و مهندسی. کمی نظرش در این زمینه افراطی هست.
۳. افتخار به بی فایده بودن ریاضی محض، که البته بعدا این نظرش کلا زیر سوال رفت.
طعنه آمیز اینکه همون بخشی که خیلی به محض بودن و بی فایده بودن و زیبا بودنش تاکید داشت کاربرد عملی پیدا کرد: نظریه اعداد
۴. اصرار به اینکه ریاضی بازی جوانان هست و نادیده گرفتن بلوغ و تجربه ریاضیدان ها و مثال هایی فراوانی که این دیدگاه رو رد می کنه.
البته این ها نفی کننده جایگاه هاردی یا کتابش نیست، ولی به نظرم تا حدی درسته.
انتقادهایی به کتاب شده که چند مورد رو اینجا می گم:
۱.یکی اینکه می گند نگاه کتاب خیلی نخبه گرایانه است و حتی بعضی جاها تحقیر آمیزه، هاردی می گه: هرکاری جز تحقیق ناب در ریاضی درجه دوم حساب می شه. در صورتی که مفسرین و... هم گاهی نقش های بی بدیل داشتند.
۲. دست کم گرفتن و حتی بی ارزش دونستن ریاضی کاربردی و مهندسی. کمی نظرش در این زمینه افراطی هست.
۳. افتخار به بی فایده بودن ریاضی محض، که البته بعدا این نظرش کلا زیر سوال رفت.
طعنه آمیز اینکه همون بخشی که خیلی به محض بودن و بی فایده بودن و زیبا بودنش تاکید داشت کاربرد عملی پیدا کرد: نظریه اعداد
۴. اصرار به اینکه ریاضی بازی جوانان هست و نادیده گرفتن بلوغ و تجربه ریاضیدان ها و مثال هایی فراوانی که این دیدگاه رو رد می کنه.
البته این ها نفی کننده جایگاه هاردی یا کتابش نیست، ولی به نظرم تا حدی درسته.
❤17👍7🔥2👏2👎1
تائو می گه با ظهور امکانات مدرن مثل
Github,Lean,AI
افراد بیشتری می تونند در پروژه های ریاضی مشارکت کنند، که حتی شامل بچه های high school هم می شه.
یه سری رو خودش لیست کرده، بقیه هم ادامه دادند. لیست بسیار جذابیه. حال داشتید یه نگاهی بندازید.
یه پروژه هم داره درباره مثال نقض در توپولوژی با یه نقل قول از همسر والتر رودین
https://mathoverflow.net/questions/500720/list-of-crowdsourced-math-projects-actively-seeking-participants
Github,Lean,AI
افراد بیشتری می تونند در پروژه های ریاضی مشارکت کنند، که حتی شامل بچه های high school هم می شه.
یه سری رو خودش لیست کرده، بقیه هم ادامه دادند. لیست بسیار جذابیه. حال داشتید یه نگاهی بندازید.
یه پروژه هم داره درباره مثال نقض در توپولوژی با یه نقل قول از همسر والتر رودین
Topology is a dense forest of counterexamples
https://mathoverflow.net/questions/500720/list-of-crowdsourced-math-projects-actively-seeking-participants
MathOverflow
List of crowdsourced math projects actively seeking participants
I believe that with the advent of modern online collaboration platforms (such as Github), proof assistant languages (such as Lean), and (potentially) AI tools, there are many emerging opportunities...
❤11👍6👎2
#دانستنی های_ به درد_نخور ۳۵
می دونستید مجموعه کانتور رو اولین بار یه ریاضیدان ایرلندی به اسم
Henry John Stephen Smith
کشف کرده بود؟
مجموعه کانتور یه مجموعه خیلی معروف در آنالیز و توپولوژی هست که به خاطر ساختار خاصش و خواص زیادی که داره مورد توجه هست.
بازه [0,1] رو در نظر بگیرید، یک سوم وسطش رو بِکَنید و بندازید دور!
[0, 1/3] , [2/3, 1]
می مونه، همون کار رو با این بازه ها انجام بدید و این روند رو همین طور ادامه بدید.
هر چی تهش باقی بمونه می شه مجموعه کانتور.
می دونستید مجموعه کانتور رو اولین بار یه ریاضیدان ایرلندی به اسم
Henry John Stephen Smith
کشف کرده بود؟
مجموعه کانتور یه مجموعه خیلی معروف در آنالیز و توپولوژی هست که به خاطر ساختار خاصش و خواص زیادی که داره مورد توجه هست.
بازه [0,1] رو در نظر بگیرید، یک سوم وسطش رو بِکَنید و بندازید دور!
[0, 1/3] , [2/3, 1]
می مونه، همون کار رو با این بازه ها انجام بدید و این روند رو همین طور ادامه بدید.
هر چی تهش باقی بمونه می شه مجموعه کانتور.
👍8❤6👏4
این کتاب ها رو گذاشته و نوشته:
اگر می خوای تو
Quantitative Trading
موفق بشی، اینا رو قویا توصیه می کنم. گفته به شدت به خودش کمک کرده و چه به افراد تازه کار و چه با تجربه کمک می کنه!
شوخی یا جدی اش رو نفهمیدم. فقط می دونم
Jim Simons
احتمالا به همه این مباحث مسلط بوده.
شاید هم می خواسته بگه راز واقعی معاملات کمی در ریاضیات عمیق نهفتهست، نه توی کتابهای سطحی معاملهگری.
اگر می خوای تو
Quantitative Trading
موفق بشی، اینا رو قویا توصیه می کنم. گفته به شدت به خودش کمک کرده و چه به افراد تازه کار و چه با تجربه کمک می کنه!
شوخی یا جدی اش رو نفهمیدم. فقط می دونم
Jim Simons
احتمالا به همه این مباحث مسلط بوده.
شاید هم می خواسته بگه راز واقعی معاملات کمی در ریاضیات عمیق نهفتهست، نه توی کتابهای سطحی معاملهگری.
🤔6❤4
در مورد اردوش و فاینمن گفتند که در انجام محاسبات ریاضی معمولی گاهی دچار مشکل می شدند.
این موضوع شاید تا حدی برای بقیه هم درست باشه. این مساله شاید به خاطر اینه که ریاضیدان ها بیشتر بر تفکر انتزاعی متمرکز هستند و این رفت و برگشت از اون فضا به فضای محاسبات صرف ممکنه خسته کننده و حتی سخت باشه.
ضمن اینکه از نظر ریاضیدان های حرفه ای انجام محاسباتی که گاهی به صورت مسابقه اجرا می شه(حالا هر چقدر سریع باشه) هیچ نوع توانایی در خود ریاضیات محسوب نمی شه. تاکید می کنند که ریاضیات با محاسباتی از این دست فرق داره. تمرکز اصلی ریاضیدان ها روی الگوها است.
ضمنا تا جایی که می دونم ریاضیات یه بخش ثابت در مغز نداره و حاصل همکاری چند بخش مختلف هست.
این موضوع شاید تا حدی برای بقیه هم درست باشه. این مساله شاید به خاطر اینه که ریاضیدان ها بیشتر بر تفکر انتزاعی متمرکز هستند و این رفت و برگشت از اون فضا به فضای محاسبات صرف ممکنه خسته کننده و حتی سخت باشه.
ضمن اینکه از نظر ریاضیدان های حرفه ای انجام محاسباتی که گاهی به صورت مسابقه اجرا می شه(حالا هر چقدر سریع باشه) هیچ نوع توانایی در خود ریاضیات محسوب نمی شه. تاکید می کنند که ریاضیات با محاسباتی از این دست فرق داره. تمرکز اصلی ریاضیدان ها روی الگوها است.
ضمنا تا جایی که می دونم ریاضیات یه بخش ثابت در مغز نداره و حاصل همکاری چند بخش مختلف هست.
👍34❤8🆒5
کانال ریاضی خوانی
داستان عدد اول گروتندیک (با اینحال ناتوانی در محاسبات ساده به معنی گروتندیک بودن فرد ناتوان نیست!)
The Anarchist Abstractionist
❤9
چرا اینقدر استادها و معلم ها گیرند روی اینکه
Show your working
مقاله می گه:
دلیل اصلی اش امتحان یا نمره نیست، بلکه یادگیریه. این کار کمک می کنه استاد یا معلم روند فکری شاگردش رو ببینه و نه فقط جواب آخر رو.
در نهایت اینکه:
Writing is thinking.
https://substack.com/home/post/p-173647423
Show your working
مقاله می گه:
دلیل اصلی اش امتحان یا نمره نیست، بلکه یادگیریه. این کار کمک می کنه استاد یا معلم روند فکری شاگردش رو ببینه و نه فقط جواب آخر رو.
در نهایت اینکه:
Writing is thinking.
https://substack.com/home/post/p-173647423
👍16❤3🫡3🆒3👎1
تائو درباره مدل های جدید گفته بود اگر خیلی راهنمایی بگیرند، می تونند یه راه حل درست و درمون ارائه بدند. منتها تو ارائه ایده اصلی ناتوان هستند و گاهی اشتباهات جدی دارند.
اینجا اومده یه سری مسائل رو داده GPT-5، منتها توصیه تائو رو کنار گذاشتند. ضمنا مسائل از جنس مسائل IMO نیستند، یعنی از جنس مهارت حل مساله صرف نیست. پختگی و دانش قبلی هم می خواد. برای این کار
Gödel Test
رو پیشنهاد دادند:
evaluating whether an AI system can prove very easy conjectures that are simple for humans with appropriate training, yet novel enough not to be directly available from existing sources.
پنج مساله در حوزه
combinatorial optimization
دادند بهش و نتایج این جوری بوده:
در سه مساله ساده تر موفق بود و اونا رو حل کرد و اثبات های تقریبا درست ارائه کرد و حتی در یه مورد حدس ریاضیدان ها رو نقض کرد.
در مساله چهارم شکست خورد.
در مساله پنجم الگوریتم درست رو پیشنهاد داد ولی در اثباتش شکست خورد.
https://arxiv.org/abs/2509.18383
اینجا اومده یه سری مسائل رو داده GPT-5، منتها توصیه تائو رو کنار گذاشتند. ضمنا مسائل از جنس مسائل IMO نیستند، یعنی از جنس مهارت حل مساله صرف نیست. پختگی و دانش قبلی هم می خواد. برای این کار
Gödel Test
رو پیشنهاد دادند:
evaluating whether an AI system can prove very easy conjectures that are simple for humans with appropriate training, yet novel enough not to be directly available from existing sources.
پنج مساله در حوزه
combinatorial optimization
دادند بهش و نتایج این جوری بوده:
در سه مساله ساده تر موفق بود و اونا رو حل کرد و اثبات های تقریبا درست ارائه کرد و حتی در یه مورد حدس ریاضیدان ها رو نقض کرد.
در مساله چهارم شکست خورد.
در مساله پنجم الگوریتم درست رو پیشنهاد داد ولی در اثباتش شکست خورد.
https://arxiv.org/abs/2509.18383
arXiv.org
Gödel Test: Can Large Language Models Solve Easy Conjectures?
Recent announcements from frontier AI model labs have highlighted strong results on high-school and undergraduate math competitions. Yet it remains unclear whether large language models can solve...
👍7❤4👎1
Mathematical Musings
اگر فکر می کنید تو مثال نقض زدن حرفه ای هستید، این کتاب رو ببینید. به نظرم باید به عنوان یه درس اختیاری، درسی با همین عنوان در دوره کارشناسی تدریس بشه! پ ن: کتابش با کیفیت بهتر در اینترنت هست.
توی مثال نقض زدن من خودم همیشه تو آنالیز نسبت به درس های دیگه بهتر بودم.
مثال نقض زدن به طور کلی معمولا می گند در توپولوژی چالش برانگیزتره.
تو جبر هم گاهی استادها دنبال مثال نقض بودند.
بقیه درس ها یا نبوده یا خیلی کم بوده.
مثلا من ندیدم یا نشنیدم کسی در احتمال دنبال مثال نقض باشه(در حد کارشناسی منظورم هست)
توی این لینک کتاب های زیادی رو در زمینه های مختلف ریاضی معرفی کرده در این باره، جنگلی از مثال های نقض:
https://math.stackexchange.com/questions/279347/counterexample-math-books
مثال نقض زدن به طور کلی معمولا می گند در توپولوژی چالش برانگیزتره.
تو جبر هم گاهی استادها دنبال مثال نقض بودند.
بقیه درس ها یا نبوده یا خیلی کم بوده.
مثلا من ندیدم یا نشنیدم کسی در احتمال دنبال مثال نقض باشه(در حد کارشناسی منظورم هست)
توی این لینک کتاب های زیادی رو در زمینه های مختلف ریاضی معرفی کرده در این باره، جنگلی از مثال های نقض:
https://math.stackexchange.com/questions/279347/counterexample-math-books
❤13🤣1
دوتا ریاضیدان یه
invariant
جدید برای گره ها پیدا کردند که خیلی از بقیه بهتره و برای گره های پیچیده تر هم کار می کنه.
در polynomial time محاسبه می شه، امید دارند بتونند چیزهای مشابه این پیدا کنند و اینکه ظاهرا fun هم هست.
https://arxiv.org/abs/2509.18456
invariant
جدید برای گره ها پیدا کردند که خیلی از بقیه بهتره و برای گره های پیچیده تر هم کار می کنه.
در polynomial time محاسبه می شه، امید دارند بتونند چیزهای مشابه این پیدا کنند و اینکه ظاهرا fun هم هست.
https://arxiv.org/abs/2509.18456
❤8🔥3🫡3👌2