HeadlinesBriefing favicon HeadlinesBriefing.com

حد الفجوة الأولية 186: صياغة لين

Hacker News •
×

يقدم هذا المستودع صياغة رسمية بلغة لين 4 لحد الفجوة الأولية: liminf(p_{n+1}-p_n)≤186. وهو مشتق من نظرية DHL، باستخدام مجموعة مقبولة من 40 عددًا صحيحًا. النتيجة الأساسية شرطية، وتعتمد على ثلاثة بديهيات: حد مجموع كلوسترمان، وحد ارتباط، وشهادة عددية. تتضمن الصياغة سكربت بايثون يتحقق من المتباينات العددية. تم تنظيم كود لين مع إعلانات للنظرية الرئيسية والمساعدات الداعمة، وتم فحصه في جهاز افتراضي لينكس باستخدام نواة لين، مع قبول البديهيات المذكورة.