Erwin Engeler
Erwin Engeler (born 13 February 1930) 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-categoricity, 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.
Selected publications
- Engeler, Erwin (1993). Algorithmic Properties of Structures: Selected Papers of Erwin Engeler. World Scientific. ISBN 978-981-02-0872-1.
External links
- Articles with short description
- Short description is different from Wikidata
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NDL identifiers
- Articles with NKC identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with CINII identifiers
- Articles with DBLP identifiers
- Articles with MATHSN identifiers
- Articles with MGP identifiers
- Articles with ZBMATH identifiers
- Articles with SUDOC identifiers
- Swiss mathematicians
- 1995 Fellows of the Association for Computing Machinery
- 1930 births
- Living people
- All stub articles
- Swiss scientist stubs
- European mathematician stubs