یه نکته ای که شاید کمتر به اون اشاره شده اینه که واکنش راسل به نتایج گودل عموما سکوت همراه با ناراحتی بوده. بعدها گفته بود:
بعدها که نسخه خلاصه شده ای از کتابش در اومد در مقدمه اون نوشت:
به هر حال نتایج گودل ضربه سنگینی برای راسل بوده.
از قضیهٔ گودل بسیار تحتتأثیر قرار گرفتم، اما نتیجهگیریهای رازآلودی را که بعضیها از آن کردهاند، نمیپذیرم.
بعدها که نسخه خلاصه شده ای از کتابش در اومد در مقدمه اون نوشت:
از زمان کار گودل روشن است که هر نظامی از این نوع باید ناتمام باشد، اما این امر ارزش تلاش را از میان نمیبرد، تنها نشان میدهد که ریاضیات پایانناپذیر است.
به هر حال نتایج گودل ضربه سنگینی برای راسل بوده.
❤16🤣5👍1
Mathematical Musings
استاد ریاضی: یک عدد اول نام ببر. نسل زد: 67 گروتندیک: 57 فرد بیسواد: 1 تیلور سویفت: 13 مرسن: 2⁸²⁵⁸⁹⁹³³−1
سایت Dictionary.com کلمه سال رو انتخاب کرده: عدد ۶۷.
توی نسل زد معنی نه خوب نه بد می ده، یا یه جور جواب از روی بی تفاوتی.
https://www.cbc.ca/news/entertainment/dictionary-2025-word-of-the-year-67-9.6960495
توی نسل زد معنی نه خوب نه بد می ده، یا یه جور جواب از روی بی تفاوتی.
https://www.cbc.ca/news/entertainment/dictionary-2025-word-of-the-year-67-9.6960495
🤣8
امروز تولد
Karl Theodor Wilhelm Weierstrass
هست، پدر آنالیز مدرن. دانشگاه رو بدون گرفتن مدرک ول کرد ولی مطالعه و تحقیق در زمینه ریاضی رو رها نکرد(کاری که امروز تقریبا غیر ممکن به نظر میاد)
ریاضی، فیزیک، گیاه شناسی و ژیمناستیک تدریس می کرد.
اون تعریف معروف ε-δ ایی از پیوستگی کار ایشونه.
غول هایی مثل کانتور شاگردش بودند.
در سال ۱۸۷۰ با
Sofia Kovalevskaya
آشنا شد، سوفیا به صورت خصوصی پیش وایراشتراس چند سال آموزش دید. رابطه شون
far transcended the usual teacher-student relationship
بود و تا زمان مرگ سوفیا ادامه پیدا کرد.
تابعی معرفی کرد که بعدا به تابع وایراشتراس معروف شد، تابعی روی اعداد حقیقی که همه جا پیوسته است، ولی هیچ جا مشتق پذیر نیست. تابع شکل دندانه ای و فراکتالی داره.
تا قبل از این مثال ریاضیدان ها فکر می کردند هر تابع پیوسته باید در بیشتر نقاط صاف باشه،
Karl Theodor Wilhelm Weierstrass
هست، پدر آنالیز مدرن. دانشگاه رو بدون گرفتن مدرک ول کرد ولی مطالعه و تحقیق در زمینه ریاضی رو رها نکرد(کاری که امروز تقریبا غیر ممکن به نظر میاد)
ریاضی، فیزیک، گیاه شناسی و ژیمناستیک تدریس می کرد.
اون تعریف معروف ε-δ ایی از پیوستگی کار ایشونه.
غول هایی مثل کانتور شاگردش بودند.
در سال ۱۸۷۰ با
Sofia Kovalevskaya
آشنا شد، سوفیا به صورت خصوصی پیش وایراشتراس چند سال آموزش دید. رابطه شون
far transcended the usual teacher-student relationship
بود و تا زمان مرگ سوفیا ادامه پیدا کرد.
تابعی معرفی کرد که بعدا به تابع وایراشتراس معروف شد، تابعی روی اعداد حقیقی که همه جا پیوسته است، ولی هیچ جا مشتق پذیر نیست. تابع شکل دندانه ای و فراکتالی داره.
تا قبل از این مثال ریاضیدان ها فکر می کردند هر تابع پیوسته باید در بیشتر نقاط صاف باشه،
👍20❤10🫡4🤣1
Mathematical Musings
خانم Chung می گه ریاضیات از جایی(سطحی) به بعد چیزی فراتر از حل معادله و اثبات قضیه هست. ارتباط، تبادل ایده و کار تیمی بی وقفه است. می گه وقتی با کسی دیگه ای همکاری می کنید هم با خودش ایده میاره و هم انگیزه. https://www.quantamagazine.org/why-the-key-to-a…
امروز تولد
Ronald Graham
هم هست. AMS گراهام رو "یکی از معماران اصلی توسعه سریع ریاضیات گسسته در سراسر جهان در سالهای اخیر" معرفی کرده.
رفیق جینگ پال اردوش و همسر خانم
Fan Chung
مدتی هم به عنوان رئیس انجمن ژانگولربازی(Juggling) فعالیت می کرده، در زمان دانشجویی از این کار زندگی اش رو تامین می کرده!
بعد از تغییر مسیرهای مختلف لیسانس فیزیک می گیره و بعدها دکتری ریاضی. اول با یه دانشجوی ریاضی ازدواج می کنه و بعدها ازش جدا می شه و با همون خانم
Chung
ازدواج می کنه، همسر و نویسنده همکارش.
نظریه اعداد، Ramsey theory، نظریه گراف و scheduling زمینه کاری اش بوده.
فهرست چیزهایی که در ریاضی به نامش هست(الگوریتم، قضیه، مساله باز) نسبتا زیاده.
Ronald Graham
هم هست. AMS گراهام رو "یکی از معماران اصلی توسعه سریع ریاضیات گسسته در سراسر جهان در سالهای اخیر" معرفی کرده.
رفیق جینگ پال اردوش و همسر خانم
Fan Chung
مدتی هم به عنوان رئیس انجمن ژانگولربازی(Juggling) فعالیت می کرده، در زمان دانشجویی از این کار زندگی اش رو تامین می کرده!
بعد از تغییر مسیرهای مختلف لیسانس فیزیک می گیره و بعدها دکتری ریاضی. اول با یه دانشجوی ریاضی ازدواج می کنه و بعدها ازش جدا می شه و با همون خانم
Chung
ازدواج می کنه، همسر و نویسنده همکارش.
نظریه اعداد، Ramsey theory، نظریه گراف و scheduling زمینه کاری اش بوده.
فهرست چیزهایی که در ریاضی به نامش هست(الگوریتم، قضیه، مساله باز) نسبتا زیاده.
❤9👍2🫡2
Mathematical Musings
در چهارده سالگی سه کتاب در فیزیک نوشت، در ۱۸ سالگی مقاله نوشته و در ۲۰ سالگی دکتراش رو گرفته. نرم افزار Mathematica رو راه انداخت و کتابی بالای هزار صفحه نوشت یعنی A New Kind of Science که جزء پرفروشترین ها شد. چند سال پیش اعلام کرد که داره روی یه کشف علمی…
استاد یه talk جدیدا داشته (من خودم هنوز گوش ندادم) با عنوان
Computation, the foundations of physics, math and AI
احتمالا یه جاهایی دوباره جنجالی یا خاص باشه و به مخالفت هایی منجر بشه.
به هر حال فکر کنم ارزش گوش دادن داشته باشه.
https://youtu.be/LsUIHJ64GfU?si=zDx6ARWZUPrPT1vi
Computation, the foundations of physics, math and AI
احتمالا یه جاهایی دوباره جنجالی یا خاص باشه و به مخالفت هایی منجر بشه.
به هر حال فکر کنم ارزش گوش دادن داشته باشه.
https://youtu.be/LsUIHJ64GfU?si=zDx6ARWZUPrPT1vi
YouTube
Computation and the Foundations of Physics, Mathematics and AI
Creator of Wolfram Mathematica, renowned computer scientist and theoretical physicist Stephen Wolfram joins us for a talk and extended audience Q&A on the computational foundations of physics, mathematics and AI.
This event was co-hosted by the Department…
This event was co-hosted by the Department…
❤8🤣1
یه مساله معروف هست که احتمالا برای خیلی ها آشنا باشه:
Art gallery problem
توی یه گالری حداقل تعداد نگهبان ها(دوربین ها) برای اینکه کل گالری تحت نظر باشه چند تا است؟
یه قضیه معروف هست که می گه اگر فرض کنیم گالری یه چند ضلعی ساده باشه با n تا راس اون وقت تعداد
[n/3]
نگهبان همیشه کافیه برای این کار و بعضی وقت ها لازم.
مساله اش کم و بیش جدیده و مربوط به نیم قرن اخیر می شه.
توی دزدی اخیری که در موزه لوور اتفاق افتاد و خیلی سروصدا کرد، می گند دوربین ها درست جایگذاری نشده بودند.
خود مدیر موزه قبول کرده که جهت دوربین سمت بالکنی که دزدها وارد شدند درست نبوده.
هر چند در دنیای واقعی ممکنه شرایط مساله کمی پیچیده تر باشه ولی بازهم به کمک روش های ریاضی احتمالا می شه جلوی اتفاقاتی از این دست رو گرفت.
لینک مربوط
Art gallery problem
توی یه گالری حداقل تعداد نگهبان ها(دوربین ها) برای اینکه کل گالری تحت نظر باشه چند تا است؟
یه قضیه معروف هست که می گه اگر فرض کنیم گالری یه چند ضلعی ساده باشه با n تا راس اون وقت تعداد
[n/3]
نگهبان همیشه کافیه برای این کار و بعضی وقت ها لازم.
مساله اش کم و بیش جدیده و مربوط به نیم قرن اخیر می شه.
توی دزدی اخیری که در موزه لوور اتفاق افتاد و خیلی سروصدا کرد، می گند دوربین ها درست جایگذاری نشده بودند.
خود مدیر موزه قبول کرده که جهت دوربین سمت بالکنی که دزدها وارد شدند درست نبوده.
هر چند در دنیای واقعی ممکنه شرایط مساله کمی پیچیده تر باشه ولی بازهم به کمک روش های ریاضی احتمالا می شه جلوی اتفاقاتی از این دست رو گرفت.
لینک مربوط
🔥25❤8👍4
در مورد هاردی می گند چهار تا هدف بزرگ در زندگی برای خودش تعریف کرده بود:
اثبات فرضیه ریمان
صعود به قله اورست
ترور موسولینی
اثبات قطعی عدم وجود خدا
اولی اشاره به علاقه اش به ریاضیات ناب، دومی دستاورد انسانی مورد نظرش، سومی اشاره به نفرتش از فاشیسم و چهارمی خداناباوری منطقی ایی که داشته.
در انجام هیچ کدوم موفق نبود.
اثبات فرضیه ریمان
صعود به قله اورست
ترور موسولینی
اثبات قطعی عدم وجود خدا
اولی اشاره به علاقه اش به ریاضیات ناب، دومی دستاورد انسانی مورد نظرش، سومی اشاره به نفرتش از فاشیسم و چهارمی خداناباوری منطقی ایی که داشته.
در انجام هیچ کدوم موفق نبود.
🤣91🤔7❤5👌3🫡3🔥2👎1
Mathematical Musings
این مقاله مربوطش The discovery of the proof was heavily assisted by ChatGPT... https://arxiv.org/abs/2510.23513
اینم یه نمونه دیگه، همون طور که گفتم ظاهرا در زمینه مسائل بهینه سازی یا
Convex Optimization
بهتر عمل می کنه(یا شاید بهتر باشه بگیم کسانی که در این حوزه ها کار می کنند بیشتر سراغش می رند)
این دفعه هم کل اثبات رو ننوشته ولی ظاهرا تعامل خیلی جالبی اتفاق افتاده و نویسنده رو سر شوق آورده و یه گزارش ازش نوشته.
قسمت هایی که آبی هست رو ChatGPT نوشته، کل prompt ها و جواب های ChatGPT رو هم آورده که احتمالا آموزنده باشه.
یه مساله در زمینه
optimal transport problem
https://arxiv.org/abs/2510.26647
Convex Optimization
بهتر عمل می کنه(یا شاید بهتر باشه بگیم کسانی که در این حوزه ها کار می کنند بیشتر سراغش می رند)
این دفعه هم کل اثبات رو ننوشته ولی ظاهرا تعامل خیلی جالبی اتفاق افتاده و نویسنده رو سر شوق آورده و یه گزارش ازش نوشته.
قسمت هایی که آبی هست رو ChatGPT نوشته، کل prompt ها و جواب های ChatGPT رو هم آورده که احتمالا آموزنده باشه.
یه مساله در زمینه
optimal transport problem
https://arxiv.org/abs/2510.26647
arXiv.org
Accelerating mathematical research with language models: A case...
Recent progress in large language models has made them increasingly capable research assistants in mathematics. Yet, as their reasoning abilities improve, evaluating their mathematical competence...
🔥1
#دانستنی های_ به درد_نخور ۳۹
می دونستید جان نش در سال ۱۹۵۴ از RAND اخراج شد؟ در اون زمان متهم شد به
indecent exposure
در RAND درگیر پروژه های نظامی بود که یکی از مراکز مهم در آمریکا بود که با نیروی هوایی آمریکا همکاری نزدیکی داشت، افراد برای کار کردن در اونجا نیازمند مجوزهای امنیتی بودند.
فضای خاصی که اون سال ها در آمریکا حاکم بود باعث شد یه اتفاق(حتی در حد شایعه) منجر به اخراجش بشه. در بعضی منابع اومده که اتهامات بعدا ازش dropped شد.
بعد از اون ماجرا به پرینستون رفت.
می دونستید جان نش در سال ۱۹۵۴ از RAND اخراج شد؟ در اون زمان متهم شد به
indecent exposure
در RAND درگیر پروژه های نظامی بود که یکی از مراکز مهم در آمریکا بود که با نیروی هوایی آمریکا همکاری نزدیکی داشت، افراد برای کار کردن در اونجا نیازمند مجوزهای امنیتی بودند.
فضای خاصی که اون سال ها در آمریکا حاکم بود باعث شد یه اتفاق(حتی در حد شایعه) منجر به اخراجش بشه. در بعضی منابع اومده که اتهامات بعدا ازش dropped شد.
بعد از اون ماجرا به پرینستون رفت.
❤18🤣1
امروز روز تولد جورج بول هست، ریاضیدانی که شهرتش و اثری که در ریاضیات گذاشته نیاز به توضیحی نداره. هر چند در ابتدا با کارهاش و ایده هایی که داشت، مخالفت شد. متهم شد که ریاضیات رو فلسفی کرده و منطق رو مکانیکی.
کفاش زاده ای که ریاضیات رو خودآموز یاد گرفت.
مرگش تا حدی تراژیک بود و این بار پای یک زن در میان بود و اون کسی نبود جز همسرش!
خانم
Mary Everest Boole
همسرش بود که برادرزاده اورست معروف هم بود(که کوه اورست به نامش هست)
اهل ریاضیات بود و حتی می گند در نگارش یکی از آثار مهم همسرش به اون کمک کرده.
ظاهرا جورج بول طی یک سخنرانی زیر باران و یا پیاده روی زیر باران مریض می شه و طبق باورهای اون زمان همسرش روی جورج پتوی خیس می ندازه تا بدن بیمار همون شرایطی رو تجربه کنه که باعث بیماری شده!
جورج حالش بدتر شد، ذات الریه گرفت و چند روز بعد در گذشت.
کفاش زاده ای که ریاضیات رو خودآموز یاد گرفت.
مرگش تا حدی تراژیک بود و این بار پای یک زن در میان بود و اون کسی نبود جز همسرش!
خانم
Mary Everest Boole
همسرش بود که برادرزاده اورست معروف هم بود(که کوه اورست به نامش هست)
اهل ریاضیات بود و حتی می گند در نگارش یکی از آثار مهم همسرش به اون کمک کرده.
ظاهرا جورج بول طی یک سخنرانی زیر باران و یا پیاده روی زیر باران مریض می شه و طبق باورهای اون زمان همسرش روی جورج پتوی خیس می ندازه تا بدن بیمار همون شرایطی رو تجربه کنه که باعث بیماری شده!
جورج حالش بدتر شد، ذات الریه گرفت و چند روز بعد در گذشت.
❤28🫡8🤔4👍1
Mathematical Musings
Photo
اگر اخراج دانشمندان یهودی به معنای نابودی علم معاصر آلمان باشد، پس ما چند سالی بدون علم سر خواهیم کرد.
آدولف هیتلر
قبل از جنگ جهانی دوم آلمان در عرصه علم یکی از کشورهای پیشتاز دنیا بود. شهرت جهانی در زمینه ی شیمی، فیزیک، زیستشناسی، پزشکی و ریاضیات. اگر رقیبی در اون سال ها برای آلمان تصور کنیم، با اختلاف انگلیس بود. بین سال های ۱۹۰۱ تا ۱۹۳۲ صد جایزه نوبل اهدا شد، که ۳۲ تا رو دانشمندان آلمانی برنده شدند.
وقتی هیتلر در سال ۱۹۳۳ به قدرت رسید قانونی تصویب شد به نام
"قانون بازسازی خدمات کشوری حرفهای"
طبق این قانون کسانی که به اندازه کافی و به میزان لازم آریایی نبودند از کار اخراج شدند.
سه کار رایج بعد از اون در آلمان این ها بودند:
سوزاندن کتاب ها، رژه رفتن و تحمل نکردن اندیشه مخالف.
جان فان نویمان در نامه ای به دوست خودش در آمریکا می نویسه:
خبرهای آلمان بد هستند، خدا میداند ترم تابستانی سال ۱۹۳۳ چه شکلی خواهد داشت.
اتفاقات اون سال ها رو بعدا به عنوان پاک سازی بزرگ ازش یاد می کنند. اون اتفاق یه نتیجه مهم در ریاضیات داشت:
فروپاشی مرکز ریاضیات جهان در گوتینگن و تبدیل شدن آمریکا به عنوان مهمترین مرکز پژوهش های علمی در دنیا.
هیتلر که در اون سال ها صدراعظم آلمان شده بود از مرگ رئیس جمهور استفاده کرد و مقام صدر اعظمی و ریاست جمهوری رو با هم یکی کرد. جان فان نویمان در نامه ای به دوستش می نویسه:
پاک سازی دانشگاه ها به زودی کل آلمان رو در بر می گیره و واقعا چنین اتفاقاتی در قرن بیستم شرم آوره.
در سال های ۱۹۳۳ و ۱۹۳۴ حدود ۲۵۰ نفر از دانشمندان یهودی فقط از دانشگاه برلین اخراج شدند، ۲۰ هزار جلد کتاب در میدان
Babelplatz
سوزونده شد.
انیشتین در واکنش به اون اتفاقات گفته بود:
این میزان بزدلی و وحشی گری برام غافلگیر کننده بود.
هیلبرت در جواب سوالی در مورد وضعیت ریاضیات در آلمان گفته بود:
دیگر ریاضیاتی در گوتینگن نیست.
https://www.cantorsparadise.com/the-great-purge-of-1933-93aa4598eaa9
Medium
The Great Purge of 1933
How Antisemitism Destroyed Mathematics in Germany
👍14❤5👌2🫡2👎1