یه مثال نقض برای اینکه جمع دو عدد گنگ همیشه گنگ نیست. دیگه اینقدر پی و منهای پی رو مثال نزنید.

البته این خودش در اصل اگر با دقت نگاه کنیم اون بازی آلفا و یک منهای آلفا رو تکرار کرده(که آلفا یه عدد گنگ هست، اینجا رادیکال دو دوم) ولی دست کم در نگاه اول مشخص نیست.

یه ترم در هاروارد 1869، ۱۷۰ تا، به قیمت امروز می شه ۴۰۰۰ تا ظاهرا.

باید آنالیز خونده باشی تا نکته اش رو بگیری!

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

آقای
Noah Giansiracusa
ظاهرا یه جایزه برده به اسم
JPBM Communications Award
به خاطر
for his extraordinary contributions to public understanding of the societal impacts of algorithms through his acclaimed books and influential media presence.

عنوان یکی از کتاباش جذابه
How Algorithms Create and Prevent Fake News
کتاب رو پیدا کردم یه نگاهی می کنم و شاید چیزی درباره اش نوشتم.
https://www.ams.org/news?news_id=7521

چت جی پی تی و توپولوژی؟
فعلا نه!
اینجا اومده چهار تا سوال توپولوژی به چت جی پی تی داده و جواب ها رو بررسی کرده. گزاره اول کلا غلط بوده و چت جی پی تی سعی کرده اثبات کنه گزاره رو!
در گزاره دوم ازش خواسته یه مثال بزنه از یک فضای با ویژگی های خاص(مثال و یا مثال نقض زدن در توپولوژی کار ساده ای نیست عموما) پنج بار مثال غلط ارائه کرده.
مساله سوم رو هم به خطا رفت و مساله چهارم که خاص تر بود و نیاز به دانش اضافه از set theory داشت کلا خورده به دیوار.
نتیجه اینکه دست کم برای توپولوژی خوندن قیدش رو بزنید و به سراغ منابع معتبر برید.
https://dantopology.wordpress.com/2025/08/16/asking-chatgpt-topology-questions/

در مورد این اثر یه شوخی که می کنند اینه که تنها فردی که اون رو کامل خونده گودل بوده.

در اینجا هم توضیح می ده که اکی
۱+۱=۲
ولی خیلی هم واضح نیست.
https://youtu.be/wRkvmNf-dM0?si=Me_JzQG0AA4aHn6U

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

#دانستنی های_ به درد_نخور ۲۹
می دونستید زمانی که گودل برای گرفتن تابعیت آمریکا برای امتحان مربوط آماده می شد و مجبور شد قانون اساسی آمریکا رو بخونه، متوجه اشکالات منطقی در اون شد و این مساله نگرانش کرده بود؟ ظاهرا انیشتین و... هم برای جلسه مصاحبه تابعیت همراهی اش کرده بود. مصاحبه کننده با اشاره به اتفاقات آلمان نازی بهش گفته بود: حتما با مطالعه قانون اساسی متوجه شدی که اون اتفاقات در آمریکا ممکن نیست بیفته. ظاهرا اطرافیان متقاعدش کردند که نظری درباره تناقضات موجود نده و گودل هم تابعیت آمریکا رو گرفت.

این رو تازه دیدم، ظاهرا مال ۴۰۰۰ سال پیش هست. خیلی علاقه ای به ریاضیات بابلیان و سومریان و بعدش و ... ندارم. با ریاضیات یکی دو قرن اخیر به خصوص قرن بیستم و قرن حاضر این چیزها دیگه شگفت انگیز نیست به نظرم. حالا چی هست اصلا؟ رادیکال دو رو تا چند رقم محاسبه کردند.
1 + 24/60 + 51/60² +10/60³ =1.41421296
(مبنای اعداد ۶۰ بوده اون زمان)
هر جایی هم در موردش مطلب خوندم با تعجب پرسیدند که:
How did they do it?

Every theorem you prove is actually a theorem of Tarski, since it is equivalent to a theorem of Tarski. If you prove that something is in fact independent then it is not a theorem of Tarski, but the proof of its independence is in fact a theorem of Tarski.

با یک روز تاخیر
دیروز تولد خانم
Margaret Hamilton
بود، در ایران شاید تا حدی برای بعضی ها به خاطر مدالی که از اوباما گرفت شناخته شده باشه، به خاطر نقشش در توسعه نرم افزارهای مربوط به پرواز آپولو در سال ۱۹۶۹.
اصطلاح
Software engineering
رو هم ایشون مطرح کرد.
لیسانس ریاضی از دانشگاه میشیگان داره (فقط همین)
ظاهرا اون اوائل می خواسته در زمینه ریاضی محض ادامه تحصیل بده که بعدا مسیرش عوض می شه. غیر از اون پروژه آپولو در پروژه های مختلف دیگه ای هم حضور داشته.
توی یه مصاحبه گفته: در بعضی از پروژه ها به خاطر حساسیت اون ها ما فقط بخشی از کدها که مربوط به یه بخش کوچکی از پروژه بود رو می نوشتیم و هیچ اطلاعی از کل پروژه نداشتیم.
توی عکس هم کنار راهنمای مربوط به محاسبات آپولو وایستاده.

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

همون طور که از اسمش پیداست، آنیتا همسرشه:)

خانم Allen ارشد ریاضی داره و برنده جایزه تورینگ شده، آقای Lee هم لیسانس فیزیک داره و خالق www و برنده همون جایزه، خانم همیلتون هم اینجوری. می دونم نباید سریع نتیجه خاصی گرفت ولی قطعا موارد بیشتری هست و تازه اینا تاپ ها هستند. غیر از تلاش، شانس و استعداد دیگه چه چیزهایی موثر بوده؟(البته جواب رو می دونیم همه)

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

یکی از دوستان اشاره کردند این یکی از open problemهای نظریه اعداد هست و به
Andrica's Conjecture
معروفه.
من از اسکرین شات هام برداشتم و حواسم نبود. به هر حال دیگه پاکش نمی کنم.