نظرية رياضية عمرها 400 عام تحل أخيراً

أظهر اكاديميون بأن نظرية رياضية ألمانية صحيحة، بعد أكثر من 400 سنة على اقترحها لأول مرة.

جاء الإلهام من تاجر ينام بقرب كومة بطيخ في السوق.

في عام 1611، قال جوهانس كبلر Johannes Kepler بأن الطريقة الأكثر فعالية لتكويم الأشياء الدائرية مثل البرتقال والبطيخ هي عن طريق تشكيل الهرم.

الآن، وبعد 403 عاماً، أكد الأكاديميين أخيراً بأن نظريته صحيحة.

يعتقد البروفيسور توماس هيلز Thomas Hales من جامعة بيتسبرغ University of Pittsburgh في بنسلفانيا، أنه توصل لحل المسألة في عام 1998. تم إعداد دليل من 300 صفحة، والذي استغرق 12 مراجعاً وأربع سنوات للتحقق من وجود أخطاء.

لكن حتى بهذا، يمكن التحقق من أن النظرية صحيحة بنسبة 99٪. لذلك، وفي عام 2003، بدأ بصنع أداة حسابية للتحقق من الشكوك.

دعي المشروع Flyspeck، واستخدم برمجيات خاصة للتحقق. وحين يعطى وقت كاف، يمكنه التحقق من منطق النظريات الرياضية المعقدة.

هذا الأسبوع، أعلن الأستاذ هيلز وفريقه بأنه تم التحقق من دليل عام 1998 بواسطة البرنامج، وثبت صحته.

وقال البروفيسور لمجلة نيو ساينتست New Scientist: “أشعر فجأة بأنني أصغر بعشر سنوات.”

MathMaroc

السبت, ديسمبر 13, 2014