ستيف سيمبسون (عالم رياضيات)

ستيفن جورج سيمبسون (مواليد 8 سبتمبر 1945) عالم رياضيات أمريكي، تركز أبحاثه على أسس الرياضيات ، بما في ذلك أعماله في المنطق الرياضي ، ونظرية الاستدعاء الذاتي ، ونظرية رامزي . يُعرف بتطويره الواسع لمجال الرياضيات العكسية الذي أسسه هارفي فريدمان ، والذي يهدف إلى تحديد البديهيات اللازمة لإثبات نظريات رياضية معينة. ^{[ 1 ]} كما دافع عن مزايا الأنظمة الرياضية المحدودة ، مثل الحساب الاستدعائي الأولي ، الذي لا يتضمن اللانهاية الفعلية . ^{[ 2 ]}

تم تنظيم مؤتمر تكريماً لذكرى ميلاد سيمبسون السبعين في مايو 2016. ^{[ 3 ]}

تخرج سيمبسون عام 1966 من جامعة ليهاي بدرجة البكالوريوس (بامتياز مع مرتبة الشرف الأولى) ودرجة الماجستير في الرياضيات. ^{[ 4 ]} وحصل على درجة الدكتوراه من معهد ماساتشوستس للتكنولوجيا عام 1971، عن أطروحته بعنوان " الأعداد الترتيبية المقبولة ونظرية الاستدعاء الذاتي" بإشراف جيرالد ساكس . ^{[ 5 ]}

بعد مناصب قصيرة الأجل في جامعة ييل وجامعة كاليفورنيا في بيركلي وجامعة أكسفورد ، أصبح سيمبسون أستاذًا مساعدًا في جامعة ولاية بنسلفانيا في عام 1975. وفي جامعة ولاية بنسلفانيا، شغل منصب أستاذ ريموند ن. شيبلي من عام 1987 إلى عام 1992. ^{[ 4 ]}

في عام 2016، انتقلت زوجته، عالمة الكمبيوتر بادما راغافان ، من جامعة ولاية بنسلفانيا إلى جامعة فاندربيلت لتصبح نائبة رئيس الجامعة للبحوث، ^{[ 6 ]} ولحق بها سيمبسون، ليصبح أستاذاً باحثاً في فاندربيلت. ^{[ 7 ]}

• سيمبسون، ستيفن ج. (1977)، "نظرية الرتبة الأولى لدرجات عدم قابلية الحل التكراري"، حوليات الرياضيات ، 105 (1): 121-139 ، doi : 10.2307/1971028 ، JSTOR 1971028 ، MR 0432435  .
• فريدمان، هارفي م .؛ سيمبسون، ستيفن ج.؛ سميث، ريك ل. (1983)، "الجبر القابل للعد وبديهيات وجود المجموعات"، حوليات المنطق البحت والتطبيقي ، 25 (2): 141-181 ، doi : 10.1016/0168-0072(83)90012-X ، MR 0725732 .
• كارلسون، تيموثي جيه؛ سيمبسون، ستيفن جي (1984)، "صيغة ثنائية لنظرية رامزي"، التقدم في الرياضيات ، 53 (3): 265-290 ، doi : 10.1016/0001-8708(84)90026-4 ، MR 0753869 .
• سيمبسون، ستيفن ج. (1988)، "تحقيقات جزئية لبرنامج هيلبرت"، مجلة المنطق الرمزي ، 53 (2): 349-363 ، doi : 10.2307/2274508 ، JSTOR 2274508 ، MR 0947843  .
• سيمبسون، ستيفن ج. (1999)، الأنظمة الفرعية للحساب من الدرجة الثانية ، منظورات في المنطق الرياضي، برلين: سبرينغر-فيرلاغ، doi : 10.1007/978-3-642-59971-2 (غير نشط في 12 يوليو 2025)، ISBN 3-540-64882-8MR 1723993​ {{citation}}: CS1 maint: DOI غير نشط اعتبارًا من يوليو 2025 ( رابط ) . الطبعة الثانية، 2009، MR 2517689 . 

• الصفحة الرئيسية في جامعة ولاية بنسلفانيا
• ملف تعريف جوجل سكولار