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

n

حتى العدد 500، ثم 1000، ثم 10000. وفي ثمانينيات القرن العشرين، رفع صامويل إس واجستاف من جامعة إلينوي، هذا الحد إلى العدد 25000، وبعد ذلك تمكن علماء الرياضيات من الزعم بصحة مبرهنة فيرما الأخيرة لجميع قيم

n

حتى العدد 4 ملايين.

وبالرغم من أن غير المتخصصين في الرياضيات قد شعروا بأن التكنولوجيا الحديثة ستتمكن أخيرا من التغلب على المبرهنة الأخيرة، كان المجتمع الرياضي يدرك أن نجاحهم ظاهري فحسب. فحتى إذا قضت أجهزة الكمبيوتر الفائقة عقودا تثبت إحدى قيم

n

تلو الأخرى، فلن يمكن أبدا أن تثبت جميع قيم

n

إلى ما لا نهاية؛ ومن ثم فلا يمكن أبدا الزعم بأنها قد أثبتت النظرية بأكملها. حتى إذا أثبتت صحة النظرية حتى العدد مليار، فما من سبب يدعو إلى تصديق صحتها في حالة العدد مليار وواحد. وحتى إذا أثبتت صحة النظرية حتى العدد تريليون فما من سبب يدعو إلى تصديق صحتها في حالة العدد تريليون وواحد، وهكذا إلى ما لا نهاية. إن اللانهائية أمر لا يمكن تحقيقه بالقوة الغاشمة لسحق الأعداد المحوسب.

অজানা পৃষ্ঠা