یه ریاضیدانی بوده به اسم خانم
Grace Chisholm Young
بین سال های ۱۸۶۹ و ۱۹۴۴ زندگی می کرده...
شوهرش هم ریاضیدان بوده. به دلیل شرایط اجتماعی بیشتر کارهاش رو به اسم شوهر منتشر می کرده. اهل انگلیس. توی کمبریج درس خونده. دکتراش رو هم از گوتینگن گرفته بوده. می گند اولین زنی بوده که در آلمان دکتری گرفته.
یه بار یه ریاضیدانی از شوهرش انتقاد می کنه، به اسم ماکس دین. بحث سر این بوده که دین اعتقاد داشته آقای یانگ در مقاله ای از اعداد ترتیبی کانتور استفاده کرده، ولی ظاهرا این طور نبوده. خود آقای یانگ حال و حوصله جواب دادن نداشته و این کار رو خانم یانگ انجام می ده(ظاهرا چون در جزئیات کارها و اثبات ها هم بوده، چون مشارکت داشته در اون ها). جواب ها رو می نویسه و برای آقای دین می فرسته و بعدا این ها در کتابی چاپ می شه.
دو تا از بچه هاشون هم ظاهرا ریاضیدان شدند بعدا.
ویرجینیا ولف زمانی گفته بود: یه زن اگر بخواد داستان بنویسه پول می خواد و یه اتاق واسه خودش. در این مورد هم.
اون قضیه ای هم که می گه برای مشتقات دوم(تحت شرایطی) فرق نمی کنه اول از x مشتق بگیری یا y، واسه همین آقای یانگ هست. شاید هم خانم یانگ!

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

مطلب بالا رو از این کتاب برداشتم. این سری کتاب ها به نقش زنان در علم و فلسفه و... می پردازه و هر قسمتش به یک موضوع یا شخص اختصاص داره.

توی آمریکا سکه های 1 و 5 و 10 و 25 و 50 سنتی داریم این انتخابشون خیلی هوشمندانه و قشنگ بوده چون موقع بقیه پول دادن می‌شه کمترین تعداد سکه رو جابجا کرد در واقع الگوریتم حریصانه روش بهینه کار می‌کنه و مغز ما هم تقریبا مثل الگوریتم حریصانه کار میکنه

مثلا بخوایم به یکی 16 سنت بدیم کافیه از بالا شروع کنیم و هرکدوم کمتر بود برداریم که می‌شه 10 و 5 و 1 در واقع کمتر از 3 تا سکه برای ساخت 16 غیر ممکنه.

حالا فرض کنید آمریکا یه سکه 12 سنتی هم بسازه بده دست مردم، دیگه نمی‌شه به صورت حریصانه و ساده حساب کتاب کرد چون اگه اول بزرگ ترین حالت ممکن که 12 هستش رو برداریم و بعدی 5 که نمی‌شه مجبور می‌شیم چهار تا 1 سنتی بدیم تا بشه 16. که اینجا 5 تا سکه ردو بدل شده اما توی حالت اول 3 تا.


@Linxuor

یه چیزی که در اینجا خیلی کم کار شده، نوعی از بررسی و مطالعه است که به اون می گند(فکر می کنم البته) مطالعه تطبیقی. یعنی مقایسه دو چیز و دو دوره یا آدم در مکان و زمان مختلف. مثلا می شه یکی از همین زن ها رو در نظر گرفت و مثلا با یه زن شاخص حوالی ۱۸۸۰ در ایران مقایسه کرد. زندگی شون، افکارشون، کارهاشون. حالا مرد یا زن، فرقی نداره.
این کار رو اگر درست یادم باشه، دکتر میلانی در یکی از کتاب هاش انجام داده. مقایسه سعدی با یه نویسنده و متفکر در اروپا، که به نظرم خیلی کار جالبی بود. در مورد شخصیت های مختلف می شه این کار انجام داد و می تونه نتایج جالب و حتی خنده داری داشته باشه. مثلا مقایسه آمیرزا با یکی از ریاضیدان های هم دوره خودش(شاید مثلا پوانکاره!)

