ورود ثبت نام

rewrite systems

شروع نوشتن

پست‌ها: ۱.نویسندگان: ۱

جدیدترین‌ها

عباس پالاش·

۴ سال پیش

احتمال حل حدس کلاتز با SAT

آیا SAT که با اثباتی ۲۰۰ ترابایتی توانست مساله افراز ۳تایی‌های فیثاغورثی را حل کند می‌تواند حدس تقریبا ۱۰۰ ساله کلاتز را نیز حل کند؟

احتمال حل حدس کلاتز با SAT