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

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

خلاصه به حرف پدر گوش کردند و کشاورزی خوندند در دانشکده کشاورزی کرج(مهندسی آبیاری و آبادانی)
به پدرشون گفته بودند که غلامرضا رو ببریم نجف و پدر هم گفته: نه! اینجا باشه بهتره.
دو تا استاد آمار و ریاضی اون دانشکده اوقات فراغت به دکتر خسروشاهی ریاضی و... تدریس می کردند، توی کلاس یه نفره!
نه جزء وظیفه شون بود و نه پولی می گرفتند، سرخوش از اینکه یه علاقه مند به ریاضی پیدا شده پای حرف های ما بشینه.
دوستی داشتند شاگرد اول دانشکده کشاورزی به اسم دکتر صمد هدایت، پذیرش در همون رشته از دانشگاه کرنل می گیرند و بعد از یه سال برای دکتر هم کارها رو اکی می کنند و شهریه ترم اول ایشون رو هم می دند.
در کرنل دانشجوی مهندسی زراعی می شند.
فوق رو می گیرند و بعد متوجه می شند توی کرنل می شه رشته عوض کرد، بنیانگذار کرنل گفته بود: اینجا هر کس هر چی بخواد باید بتونه بخونه.
پیش آقای Nerode منطق دان معروف می رند و می گند می خوام ریاضی بخونم. استاد منطق می گه: پیش زمینه ات چیه؟ دکتر می گند: ریاضی عمومی و ریاضی مهندسی خوندم. Nerode می گه: اینا به درد نمی خوره، همون رشته خودت بمون، استادت هم راضی ازت.از اینجا رونده و تو اونجا مونده می شی و اخراج.
اصرار نتیجه می ده و استاد منطق می گه: برو جبر و آنالیز رو از هرشتاین و رودین بخون بیا ببینم.
بعد یه ماه آنالیز رو امتحان می دند و از ۱۰۰ می شند ۲۹! کار داشت خراب می شد، یه دوست کره ای پیدا می کنند ۵۰ ساله، که تو آنالیز کمکشون می کنه. شب، قهوه و آنالیز. امتحان دوم رو ۱۲۷ می شند از ۱۳۰.

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

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

اینجا آقای
Douglas Hofstadter
نویسنده کتاب گودل، اشر، باخ از مفهومی صحبت می کنه به اسم
abstraction ceiling
می شه گفت: سقف انتزاع.
جایی که بعد از اون خوندن ریاضی به تلاش و زمان گذاشتن بیشتری نیاز داره.

به نظرم نکته خیلی عجیبی نیست، مخصوصا اگر مفاهیم انتزاعی تر بشه.

دو کلمه حرف حساب از یه معلم ریاضی
می گه هر ناراحتی و تشویش کوچک رو بهش انگ اضطراب یا... نزنید، اصلا
It Is OK to Be Nervous

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

https://www.emaths.co.uk/blog/general-education/item/it-is-ok-to-be-nervous

The next stage might be one where only a very few outstanding mathematicians could discover proofs that were inaccessible to computers… In the end, the work of the mathematician would be simply to learn how to use theorem-proving machines effectively and to find interesting applications for them. This would be a valuable skill, but it would hardly be pure mathematics as we know it today.

Timothy Gowers
این حرف از زبان یه آدم معمولی نیست به هر حال.
کل جمله و مخصوصا اون تیکه آخرش برای عاشقان اثبات دستی یا انسانی ناامیدکننده است، احتمالا.

یکی از دوستان گفتند که این جمله رو گاورز ظاهرا سال ۲۰۰۰ گفته، یعنی زمانی که proof assistant ها ابتدایی تر بودند و الان این اتفاق به ما خیلی نزدیک تره. اون زمان دیده بود که احتمالا مهارت ریاضیدان از خودِ نوشتن اثبات می ره به سمت راهنمایی ماشین در نوشتن اثبات.
یه جور پیش بینی یا بینش تاریخی.

اینم یه جور چکیده است. یه کم آزادی عمل به نویسنده ها دادن به نظرم بد نباشه.

مقاله ای سه صفحه ای که انیشتین ۲۶ ساله در سپتامبر سال ۱۹۰۵ نوشت و در اون رابطه معروف
E=MC²
رو بدست آورد. اون زمان کارمند اداره ثبت اختراعات بود.
مقاله تا امروز و بعد از گذشت ۱۲۰ سال کمتر از ۷۰۰ تا cite خورده.
نکته جالب توجه استفاده از ضمیر I در مقاله است، که این روزها چندان مرسوم نیست.

توضیحات تائو درباره این رابطه:
https://terrytao.wordpress.com/2012/10/02/einsteins-derivation-of-emc2-revisited/

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

هنر نزد ایشان است و بس

🧠 شغل شما با هوش مصنوعی هم‌پوشانی داره؟

از ۱۰۱۶ شغل بررسی شده، فقط ۳۶ شغل هم‌پوشانی خاصی با توانمندی هوش مصنوعی نداشتند.

تقریبا همه این ۳۶ شغل بدنی یا یدی است: رقصنده، ورزشکار، مکانیک.

(تا وقتی روبات‌ها بیان)

این مقاله بیش از ۱۳۰۰ بار ارجاع گرفته.

@Physics_Daily | از نورون تا هوش

