エルヴィン・エンゲラー

エルヴィン・エンゲラー（1930年2月13日生まれ）は、20世紀に論理学、コンピュータサイエンス、科学的計算の相互関係について先駆的な研究を行ったスイスの数学者である。彼は、 ETHチューリッヒでポール・バーネイズの教え子の一人であった。

1958年に博士号を取得した後、エンゲラーは米国で14年間を過ごし、ミネソタ大学とカリフォルニア大学バークレー校で教鞭を執った。1959年、彼はモデル理論の重要な概念であるオメガ圏に対するいくつかの同値条件の独立した証明に貢献した。彼は1972年にスイスに戻り、1997年に退職するまでETHで論理学とコンピュータサイエンスの教授を務めた。

エンゲラー氏は1995 年に米国計算機協会のフェローに任命されました。

• エンゲラー、アーウィン (1993)。構造のアルゴリズム特性: アーウィン・エンゲラー選集。ワールド・サイエンティフィック。ISBN 978-981-02-0872-1。

• 数学系譜プロジェクトのアーウィン・エンゲラー
• ETH チューリッヒのエンゲラー教授のホームページ。