به نظر شما استدلال زیر درسته؟ از یه فیلسوف(علم) هست. (خودم نظری ندارم فعلا)

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

در سال ۱۸۹۶، حتی قبل از کشف پارادوکس های نظریه مجموعه ها، بعضی ریاضیدان ها گفته بودند که این تئوری باید axiomatized بشه. علاقه به این کار، حتی با وجود کشف دوباره پارادوکس Burali-Forti در سال ۱۹۰۳ توسط راسل به وجود نیومد. هیلبرت اعتقاد داشت که این پارادوکس به خود نظریه مجموعه ها ربط نداره و بیشتر نشون می ده که منطق failed شده و نمی تونه نیازهای این نظریه رو برآورده کنه. راسل هم می گفت: فرضیاتی که در خود منطق هست باید دوباره ارزیابی بشه و موضوع رو خیلی تکنیکی و مربوط به خود نظریه مجموعه ها نمی دونست. از طرف دیگه Zermelo تمرکز خودش رو بیشتر روی اصل موضوعی کردن این نظریه گذاشته بود و خیلی اعتقادی به بازنگری در مبانی و فرضیات منطق نداشت. بعد از اثبات قضیه خوش ترتیبی توسط Zermelo بین پذیرش یا رد یه سری اصل موضوع بین ریاضیدان ها اختلاف های زیادی به وجود اومد‌.
هر مجموعه یه عدد کاردینال داره.
هر مجموعه مرتب یه order-type داره.
هر عدد اوردینال یه successor داره.
وجود مجموعه همه اوردینال ها.
اصل خوش ترتیبی، اصل انتخاب و اصل موضوع تصریح و...
ریاضیدان ها در مورد این اصول گیج شده بودند و نمی دونستند کدوم ها رو نگه دارند و کدوم ها رو رد کنند. ولی عموما بین ریاضیدان ها یه توافق وجود داشت و اون هم این بود که بیشترشون Axiom of Choice رو صراحتا رد می کردند. Zermelo برای اثبات قضیه خوش ترتیبی به این اصل نیاز داشت و اصل انتخاب رو بین اصولش قرار داد. Zermelo در سال ۱۹۰۷، مشغول جمع آوری انتقادات علیه اصل انتخاب و اثبات قضیه خوش ترتیبی شد و متوجه شد که هر دو بد فهمیده شدند. در سال ۱۹۰۸ به فاصله ۱۶ روز دو تا مقاله معروف رو منتشر کرد. در اولی جواب انتقادها رو داد و صورت جدیدی از قضیه خوش ترتیبی رو ارائه کرد و در دومی برای اولین بار نظریه مجموعه ها رو به صورت اصل موضوعی ارائه داد.

شاید بد نباشه، مجلات کمی دست نویسنده ها رو برای نوشتن مقاله، حداقل برای یه بخش هایی باز بذارند. مثلا اجازه بدند که در حد دو خط در مقدمه هر چی دلشون می خواد بنویسند. کمی شوخ طبعی اون اول کار، گاهی اوقات بد نیست.

از همون مجله و شماره...

مساله ای هست در نظریه گروه ها که به
Whitehead problem
معروفه. می پرسه: اگر 0=Ext(A,ℤ) در این صورت A
free
می شه؟
ریاضیدان های زیادی سعی کردند جواب این مساله رو پیدا کنند. مثلا یه جواب این بود، اگر A
countable
بشه، جواب، مثبت هست.
می گند Shelah که عادت داشته هربار کتاب های جدید رو توی کتاب خونه ببینه، توجه اش به جلد سبز کتابی جلب می شه، پیش خودش می گه که مگه چیزی از نظریه گروه ها هست که حل نشده باقی مونده باشه؟ کتاب اثری از László Fuchs بوده که همون سال ها منتشر شده بوده. بخش عمده ای از جلد اول رو می خونه و بعد می ره سراغ جلد دوم. یه مساله نظرش رو جلب می کنه. علاقه مند می شه به حل مساله و در سپتامبر همون سال(یعنی ۱۹۷۳) مساله بالا رو حل می کنه. ثابت می کنه که این مساله
independent of ZFC
هست، یا به تعبیر دیگه
undecidable in ZFC
یعنی با اصول نظریه مجموعه های
Zermelo-Fraenkel
به اضافه
axiom of choice
نه می شه اثباتش کرد و نه می شه ردش کرد.

