هناك بعض المفاهيم الغامضة جدًا في الرياضيات التي قد يصعب استيعابها، ولكن نعتقد أن معنى "يساوي" (=) هو المعنى الذي يتبادر إلى أذهاننا مباشرة.

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

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

2024-06-17 | عدد القراءات 71