إرفين إنجلر

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

حصل إنجلر على زمالة جمعية ماكينات الحوسبة في سنة 1995.

مراجع

وعلى صعيد آخر، بعد حصوله على الدكتوراه في سنة 1958 أمضى إنجلر أربعة عشر عامًا في الولايات المتحدة حيث قام بالتدريس في جامعة منيسوتا وجامعة كاليفورنيا (بركلي) . في سنة 1959 ساهم بإثبات للعديد من الشروط المتكافئة لفئة أوميغا وهو مفهوم مهم في نظرية النموذج. عاد إلى سويسرا في سنة 1972 حيث عمل أستاذاً للمنطق وعلوم الكمبيوتر في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ حتى تقاعده في سنة 1997.