حرکت گربه رو در اتاق و در حضور انسان به کمک مکانیک کلاسیک بررسی کرده. حتی حرکات تند و جست و خیزهای سریع گربه رو که اصطلاحا بهش می گند
zoomies
هم در نظر گرفته، البته همه این ها تحت فرضیاتی طبیعتا انجام شده.
هم فانه، هم فیزیک و هم تا حدی با اخلاق گربه ها آشنا می شید!
https://arxiv.org/abs/2409.05400

✨✨✨✨✨✨✨✨✨✨✨✨✨

🔘 فروتنی و تواضع استاد ریاضیات دانشگاه آکسفورد.

کانال جذاب فلسفه علم 👇👇👇

@vahidbehmaram1371

از کتاب آقای
Tom Gauld
عنوان کتاب هست:
Department of Mind-Blowing Theories

ایشون Cartoonist هستند و بیشتر هم زمینه کاریشون
Science Cartoons
هست. کارهاش به نظرم فوق العاده است.
یه کتاب خوب دیگه هم داره که عنوانش هست:
Physics for Cats
که متاسفانه فایلش رو پیدا نکردم.
بقیه کارهاش مثل اون کتاب بالا خیلی راحت پیدا می شه.

ظاهرا side effects دارو رو، روی اون زدند.

ظاهرا اون ایده وحشتناک و بد ریاضی نویسی از راست در بعضی جاها داره اجرا می شه.
البته ظاهرا عمومیت نداره ولی هست.
lim Ln(x²+3x+1)/x
وقتی x می ره به سمت 0.

حالا من دقیقا نمی دونم ولی حد احتمالا می شه نهایت، بعد برای اینکه مثل انگلیسی خلاصه بنویسند نوشتند نها!
Ln
رو هم نوشتند لو، حتما
Ln Ln
هم می شه لولو!

مسیر اسب در صفحات
32*32 , 64*64
شطرنج

▫️انتشار فهرست پژوهشگران پراستناد جهان در سال ۲۰۲۵

آنچه به‌عنوان پژوهشگران پراستناد (Highly Cited Researchers) می‌شناسیم، دقیقاً همین فهرست است که توسط شرکت Clarivate و بر پایه داده‌های پایگاه Web of Science و ارزیابی‌های کیفی تکمیلی منتشر می‌شود.

فهرست‌هایی که تحت عنوان "۱ درصد برتر" یا "۲ درصد برتر" در جاهای دیگر معرفی می‌شوند، ارتباطی با Clarivate ندارند و اعتبار علمی آن‌ها نیز تا حدی محل تردید است.

در سال ۲۰۲۵، تغییرات مهمی در شیوه انتخاب پژوهشگران اعمال شده تا فهرست نهایی منصفانه‌تر، دقیق‌تر و قابل اعتمادتر باشد.

هدف Clarivate تنها معرفی افراد با بیشترین استناد نیست، بلکه اطمینان از این است که آثار منتخب، سالم، معتبر و دارای تأثیر واقعی در جامعه علمی باشند.

تغییرات و بهبودهای کلیدی در روند انتخاب
در سال گذشته، سخت‌گیری‌هایی نظیر حذف پژوهشگرانی با:

سطح غیرعادی نویسندگی گروهی (Hyper-authorship)

خوداستنادی بیش از حد (Excessive Self-citation)

الگوهای غیرمعمول استنادات مشترک (Unusual Collaborative Citation Patterns)

اعمال شده بود.

در سال ۲۰۲۵ نیز دو تغییر اساسی در روند انتخاب صورت گرفت:

۱- پالایش دقیق‌تر مقالات:

مقالاتی که نویسندگان آن‌ها در سال‌های گذشته به‌دلیل تخلف علمی یا دست‌کاری در استناد از فهرست حذف شده بودند، امسال از بررسی کنار گذاشته شدند. این اقدام موجب شد پژوهشگران شایسته‌ای که آثارشان پیش‌تر در سایه قرار داشت، فرصت دیده‌شدن پیدا کنند.