۲۲ تا از برندگان نوبل، مقالاتشون retracted شده(بعد از انتشار، خودشون یا اون مجله مقاله رو پس گرفتند یا رد کرده). این برای بعضی قبل از جایزه نوبل افتاده و برای بعضی هم بعد از جایزه. بیشترشون در ده دوازده سال اخیر اتفاق افتاده.
در بینشون جناب ماکس پلانک هم هست.
در ریاضی یکی از معروف ترین اتفاقات از این دست واسه Daniel Biss بوده، ریاضیدان و سیاست مدار آمریکایی که یکی از مقالاتش رو برای
Annals of Mathematics
فرستاده بود.

https://retractionwatch.com/retractions-by-nobel-prize-winners/

خانم britta späth به یک مساله در نظریه گروه ها به اسم McKay conjecture علاقه مند می شه و این علاقه اون رو به سمت یه ریاضیدان به اسم Marc Cabanes می کشونه(قضیه واسه بیست سال پیش هست). الان به عنوان یه زوج دارند در آلمان زندگی می کنند و....
البته اون حدس رو هم تونستند حل کنند...
https://www.quantamagazine.org/after-20-years-math-couple-solves-major-group-theory-problem-20250219/

این مقاله هم جالب بود(به لحاظ چرند بودن) و کمی بحث برانگیز شد...
ادعاهای زیادی رو مطرح می کنه و ظاهرا برخی محاسباتش حتی غلط هست. مثلا ادعای محاسبه تعداد اعداد اول در یک بازه و تولید اعداد اول با یک فرمول و...
ادعا می کنه ۴۸ تا عدد اول کلیدی وجود داره و یه جدول تناوبی از موقعیت اعداد مرکب می ده.

اگر قبلش از من می پرسیدند می گفتم بهشون این بخش از ریاضی به درد این کارها نمی خوره، دست رو بد حوزه ای گذاشتید.
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=4742238

عدالت آموزشی یعنی اینکه وقتی می خوای منابع رو برای مرحله دوم المپیاد معرفی کنی، بزنی کتاب های درسی!

دانشگاه Cardiff ظاهرا با مشکل مالی مواجه شده و برای رفع این مشکل می خواد دانشکده ریاضی دانشگاه رو که اتفاقا دانشکده موفقی هم هست، تعطیل کنه(یعنی عذر یه سری استاد رو خواستند)
۳۰۰۰ تا ریاضیدان(از جمله ۱۷ تا برنده فیلدز) و چند تا برنده نوبل نامه زدند، اعتراض کردند به این کار.
Professor Dusa McDuff
Prof. James Maynard
Prof Peter Sarnak
Professor Sir Timothy Gowers
Prof. Terence Tao
بعضی از این اسامی هستند...

https://docs.google.com/document/u/0/d/e/2PACX-1vRD7gtY_80G6xIz3SPUwRNyiDSWkt_UcXDoEnmygM_c_tVsj7ZNIJ3CYM71IyLxOk5JQcQvtLvEhLro/pub?pli=1

قاطی جامعه جهانی بودن یکی از فوایدش همینه.
هر چند بعضی از این ریاضیدان ها، مثل جناب ‌گاورز و... قبلا نشون دادند که غیر از پرداختن به مسائل ریاضی، معمولا تحلیل ها و یا واکنش های قابل قبولی نسبت به مسائل مختلف دارند.

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