فیلم "مرگ یک ریاضیدان ناپلی" به زندگی
Renato Caccioppoli
ریاضیدان ایتالیایی می پردازه. زمینه کلی کاری اش آنالیز بود، در زمینه های مختلف اون. در سال ۱۹۵۹ دست به خودکشی زد.
Renato Caccioppoli
ریاضیدان ایتالیایی می پردازه. زمینه کلی کاری اش آنالیز بود، در زمینه های مختلف اون. در سال ۱۹۵۹ دست به خودکشی زد.
❤10
آقای
Nicușor Dan
هستند، یکی از کاندیداهای ریاست جمهوری در رومانی. رقیبش سیاست های ضد اتحادیه اروپا داره ظاهرا.
خود آقای Dan دکتری ریاضی داره و دوبار در سال های ۱۹۸۷ و ۱۹۸۸ در المپیاد ریاضی مدال طلا گرفته.
https://www.theguardian.com/world/2025/may/17/between-a-mathematician-and-a-trump-loving-hooligan-romania-stark-presidential-choice
Nicușor Dan
هستند، یکی از کاندیداهای ریاست جمهوری در رومانی. رقیبش سیاست های ضد اتحادیه اروپا داره ظاهرا.
خود آقای Dan دکتری ریاضی داره و دوبار در سال های ۱۹۸۷ و ۱۹۸۸ در المپیاد ریاضی مدال طلا گرفته.
https://www.theguardian.com/world/2025/may/17/between-a-mathematician-and-a-trump-loving-hooligan-romania-stark-presidential-choice
🔥19
ظاهرا کانال یوتیوب تائو هم راه افتاده...
https://youtu.be/cyyR7j2ChCI?si=vRW8Wu0iO4ae51z-
https://youtu.be/cyyR7j2ChCI?si=vRW8Wu0iO4ae51z-
YouTube
Formalizing a proof in Lean using Github copilot and canonical
In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of formalizing the proof in a very low-level, "line by line"…
🔥14
طرف CS کار بوده، زمینه کاری اش هم
metaheuristic and bioinspired algorithms
رفته یکی از دانشگاه های تاپ مسکو توی یکی از این به اصطلاح AI lab ها. از فساد و مشکلاتی که دیده نوشته، چند تاش رو می نویسم:
+گفته از شش نفر که تو Lab بودند سه نفر برنامه نویسی بلد نبودند.
+هیچ مقاله ای در زمینه هوش مصنوعی منتشر نکردند، با اینکه کارشون همین بوده.
+دوتا از آدم های اونجا با رئیس اونجا فامیل بودند و هیچ وقت سروکله شون اونجا پیدا نشده!
+مقاله فروشی ظاهرا رواج داره اونجا.
+دست آخر هم گفته: حقوقش ساعتی ۳ دلار بوده!
metaheuristic and bioinspired algorithms
رفته یکی از دانشگاه های تاپ مسکو توی یکی از این به اصطلاح AI lab ها. از فساد و مشکلاتی که دیده نوشته، چند تاش رو می نویسم:
+گفته از شش نفر که تو Lab بودند سه نفر برنامه نویسی بلد نبودند.
+هیچ مقاله ای در زمینه هوش مصنوعی منتشر نکردند، با اینکه کارشون همین بوده.
+دوتا از آدم های اونجا با رئیس اونجا فامیل بودند و هیچ وقت سروکله شون اونجا پیدا نشده!
+مقاله فروشی ظاهرا رواج داره اونجا.
+دست آخر هم گفته: حقوقش ساعتی ۳ دلار بوده!
👏14👍4❤1
Forwarded from CafeInfinity
The Early (and Peculiar) History of the Mobius Function.pdf
940.2 KB
دومین مقاله برنده جایزه شاونت ۲۰۲۲، مقالهای از ویلیام دونهام است که با عنوان «تاریخچه اولیه تابع موبیوس» در مجله ریاضیات چاپ شدهاست. ویلیام دونهام یک متخصص مشهور تاریخ ریاضیات است. چکیده مقاله را در زیر میبینید.
Summary. The Möbius function is a fxture of modern courses in number theory. It is usually traced back to an 1832 paper by August Ferdinand Möbius where the function unexpectedly arose in answer to an analytic, rather than a number theoretic, question. But perhaps more unexpected is that the function can be found in Leonhard Euler’s classic text, Introductio in analysis infnitorum, from 1748. Besides presenting the origins of what might be called the “Euler/ Möbius” function, this article is a reminder that the history of mathematics holds its share of surprises.
اطلاعات کتابشناسی مقاله دونهام به شرح زیر است:
William Dunham (2018) The Early (and Peculiar) History of the Möbius
Function, Mathematics Magazine, 91:2, 83-91, DOI: 10.1080/0025570X.2017.1413921
@CafeInfinity
Summary. The Möbius function is a fxture of modern courses in number theory. It is usually traced back to an 1832 paper by August Ferdinand Möbius where the function unexpectedly arose in answer to an analytic, rather than a number theoretic, question. But perhaps more unexpected is that the function can be found in Leonhard Euler’s classic text, Introductio in analysis infnitorum, from 1748. Besides presenting the origins of what might be called the “Euler/ Möbius” function, this article is a reminder that the history of mathematics holds its share of surprises.
اطلاعات کتابشناسی مقاله دونهام به شرح زیر است:
William Dunham (2018) The Early (and Peculiar) History of the Möbius
Function, Mathematics Magazine, 91:2, 83-91, DOI: 10.1080/0025570X.2017.1413921
@CafeInfinity
👍6
Mathematical Musings
Photo
به مناسبت تولد Bertrand Russell:
اون اصل سوم رو اگر وسوسه بشیم برداریم و به جاش اصل بالا رو بذاریم چه اتفاقی می افته؟
فرق شون در اینه که اون بالایی یعنی اصل سوم می گه یه P داریم به اسم property و بعد یک X هم داریم و بعد به کمک اون اصل، اون P رو روی اون X اعمال می کنیم و به مجموعه جدیدی می رسیم. مثلا P باشه "بچه هایی که نمره ریاضی شون ۲۰ شده" و X رو می گیریم بچه های یه مدرسه مثلا. حالا مجموعه Y می شه بچه هایی از اون مدرسه که نمره ریاضی شون ۲۰ شده.
در اصل بالا یعنی Comprehension دیگه X ایی وجود نداره، یعنی همین طوری با یه property مثل P، مجموعه می سازیم.
حالا P رو بگیرید "عضو خود نبودن"، به کمک اصل بالا مجموعه ای مثل Y هست که
Y={A:A∉A}
حالا Y عضو خودش هست یا نه؟
چه جواب مثبت بدیم به این سوال و چه جواب منفی به تناقض می رسیم و این به پارادوکس راسل معروفه.
برای اینکه به این تناقض نرسیم همون ورژن ضعیف ترش رو در نظر می گیریم(اصل ۳) یعنی حتما باید اون property رو، روی یک مجموعه اعمال کنیم. به قول هالموس بی مایه فطیره!
حالا پارادوکس بالا با وجود اصل ۳، یعنی ورژن ضعیف تر نه تنها پارادوکس نیست بلکه این رو به ما می گه که مجموعه همه مجموعه ها وجود نداره.
اون اصل سوم رو اگر وسوسه بشیم برداریم و به جاش اصل بالا رو بذاریم چه اتفاقی می افته؟
فرق شون در اینه که اون بالایی یعنی اصل سوم می گه یه P داریم به اسم property و بعد یک X هم داریم و بعد به کمک اون اصل، اون P رو روی اون X اعمال می کنیم و به مجموعه جدیدی می رسیم. مثلا P باشه "بچه هایی که نمره ریاضی شون ۲۰ شده" و X رو می گیریم بچه های یه مدرسه مثلا. حالا مجموعه Y می شه بچه هایی از اون مدرسه که نمره ریاضی شون ۲۰ شده.
در اصل بالا یعنی Comprehension دیگه X ایی وجود نداره، یعنی همین طوری با یه property مثل P، مجموعه می سازیم.
حالا P رو بگیرید "عضو خود نبودن"، به کمک اصل بالا مجموعه ای مثل Y هست که
Y={A:A∉A}
حالا Y عضو خودش هست یا نه؟
چه جواب مثبت بدیم به این سوال و چه جواب منفی به تناقض می رسیم و این به پارادوکس راسل معروفه.
برای اینکه به این تناقض نرسیم همون ورژن ضعیف ترش رو در نظر می گیریم(اصل ۳) یعنی حتما باید اون property رو، روی یک مجموعه اعمال کنیم. به قول هالموس بی مایه فطیره!
حالا پارادوکس بالا با وجود اصل ۳، یعنی ورژن ضعیف تر نه تنها پارادوکس نیست بلکه این رو به ما می گه که مجموعه همه مجموعه ها وجود نداره.
👍7🔥4❤1👎1🤔1
#دانستنی های_ به درد_نخور ۲۶
می دونستید که Oliver Heaviside یکی از چهره های برجسته در تاریخ علم بود.
با اینکه تحصیلات دانشگاهی نداشت در ریاضی، فیزیک و مهندسی برق خیلی تاثیر گذاشت. به خاطر شرایط خانوادگی تا ۱۶ سالگی بیشتر درس نخوند و بعد هر چه یاد گرفته به صورت خود آموز بوده. از مهمترین کارهاش بازنویسی معادلات ماکسول به شکل ساده تر هست.
ظاهرا در بچگی بیمار می شه و این قضیه روی شنوایی اش تاثیر می ذاره، که بعدها روی روابط اجتماعی اش هم موثر بوده. شخصیتی تندخو پیدا می کنه و ارتباط خوبی با جامعه علمی نداشته.
از مهمترین دستاوردهای ریاضی اش کار در زمینه Operational calculus و Fractional calculus بود.
مثلا مشتق رو به صورت کسری تعریف می کنند و عبارت های مثل ½D هم معنی داره.
البته زمانی که این مفهوم رو بسط داد کارهاش دقت ریاضی لازم رو نداشت و بیشتر مثل یه عبارت جبری صرف با این مفهوم برخورد می کرد و از این جهت انتقاداتی بهش می شد. جمله مشهوری داره که در جواب گفته بود:
آیا من باید به خاطر درک ناقص سازوکار هضم غذا از خوردن شام صرف نظر کنم؟
می دونستید که Oliver Heaviside یکی از چهره های برجسته در تاریخ علم بود.
با اینکه تحصیلات دانشگاهی نداشت در ریاضی، فیزیک و مهندسی برق خیلی تاثیر گذاشت. به خاطر شرایط خانوادگی تا ۱۶ سالگی بیشتر درس نخوند و بعد هر چه یاد گرفته به صورت خود آموز بوده. از مهمترین کارهاش بازنویسی معادلات ماکسول به شکل ساده تر هست.
ظاهرا در بچگی بیمار می شه و این قضیه روی شنوایی اش تاثیر می ذاره، که بعدها روی روابط اجتماعی اش هم موثر بوده. شخصیتی تندخو پیدا می کنه و ارتباط خوبی با جامعه علمی نداشته.
از مهمترین دستاوردهای ریاضی اش کار در زمینه Operational calculus و Fractional calculus بود.
مثلا مشتق رو به صورت کسری تعریف می کنند و عبارت های مثل ½D هم معنی داره.
البته زمانی که این مفهوم رو بسط داد کارهاش دقت ریاضی لازم رو نداشت و بیشتر مثل یه عبارت جبری صرف با این مفهوم برخورد می کرد و از این جهت انتقاداتی بهش می شد. جمله مشهوری داره که در جواب گفته بود:
آیا من باید به خاطر درک ناقص سازوکار هضم غذا از خوردن شام صرف نظر کنم؟
❤22👍5
blueprint.pdf
373.9 KB
A Lean proof of Fermat’s Last Theorem
کمی تا قسمتی تخصصی هست البته، شاید به کار کسی بیاد. البته من در این زمینه صاحب نظر نیستم، ولی احتمالا یکی از جذاب ترین حوزه های ریاضی در آینده(شاید هم همین حالا)
کمی تا قسمتی تخصصی هست البته، شاید به کار کسی بیاد. البته من در این زمینه صاحب نظر نیستم، ولی احتمالا یکی از جذاب ترین حوزه های ریاضی در آینده(شاید هم همین حالا)
🔥6
تو بحث ارجاعات دو تا بحث همیشه وجود داشته: خودارجاعی(یعنی ارجاع باربط یا بی ربط به اثر خود) و بحث کارتل های ارجاعات(گروهی از پژوهشگران که به خودشون سازمان یافته ارجاع می دند تا تعداد citation هاشون بره بالا)
حالا این موضوع جنبه دیگه ای هم پیدا کرده، با هویت جعلی در گوگل اسکالر یه اکانت ساختند و از یه سرویسی تونستند ارجاع بخرند!
https://arxiv.org/abs/2402.04607
حالا این موضوع جنبه دیگه ای هم پیدا کرده، با هویت جعلی در گوگل اسکالر یه اکانت ساختند و از یه سرویسی تونستند ارجاع بخرند!
https://arxiv.org/abs/2402.04607
arXiv.org
Google Scholar is manipulatable
Citations are widely considered in scientists' evaluation. As such, scientists may be incentivized to inflate their citation counts. While previous literature has examined self-citations and...
👍8
Mathematical Musings
آقای Nicușor Dan هستند، یکی از کاندیداهای ریاست جمهوری در رومانی. رقیبش سیاست های ضد اتحادیه اروپا داره ظاهرا. خود آقای Dan دکتری ریاضی داره و دوبار در سال های ۱۹۸۷ و ۱۹۸۸ در المپیاد ریاضی مدال طلا گرفته. https://www.theguardian.com/world/2025/may/17/between…
ایشون هم برنده شد.
۵۴ درصد آرا رو کسب کرد.
عملکردش در IMO که فوق العاده بوده.
۵۴ درصد آرا رو کسب کرد.
عملکردش در IMO که فوق العاده بوده.
❤15🔥3
Mathematical Musings
Masaki Kashiwara, Japanese Mathematician, Wins 2025 Abel Prize - The New York Times https://www.nytimes.com/2025/03/26/science/abel-prize-math-masaki-kashiwara.html#:~:text=Masaki%20Kashiwara%2C%20a%20Japanese%20mathematician,differential%20equations%20in…
امروز، فردا و پس فردا مراسم مربوط به این جایزه یعنی Abel Prize برگزار می شه.
این جایزه رو خیلی ها نوبل ریاضی می دونند. امسال برای اولین بار به یک ژاپنی اهدا شد.
آبل هم واقعا غولی بوده در تاریخ ریاضیات که کمتر در موردش صحبت شده، در ۲۶ سالگی به خاطر بیماری سل درگذشت.
این جایزه رو خیلی ها نوبل ریاضی می دونند. امسال برای اولین بار به یک ژاپنی اهدا شد.
آبل هم واقعا غولی بوده در تاریخ ریاضیات که کمتر در موردش صحبت شده، در ۲۶ سالگی به خاطر بیماری سل درگذشت.
❤12👍1
شاگرد امیل آرتین، عضو گروه بورباکی، ریاضیدان درجه یک، نویسنده پرکار با کتاب های معرکه، کنشگر سیاسی و منکر ارتباط HIV و ایدز!
امروز روز تولد سرژ لانگ هست.
معروف بوده که به سمت دانشجوهایی که حواسشون نبوده به کلاس شوخی/جدی گچ پرتاب می کرده!
یه شوخی که در موردش می شد این بود که هر وقت می پرسیدند لانگ کجاست؟ در جواب می گفتند: داره یه کتاب می نویسه.
دو کتاب عمومی ترش درباره ریاضیات که به فارسی هم ترجمه شده:
هنر ریاضی ورزیدن
بحث ریاضی با دانش آموز
امروز روز تولد سرژ لانگ هست.
معروف بوده که به سمت دانشجوهایی که حواسشون نبوده به کلاس شوخی/جدی گچ پرتاب می کرده!
یه شوخی که در موردش می شد این بود که هر وقت می پرسیدند لانگ کجاست؟ در جواب می گفتند: داره یه کتاب می نویسه.
دو کتاب عمومی ترش درباره ریاضیات که به فارسی هم ترجمه شده:
هنر ریاضی ورزیدن
بحث ریاضی با دانش آموز
❤21🤣5👍2🫡1