در مورد ریاضیدان ها هم گفته، چی گفته؟
گفته fully exposed هستند یعنی GPT ها می تونند کار اون ها رو ۱۰۰٪ تحت تاثیر قرار بدند، طوری که زمان انجام اون ها حداقل نصف بشه.

دیگه این جوری هم ازش کمک نخواید، سروکله زدن با دوست باهوش هم راه خودش رو داره.
توی این لینک توضیح داده چطوری باهاش تعامل کنیم:
https://pubmed.ncbi.nlm.nih.gov/38130350/

یه تغییر حدودا دویست، سیصد رقم بعد از اعشار کلا همه چیز رو عوض کرد.

مساله برای فکر کردن

🔺دوره‌ای دیگر در منطق ریاضی «Mathematical Logic» [تخصصی‌تر از ویدئوهای قبلی]، این بار در دانشگاه صنعتی اصفهان🔺
در این جلسات قضایای ناتمامیت و ناسازگاری کورت گودل نیز تشریح می‌شوند، از این جهت شاید برای علاقمندان به انواع گرایشات منطق، فلسفه ریاضی و متاریاضی نیز جالب باشد.

مدرس:👇👇
👤دکتر محسن خانی (لیسانس ریاضیات از دانشگاه صنعتی‌امیرکبیر پلی‌تکنیک تهران، فوق لیسانس ریاضی‌محض از دانشگاه صنعتی‌اصفهان، دکتری و فوق دکترا در دانشگاه آلبرت‌لُدویگ فرایبورگ آلمان و دانشگاه منچستر و آکسفورد انگلستان)
Researchgate, Esfahan University of Technology.

⬅️ سلسله جلسات منطق ریاضی دکتر خانی در آپارات:👇👇
https://www.aparat.com/v/hYcHi?playlist=295290

https://www.aparat.com/v/Jfr8v?playlist=1239765

دیگر کلاس‌های‌ فیلم‌برداری‌شده ایشان در حوزه‌های زیر موجود است:👇👇
ریاضی عمومی 1 و 2، توپولوژی، جبر، مبانی علوم ریاضی، نظریه گالوا، هندسه جبری حقیقی، نظریه مدل‌ها، درسهائی درباره‌ی مجموعه‌های شبه‌جبری و زیرتحلیلی، حذف سور در میدان‌های ارزیابی بستهٔ جبری، نظریه‌ی مجموعه‌های پیشرفته و امثالهم.


(پی‌نوشت: هایپرلینک کل جزوات و یادداشت‌های تمامیه کلاس‌های ایشان در قالب PDFهای تایپ‌شده، از جمله جزوات منطق ریاضی)


@ReligionandScience2021

توی این مقاله در مورد Emmy Noether صحبت میکنه. به اینشتین توی محاسبات مورد نیاز برای فرمول‌بندی نظریه نسبیت کمک کرده بود. بعدها هم نظریه‌ای ارائه داد که با قضیه نوتر شناخته میشه. میگه که توی دوره‌ای تونسته کلی دستاورد کسب کنه که هم تبعیض جنسیتی علیه زن‌ها وجود داشته، و هم تبعیض علیه یهودی‌ها و ایشون هم زن بوده و هم یهودی. متولد آلمان بود و اوایل که شروع به کار کرد، تدریس زبان فرانسه و انگلیسی به دخترها رو انجام میداد اما علاقه اصلیش به ریاضیات بود احتمالاً بخاطر پدرش ماکس نوتر که ریاضیدان سرشناسی بوده. اون زمان زن‌ها اجازه نداشتن در کلاسی ثبت‌نام کنن ولی میتونستن گاهی به عنوان مهمان توی کلاس‌ها حاضر بشن و امی نوتر با کمک پدرش همین کار رو کرد. اون سالی که مهمان دانشگاه میشه، بین 986 دانشجو فقط دو نفرشون زن بودن که اونم بصورت مهمان اجازه حضور داشتن. البته از شرکت در امتحانات میانترم هم محروم بودن و صرفاً میتونستن توی امتحانات فارغ‌التحصیلی شرکت کنن. بعد از اتمام دوره کارشناسی وارد دوره تحصیلات تکمیلی شد و یک ترم در دانشگاه گوتینگن زیر نظر فلیکس کلاین و دیوید هیلبرت آموزش دید. توی سال 1907 دکتراش رو از دانشگاه ارلانگن گرفت ولی بازم با مشکل مواجه شد چون زن‌ها اجازه نداشتن پست دانشگاهی بگیرن. به همین خاطر به عنوان دستیار تحقیقاتی پیش پدرش کار کرد.
امی نوتر در جبر کلاسیک آموزش دیده بود ولی به مرور مسیرش رو تغییر داد. سال 1915 هم شهرتش به حدی رسیده بود که ازش دعوت کردن تا با کلاین و هیلبرت بصورت غیررسمی و بدون حقوق همکاری کنه.
توی یه نامه‌ای اینیشتین برای هیلبرت نوشته:

می‌دانید که خانم نوتر همواره مرا در پروژه‌هایم راهنمایی می‌کند، و حقیقتاً از طریق اوست که در این حوزه توانمند شده‌ام.

https://www.investors.com/news/management/leaders-and-success/emmy-noether-meet-the-unsung-whiz-who-helped-einstein-with-his-math/