02:51 مساءً
الأحد 16 يونيو 2024
هناك بعض المفاهيم الغامضة جدًا في الرياضيات والتي قد يكون من الصعب فهمها، ولكن معنى “يساوي” هو المعنى الذي اعتقدنا أننا اتفقنا على أنه واضح.
اتضح أن علماء الرياضيات في الواقع لا يستطيعون الاتفاق على تعريف ما يجعل شيئين متساويين، وهذا يمكن أن يسبب بعض الصداع لبرامج الكمبيوتر التي تستخدم بشكل متزايد للتحقق من البراهين الرياضية.
ظلت هذه المناقشة الأكاديمية محتدمة لعقود من الزمن، ولكنها وصلت أخيرا إلى ذروتها لأن برامج الكمبيوتر المستخدمة “لإضفاء الطابع الرسمي” على البراهين أو التحقق منها تحتاج إلى تعليمات واضحة ومحددة؛ ليست تعريفات غامضة للمفاهيم الرياضية المفتوحة للتفسير أو التي تعتمد على سياق لا تملكه أجهزة الكمبيوتر.
واجه عالم الرياضيات البريطاني كيفن بوزارد من إمبريال كوليدج لندن هذه المشكلة عندما تعاون مع مبرمجي الكمبيوتر، ودفعته إلى إعادة النظر في تعريفات “هذا يساوي ذلك”، من أجل “تحدي مختلف الشعارات المعقولة حول المساواة”.
“قبل ست سنوات، اعتقدت أنني فهمت المساواة الرياضية. واعتقدت أنه مصطلح محدد جيدًا… ثم بدأت في محاولة القيام بالرياضيات على مستوى الماجستير في نظرية الكمبيوتر واكتشفت ذلك…
تابعنا على صفحة الفيس بوك وتويتر ليصلك كل جديد