۲- ارزیابی نظام‌مندتر با کمک فناوری:

در مرحله دوم انتخاب، از روش‌های الگوریتمی دقیق‌تر استفاده شد تا دخالت سلیقه انسانی کاهش یابد و فرایند داوری منصفانه‌تر باشد. با این حال، ارزیابی انسانی همچنان بخش مهمی از این فرآیند باقی مانده است.

آمار کلی فهرست ۲۰۲۵

در مجموع، ۷۱۳۱ جایزه پژوهشگر پراستناد به ۶۸۶۸ فرد منحصربه‌فرد تعلق گرفته است؛ چون برخی پژوهشگران در بیش از یک حوزه علمی برگزیده شده‌اند. این پژوهشگران در ۶۰ کشور و منطقه فعالیت دارند.

از نظر جغرافیایی، ۸۶٫۱ درصد از کل جوایز تنها در ۱۰ کشور و ۷۴٫۶ درصد در پنج کشور نخست (آمریکا، چین، بریتانیا، آلمان و استرالیا) متمرکز شده است.

بیش از ۵۷ درصد از کل پژوهشگران پراستناد جهان در ایالات متحده یا چین زندگی می‌کنند.

ده کشور برتر

۱- آمریکا (۲۶۷۰)
۲- چین (۱۴۰۶)
۳- بریتانیا (۵۷۰)
۴- آلمان (۳۶۳)
۵- استرالیا (۳۱۲)
۶- کانادا (۲۲۷)
۷- هلند (۱۹۴)
۸- هنگ‌کنگ (۱۴۵)
۹- سوئیس (۱۳۰)
۱۰- فرانسه (۱۲۱)

از عربستان سعودی ۳۰ پژوهشگر و از ترکیه تنها ۲ پژوهشگر در فهرست حضور دارند.

ده مؤسسه برتر

۱- آکادمی علوم چین (۲۵۸)
۲- دانشگاه هاروارد (۱۷۰)
۳- دانشگاه استنفورد (۱۴۱)
۴- دانشگاه چینهوا (۹۱)
۵- مؤسسه فناوری ماساچوست (۸۵)
۶- مؤسسه ملی سلامت آمریکا (۸۴)
۷- انجمن ماکس‌پلانک – آلمان (۶۶)
۸- دانشگاه آکسفورد (۵۹)
۹- دانشگاه پنسیلوانیا (۵۹)
۱۰- کالج دانشگاهی لندن – (۵۹)

ده حوزه پژوهشی برتر

۱- بین‌رشته‌ای (۳۵۶۹)
۲- پزشکی بالینی (۳۷۹)
۳- زیست‌شناسی و بیوشیمی (۳۱۴)
۴- علوم اجتماعی (۲۶۰)
۵- محیط‌ زیست و بوم‌شناسی (۲۳۹)
۶- شیمی (۲۳۷)
۷- علوم اعصاب و رفتار (۱۹۲)
۸- علوم مواد (۱۸۷)
۹- مهندسی (۱۸۶)
۱۰- علوم گیاهی و جانوری (۱۶۶)

وضعیت ایران

در فهرست ۲۰۲۵، تنها سه پژوهشگر ایرانی حضور دارند.

در سال ۲۰۲۴ نیز سه نفر، در سال ۲۰۲۳ پنج نفر، در سال ۲۰۲۲ دوازده نفر و در سال ۲۰۲۱ پانزده نفر از ایران در این فهرست قرار داشتند.

پژوهشگران پراستناد ایرانی در سال ۲۰۲۵:

۱- دکتر مهدی دهقان – در فیلد ریاضیات (استاد تمام دانشکده ریاضی و علوم کامپیوتر دانشگاه صنعتی امیرکبیر)

