Erwin Engeler
Mathematician, Author
1930 –
Who is Erwin Engeler?
Erwin Engeler is a Swiss mathematician who did pioneering work on the interrelations between logic, computer science and scientific computation in the 20th century. He was one of Paul Bernays' students at the ETH Zürich.
After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota and at the University of California, Berkeley. In 1959 he contributed an independent proof of several equivalent conditions to omega-categorical theories, an important concept in Model theory. He returned to Switzerland in 1972, where he served as a professor of logic and computer science at the ETH until his retirement in 1997.
Engeler was named a Fellow of the Association for Computing Machinery in 1995.
We need you!
Help us build the largest biographies collection on the web!
Citation
Use the citation below to add to a bibliography:
Style:MLAChicagoAPA
"Erwin Engeler." Biographies.net. STANDS4 LLC, 2024. Web. 28 Apr. 2024. <https://www.biographies.net/people/en/erwin_engeler>.
Discuss this Erwin Engeler biography with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In