Post #5533
1.12K
a pessimistic researcher دروغ چرا از صبح نشستم پای این مث openAI و دارم سعی میکنم یکم درک کنم که چه اتفاقی افتاده. یکی از مسائلی که این بابا حل کرده Weak and strong normalization in pure type systems هستش. این مسئله رو اولین بار آقای Jan Herman Geuvers تحت عنوان یک Conjecture توی…
اگر اشتباه نکنم توی یکی از جلسات حلقه‌ی مطالعاتی Programming Languages & Logic که پارسال با همت دوستان کانال پیش بردیم، این حدس رو بحث کردیم در موردش.