۲- دکتر محمدعلی منصورنیا – در فیلد علوم اجتماعی (استاد اپیدمیولوژی و آمار زیستی دانشگاه علوم پزشکی تهران)

۳- دکتر مجید سلطانی – در فیلد بین‌رشته‌ای (دانشیار گروه تبدیل انرژی–بایو در دانشگاه صنعتی خواجه نصیرالدین طوسی)

شایان ذکر است که دکتر منصورنیا در فهرست سال گذشته نیز حضور داشت و تداوم حضور او نشان‌دهنده اثرگذاری پایدار پژوهش‌هایش در سال‌های اخیر است.

#research_metrics
#research_outputs
#highly_cited
#clarivate
#webofscience
#citation

🆔 @irevidence

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

کتاب مورد علاقه اش اینه و توپولوژی جبری هچر

آقای
Maxime Raynaud
هستند، دو تا لیسانس از استنفورد دارند هم ریاضی و هم CS.
الان هم در NBA بازی می کنند.
ظاهرا در زندگی دو تا پلن داشتند: A و B و هر دو رو با هم پیش بردند.
هم درسش رو خونده و هم ورزش رو در کنارش ادامه داده.
پدر و مادرهای ایرانی یه چیزی می دونستند که این جمله رو همیشه تکرار می کردند.
به هر حال آرزوی موفقیت می کنیم براشون.

شرکت
DeepMind
طراح نرم افزار AlphaProof هست. حالا کارش چیه؟
هم اثبات فرمال داره و هم از یادگیری تقویتی استفاده می کنه.
در IMO 2024 هم با ماژول
AlphaGeometry 2
تونست مدال نقره بگیره. چند تا مساله که بیشتر شرکت کننده ها هم نتونستند حل کنند، حل کرد، البته در زمان بیشتری. در بعضی زمینه های ریاضی هم به طور کلی از انسان ها ضعیف تره.
فرمال کردن این وسط چی می گه؟ چون معمولا دچار توهم اثبات درست هم می شند، اینجا این روش کمک می کنه که از صحت هر بخش از اثبات مطمئن بشند.
https://www.nature.com/articles/s41586-025-09833-y

صد کتاب ماندگار قرن

[ایلیا صفایی]: در چهل و یکمین نشست سازمان اسناد و کتابخانه‌ی ملی ایران به منظور معرفی صد کتاب ماندگار قرن، «راهنمای آماده ساختن کتاب» اثر زنده‌یاد دکتر میرشمس‌الدین ادیب‌سلطانی به عنوان چهل و یکمین کتاب منتخب، معرفی شد.

دایره‌ی این انتخاب، آثاری غیرترجمه‌ای را در برمی‌گیرد که در فاصله‌ی سالهای 1300 تا 1400 به زبان فارسی نوشته شده و در ایران منتشر شده باشند.

از آثار معرفی شده در نشست‌های پیشین می‌توان به «سرّ نی» اثر عبدالحسين زرین‌کوب، «تاریخ مشروطه» اثر احمد کسروی، «خواب آشفته‌ی نفت» اثر محمدعلی موحد، «چرند و پرند» اثر علی‌اکبر دهخدا، «دائره المعارف فارسی» اثر غلامحسین مصاحب، «وسایل ارتباط جمعی» اثر کاظم معتمدنژاد، «ادبيات داستانی» اثر جمال میرصادقی، «غلط ننویسم » اثر ابوالحسن نجفی، «فرهنگ بزرگ انگلیسی، فارسی» اثر سلیمان حییم، «سیاست و اقتصاد عصر صفوی» اثر باستانی پاریزی، «از فارسی میانه تا فارسی» اثر کتایون مزداپور و بیست مقاله‌ی علامه قزوینی اشاره کرد.

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

#geometry #angles

