إروين إنجيلر

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

بعد حصوله على الدكتوراه عام ١٩٥٨، أمضى إنجلر أربعة عشر عامًا في الولايات المتحدة، حيث درّس في جامعة مينيسوتا وجامعة كاليفورنيا في بيركلي . وفي عام ١٩٥٩، قدّم برهانًا مستقلًا لعدة شروط متكافئة لمفهوم أوميغا-الفئوية ، وهو مفهوم مهم في نظرية النماذج . عاد إلى سويسرا عام ١٩٧٢، حيث عمل أستاذًا للمنطق وعلوم الحاسوب في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ (ETH) حتى تقاعده عام ١٩٩٧.

تم اختيار إنجلر زميلاً في جمعية آلات الحوسبة عام 1995.

• إنجلر، إروين (1993). الخصائص الخوارزمية للهياكل: أوراق مختارة لإروين إنجلر . وورلد ساينتيفيك. ISBN 978-981-02-0872-1.

• إروين إنجيلر في مشروع علم الأنساب الرياضي
• الصفحة الرئيسية للأستاذ إنجيلر في جامعة ETH زيورخ .