ألاسدير أوركارت

يظل إثبات عدم القابلية للتقرير فيما يتعلق بمنطق الملاءمة R مساهمة محددة قدمها ألاسدير أوركارت (Alasdair Urquhart) في مجال المنطق غير الكلاسيكي. ولد في اسكتلندا في 20 ديسمبر 1945، وأسس مسيرة مهنية امتدت لتشمل الفلسفة والمنطق الرياضي، مركزاً أبحاثه على مواضيع علوم الكمبيوتر النظرية وتعقيد إجراءات القرار داخل An-Nitham al-Rasmiya (الأنظمة الشكلية).

الأسس الأكاديمية

بدأ ألاسدير إيان فينتون أوركارت تعليمه الرسمي في وطنه اسكتلندا، وتخرج بدرجة ماجستير الآداب في الفلسفة من جامعة إدنبرة في 1967. وتابع لاحقاً دراساته المتقدمة في الخارج، مكملًا درجة الماجستير والدكتوراه في عام 1973. وأُجري بحثه للدكتوراه تحتإشراف نيل بيلناب وألان روس أندرسون.

الفترة المهنية في تورنتو

تطورت مسيرته الأكاديمية الأساسية في جامعة تورنتو. بدأ كأستاذ مساعد في كلية إرينديل، المعروفة الآن باسم جامعة تورنتو ميسيساغا، في عام 1973. وبعد عامين، ترقى إلى رتبة أستاذ مشارك. وبحلول عام 1986، انتقل إلى كلية الآداب والعلوم بجامعة تورنتو، حيث عمل أستاذاً للفلسفة.

الأدوار التحريرية والاستشارية

إلى جانب التدريس والبحث، حافظ أوركارت على مسؤوليات تحريرية مهمة داخل المجتمع الرياضي. بين عامي 1983 و1989، عمل محرراً استشارياً لمجلة Journal of Symbolic Logic. بالإضافة إلى ذلك، قام بتحرير Canadian Philosophical Monographs وتولى دور رئيس تحرير المراجعات في The Bulletin of Symbolic Logic في عام 2003. وهو يشغل حالياً منصباً في مجلس شعبة المنطق والمنهجية وفلسفة العلم والتكنولوجيا.

البحث والمنشورات الرئيسية

يشمل إنتاج أوركارت عمل عام 1971 بعنوان Temporal Logic، الذي شارك في تأليفه مع نيكولاس ريشر. ويتضح بحثه في الجوانب التقنية لمنطق الملاءمة من خلال أوراق بحثية مثل The Undecidability of Entailment and Relevant Implication، المنشورة في عام 1984. واستكللت تعاونه مع ستيفن إيه. كوك، المعنون Functional Interpretations of Feasibly Constructive Arithmetic، التقاطعات بين المنطق والحساب البنائي.

حقائق سريعة

- الولادة: 20 ديسمبر 1945 - الجنسية: المملكة المتحدة - المجال: الرياضيات والفلسفة - الأم الجامعية: جامعة إدنبرة، جامعة بيتسبرغ - صاحب العمل الأكاديمي الأساسي: جامعة تورنتو - العضوية: Logicians Liberation League - اللغة: الإنجليزية

الأسئلة المتداولة من القراء

### ما هو أبرز إنجاز منطقي لألاسدير أوركارت؟

هو معترف به لتقديمه إثبات عدم القابلية للتقرير لمنطق الملاءمة R.

### أين حصل أوركارت على درجة الدكتوراه؟

حصل على درجة الدكتوراه في عام 1973 من جامعة بيتسبرغ.