امروز سالمرگ لایبنیتس هست. لایبنیتس رو بیشتر به خاطر دعوای تاریخی اش با نیوتن به یاد میارند، کمی منصفانه بخوایم نگاه کنیم در اون زمان تا حدی حقش ضایع شد.
دانشمند همه فن حریفی که امروز بیشتر به عنوان یه ریاضیدان می شناسندش، ولی تحصیلات رسمی در ریاضیات نداشت و دکتری حقوق گرفته بود.
وقتی لایبنیتس کارهای خودش رو زودتر از نیوتن منتشر کرد، نیوتن هیاهوی زیادی علیه اون راه انداخت.
واقعیت ماجرا چی بود؟
نیوتن علاقه ای به انتشار کارهاش نداشت، بین این دو هم مکاتباتی صورت گرفته بود، بعدها که لایبنیتس کارهاش رو منتشر کرد، نیوتن مدعی شد لایبنیتس ایده هاش رو دزدیده. انجمن سلطنتی بریتانیا یعنی
Royal Society
در سال ۱۷۱۲ گزارشی منتشر کرد و لایبنیتس رو متهم به سرقت علمی کرد. ولی یه نکته ای وجود داشت: رئیس کمیته خود نیوتن بود.
اون زمان درگیری زیادی بین انگلیس و کشورهای آلمانی زبان بود. دانشمندان انگلیسی طرفدار نیوتن بودند.
حقیقت ماجرا چی بود؟
نیوتن اول کشف کرد calculus رو و لایبنیتس اول منتشر کرد اون رو. هر دو مستقلا به یک نتیجه رسیدند.
هر چند در کل نمادگذاری لایبنیتس بهتر بود.

وقتی وسط یه بحث جدی در زمینه ماتریس ها قبل از جواب سوال، به طرف طعنه می زنه.

#تاریخ_علم #CSE #معرفی_کتاب

این کتاب رو آخر شب ها که برمیگشتم میخوندم. امروز تموم شد. کتاب رو بیشتر از اینکه به همه توصیه کنم به دانشجو های کارشناسی پیشنهاد میکنم. معمولا در مدت تحصیل شون هیچ روایت مستند و بدون مبالغه ای از افراد مهم فیلد بهشون داده نمیشه. این کتاب مجموعه ای از مقالات هست از کامپیوتر ساینستیست ها و یکی دوتا فیلسوف و جامعه شناس که هر کدوم به یک جنبه از کار های تورینگ از بُعد تاریخی و تکنیکی میپردازن. از زمان خودش تا به الان بر این که چه ها گذشته. یک سری هاشون هم به جنبه های کمتر پرداخته شده یا فراموش شده کار های او و هم نسلانش میپردازن. بعضی مقالاتش رو فقط دوست نداشتم. هر چند که الان خودم به آرشیو کامل فیزیکی کار هاش در موزه کامپیوتر لندن دسترسی پیدا کردم و امیدوارم وقت بشه بیشتر بنویسیم از مدارک دسته اولش.
یه سری مقالاتی که خوشم اومد دو نوشته ی Andrew Hodge's بود از زندگی و مسیر علمی تورینگ و یکی مقاله جالبی از همین تاریخ‌دان علم با عنوان اگر تورینگ بعد از سال ۱۹۵۴ زنده بود چیکارا ممکن بود بکنه؟ :)
یه مقاله درباره theorem prover ها بود و تاریخچه شکل گیری شون‌. براتون بگم که دوسه تا هم درباره محاسبات کوانتومی که این روزا دارم دربارش میخونم. یه مقاله هم از دنیل دنت فیلسوف فقید که پرداخته بود به مطالعات علوم اعصاب و ماشین ها. مارتین دیویس هم دو تا مقاله خوب نوشته بود درباره نظریه محاسبه و سیر تاریخیش‌. مقالات بیشتری هست من همه شو نگفتم. خودتون خواستید خلاصه شاید بد نباشه خواندنش.
یه جنبه دیگری از کتاب هم که دوست داشتم لیست بلند بالای رفرنس ها و مقالات مهمی بود که هر مقاله بهشون ارجاع میداد.
پایان.

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