علم دشوار است، پس برو مسخرگی پیشه کن.
ادعا کرده همه این ها رو حل کرده و هر کدوم با دو خط اثبات.
یه اصل به اسم
Universal Axiom
و اون مجموع معروف رامانوجان ابزار کارش بوده.
https://zenodo.org/records/17866156

حرف جدیدی نمی زنه. از محدویت های منطق کلاسیک می گه. اون دعوای قدیمی و همیشگی.
هیلبرت: بوی کیک میاد پس کیک توی فر هست.
براوئر: باید در فر رو باز کنم، اون رو بچشم تا مطمئن بشم کیک هست یا نه؟
https://www.cantorsparadise.com/the-limits-of-logic-a8f212df5952

یه مقاله دیگه از چرن.
می گه اگه هندسه بدن انسان باشه و مختصات لباس، تاریخ هندسه رو می تونیم اینجوری خلاصه کنیم.
لینک مقاله
From Triangles to Manifolds

آقای
H. Blaine Lawson
هستند.
جایزه
Steele Prize for Lifetime Achievement
رو برنده شدند.
for Lifetime Achievement for his groundbreaking contributions to differential geometry, topology, and analysis.

#دانستنی های_ به درد_نخور ۴۵
می دونستید تاریخ واقعی تولد نیوتن مصادف با کریسمس بوده. والدينش می گفتند ۲۵ دسامبر ۱۶۴۲ به دنیا اومده، که امروز معادل می شه با ۴ ژانویه ۱۶۴۳.
اون OS که کنار تاریخ قدیمی می بینید در واقع یعنی
Old Style
البته اون زمان از این نماد استفاده نمی کردند طبیعتا.
تقویم اون زمان
Julian calendar
بود که بعدا به
Gregorian calendar
تغییر پیدا کرد.
در اولی سال کمی بلندتر بود و باعث می شد که به تدریج از سال نجومی عقب بیفته.
وقتی که کشورها تقویم گریگوری رو پذیرفتند، ناچار شدند روزهای کبیسه اضافی رو حذف کنند، به همین خاطر تاریخ تولد نیوتن ۱۰ روز جلو کشیده شد.

می‌دونستین موتور های هوش مصنوعی شطرنج وقتی به آخر بازی (7 مهره آخر) می‌رسن تقلب می‌کنن و از روی یه جدول 18 گیگابایتی از کل حالت های بازی برای 7 مهره نگاه می‌کنن که ببین دقیق ترین حرکت چیه؟

نگهداری بیشتر از 7 تا حالت عملا دیتاست رو بسیار سنگین می‌کنه، ولی وقتی توی بازی با موتور هوش مصنوعی، رسیدید به 7 تا مهره، امکان اینکه موتور اشتباه کنه، صفره

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

syzygy-tables.info

@Linuxor

Projective geometry

خرق عادت، خلاف آمد عادت یا
Thinking outside the box
یا هر چیزی اسمش رو بذاریم، در ریاضی زیاد اتفاق افتاده.
به نظرم یکی از شاخص ترین ها گالوا بود. همه دنبال این بودند که معادله رو حل کنند، گالوا گفت جور دیگه ای نگاه کنیم. ریشه ها رو جابه جا کنیم و ببینیم که چه تاثیری روی روابط بین ریشه ها می ذاره. راه حل همیشه نه در محاسبه مستقیم بلکه در درک الگوها و روابط پنهان هست.
ریاضیدان بزرگ
Hermann Weyl
در مورد اون نامه آخر گالوا جمله ای داره که می گه:

این نامه، اگر با توجه به نوآوری و عمق ایده‌هایی که در آن وجود دارد قضاوت شود، شاید مهم‌ترین نوشته در کل ادبیات بشر باشد.



بخش دوم - معیارهای تصمیم گیری
مساله بعد sorting هست.
می گند
Danny Hillis
کارآفرین و CS کار آمریکایی زمانی که دانشجوی MIT بود از جوراب های یکی از هم اتاقی هاش وحشت داشت. مساله بهداشت یا بوی جوراب ها نبود. لنگه جورابی رو از سبد در میاورد و بعد اگر لنگه جوراب دومی با اولی یکی نبود جفت شون رو می انداخت در سبد! و این فرآیند رو اونقدر ادامه می داد تا دو تا لنگه جوراب یکسان بشند. این کار کافی بود تا هر دانشجوی CS ایی رو فراری بده.
می گند تعداد موضوعات مورد بررسی در سرشماری آمریکا در سال ۱۸۸۰ به دویست مورد رسیده بود و جمع آوری داده هاش ۸ سال طول کشید! در اون زمان
Herman Hollerith
سیستم کارت های سوراخ دار رو راه انداخت و ماشینی برای شمارش و مرتب سازی اون ها. دولت آمریکا از ماشینش برای سرشماری سال ۱۸۹۰ استفاده کرد. شرکتی که تاسیس کرد بعدها به IBM تغییر نام داد.
می گند در دهه ۱۹۶۰ یک چهارم منابع محاسباتی صرف مرتب سازی می شده. تقریبا دست به هر کاری می زدند نیاز به مرتب سازی داشتند.
توی زندگی واقعی چطور؟ در زندگی روزمره خودمون؟ در انتخاب های روزانه مون؟ همیشه نیاز به مرتب سازی داریم؟ یه جواب سرراست به این سوال نه هست.
مثلا کتاب خونه شخصی اگر تعداد کتاب ها خیلی نباشه خیلی شاید به صرفه نباشه که اون رو مرتب کنیم. مرتب کردن ایمیل ها از نظر خیلی از مهندس ها وقت تلف کردنه و سرچ اون ها کار راه اندازتر.
گاهی بی نظمی بهینه است‌ و مرتب سازی رو بهتر هست بذاریم کنار.

چقدر احتمال داشته که چهار تا بزرگسال فیلم تنها در خانه خواب بمونند و ساعت ۸ بلند نشند؟ از داده های خواب بزرگسالان توی آمریکا استفاده کرده و توزیع رو نرمال در نظر گرفته با میانگین: ۷.۶ و انحراف معیار ۱.۶.
احتمالش تقریبا صفر می شه، معادل یک در ۷۵۰ شب.
فیلم رو بر مبنای همین احتمال ساختند.