Erwin Engeler

Erwin Engeler (nacido el 13 de febrero de 1930) es un matemático suizo que realizó un trabajo pionero sobre las interrelaciones entre la lógica , la informática y la computación científica en el siglo XX. Fue alumno de Paul Bernays en la ETH Zúrich .

Tras obtener su doctorado en 1958, Engeler pasó catorce años en Estados Unidos, donde impartió clases en la Universidad de Minnesota y en la Universidad de California, Berkeley . En 1959, contribuyó con una demostración independiente de varias condiciones equivalentes a la omega-categoricidad , un concepto importante en la teoría de modelos . Regresó a Suiza en 1972, donde ejerció como profesor de lógica e informática en la ETH hasta su jubilación en 1997.

Engeler fue nombrado miembro de la Association for Computing Machinery en 1995.

• Engeler, Erwin (1993). Propiedades algorítmicas de las estructuras: Artículos seleccionados de Erwin Engeler . World Scientific. ISBN 978-981-02-0872-1.

• Erwin Engeler en el Proyecto de Genealogía Matemática
• Página web del profesor Engeler en la ETH Zúrich .