نحن نحل مشكلة رياضية ولكننا نحتاج إلى 10،000 مليون سنة لقراءتها

تم حل المشكلة المنطقية للأوردة فيثاغوري ، والتي ذكرت قبل 35 عامًا ، بواسطة كمبيوتر عملاق فرار جماعي من جامعة تكساس.

ومع ذلك ، فإن الحل واسع النطاق لدرجة أنه يتطلب 200 تيرابايت ، أي ما يعادل جميع النصوص الرقمية التي تحتفظ بها مكتبة الكونغرس ، وبذلك أصبح أعظم اختبار رياضي يتم إنتاجه على الإطلاق. إذا اضطررنا إلى قراءة العرض التوضيحي ، فإن الأمر سيستغرق منا حوالي 10 مليارات عام.

ماريين هول, أوليفر كولمان و فيكتور ماريك، من جامعات تكساس ، سوانسي وكنتاكي ، على التوالي ، هم مؤلفو هذا العمل الذي يعالج نقطة البداية لخرشوف فيثاغوري: مجموعة من ثلاثة أعداد صحيحة مثل مجموع مربع الأول مع مربع الثاني الرقم يعطي بالضبط مربع الرقم الثالث.

والسؤال هو ما إذا كان كل عدد صحيح يمكن أن يكون لونه أحمر أو أزرق بحيث لا يكون كل ثلاثة من نفس اللون. لقد تجلى ذلك بفضل هذا الحل هناك 102300 طريقة لتلوين الأعداد الصحيحة حتى 7،824.

فيديو: The Problem With Our Phones (كانون الثاني 2020).