Erwin Engeler

Matemático suizo (nacido en 1930)

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 de Zúrich .

Tras completar su doctorado en 1958, Engeler pasó catorce años en 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 omega-categoricidad , un concepto importante en la teoría de modelos . Regresó a Suiza en 1972, donde se desempeñó como profesor de lógica y ciencias de la computación 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.