حلّتْ مُجْمَلَةُ المجموعات الخالية من المجاميع

2025-05-25
حلّتْ مُجْمَلَةُ المجموعات الخالية من المجاميع

أربكت مشكلة رياضية تبدو بسيطة - وهي مُجْمَلَةُ المجموعات الخالية من المجاميع - علماء الرياضيات لعقود من الزمن. تستكشف هذه المُجْمَلَةُ ما إذا كان يوجد، ضمن أي مجموعة من الأعداد الصحيحة، مجموعة فرعية كبيرة حيث لا يكون مجموع أي عددين من المجموعة الفرعية موجودًا أيضًا في المجموعة الفرعية. في عام 1965، طرح عالم الرياضيات الشهير بول إردوس هذا السؤال، مُقدِّمًا حدًا أدنى. وعلى الرغم من العديد من المحاولات لتحسينه، إلا أن التقدم ظل راكدًا حتى فبراير من هذا العام، عندما حلّ طالب الدراسات العليا في جامعة أكسفورد، بنيامين بيدرت، المشكلة أخيرًا، مُبرهنًا على أن أي مجموعة من الأعداد الصحيحة تحتوي على مجموعة فرعية كبيرة خالية من المجاميع، أكبر بكثير مما كان مُقدَّرًا سابقًا. تجمع إثبات بيدرت ببراعة تقنيات من مجالات رياضية مُتعددة، مُقدِّمًا أساليب جديدة لمشاكل مُشابهة. ويُشاد بهذا الإنجاز باعتباره إنجازًا كبيرًا في الرياضيات.