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 uno de los estudiantes de Paul Bernays en la ETH Zürich .
Después de completar su doctorado en 1958, Engeler pasó catorce años en los Estados Unidos, enseñando en la Universidad de Minnesota y en la Universidad de California, Berkeley . En 1959 contribuyó con una prueba independiente de varias condiciones equivalentes a la categoricidad omega , un concepto importante en la teoría de modelos . Regresó a Suiza en 1972, donde se desempeñó 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.
Publicaciones Seleccionadas
- Engeler, Erwin (1993). Propiedades algorítmicas de las estructuras: artículos seleccionados de Erwin Engeler . World Scientific. ISBN 978-981-02-0872-1.
enlaces externos
- Erwin Engeler en el Proyecto de genealogía matemática
- Página de inicio del profesor Engeler en la ETH de Zúrich .
 | Este artículo sobre un científico suizo es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |
 | Este artículo sobre un matemático europeo es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |
