بول شوب

بول يوجين شوب (12 مارس 1937 - 24 يناير 2022) كان أستاذاً فخرياً للرياضيات في جامعة إلينوي في أوربانا شامبين ، وهو أمريكي المولد وبريطاني الأصل. اشتهر بمساهماته في نظرية الزمر الهندسية ، والتعقيد الحسابي ، ونظرية الحوسبة . ^{[ 1 ]}

حصل على درجة الدكتوراه من جامعة ميشيغان عام 1966 تحت إشراف روجر ليندون .

شارك مع روجر ليندون في تأليف كتاب "نظرية الزمر التوافقية"، الذي قدم عرضًا شاملًا لموضوع نظرية الزمر التوافقية، بدءًا من أعمال دين في العقد الثاني من القرن العشرين وحتى أواخر سبعينياته، ولا يزال مرجعًا أساسيًا في نظرية الإلغاء الجزئي . ^{[ 1 ]} ابتداءً من ثمانينيات القرن العشرين، عمل على مسائل استكشفت الروابط بين نظرية الزمر وعلوم الحاسوب ونظرية التعقيد . أثبت مع ديفيد مولر أن الزمرة G المولدة نهائيًا تمتلك مشكلة الكلمات الخالية من السياق إذا وفقط إذا كانت G حرة افتراضيًا ، وهو ما يُعرف الآن بنظرية مولر-شوب . ^{[ 2 ]}

في عام ١٩٧٧، حصل شوب على زمالة غوغنهايم . وفي عام ٢٠١٢، عُيّن زميلًا مؤسسًا في الجمعية الرياضية الأمريكية . وفي عام ٢٠١٧، نُظّم مؤتمر "المجموعات والحوسبة" في معهد ستيفنز للتكنولوجيا احتفاءً بإسهامات بول شوب الرياضية. ^{[ ٣ ]} توفي شوب في ٢٤ يناير ٢٠٢٢، عن عمر ناهز ٨٤ عامًا. ^{[ ٤ ]}

• بول شوب في جوجل سكولار
• المجموعات والحوسبة: التفاعلات بين نظرية المجموعات الهندسية، والحوسبة، وعلوم الحاسوب