اروین انگلر

اروین انگلر (به انگلیسی: Erwin Engeler؛ زادهٔ ۱۳ فوریهٔ ۱۹۳۰) ریاضی‌دان سوئیسی است که در قرن بیستم کارهای پیشگامانه‌ای در زمینه روابط متقابل بین منطق، علوم رایانه و علم محاسبه انجام داد. او یکی از دانشجویان پل برنیز در مؤسسه فناوری فدرال زوریخ بود.

انگلر پس از اتمام دکترای خود در سال ۱۹۵۸، چهارده سال را در ایالات متحده گذراند و در دانشگاه مینه‌سوتا و دانشگاه کالیفرنیا، برکلی تدریس کرد. در سال ۱۹۵۹، او اثبات مستقلی از چندین شرط معادل برای امگا-دسته‌بندی، یک مفهوم مهم در نظریه مدل، ارائه داد. او در سال ۱۹۷۲ به سوئیس بازگشت و تا زمان بازنشستگی‌اش در سال ۱۹۹۷ به‌عنوان استاد منطق و علوم رایانه در مؤسسه فناوری فدرال زوریخ خدمت کرد.

انگلر در سال ۱۹۹۵ به‌عنوان عضو انجمن ماشین‌های محاسباتی انتخاب شد.

• اروین انگلر at Mathematics Genealogy Project
• Professor Engeler's home page at the ETH Zurich.