<Back to Index>
- Mathematician Erwin Engeler, 1930
- Mathematician Andrzej Ehrenfeucht, 1932
PAGE SPONSOR
Erwin Engeler (born 13 February 1930) was 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.
Andrzej Ehrenfeucht (born August 8, 1932) was a Polish American mathematician and computer scientist. He formulated the Ehrenfeucht – Fraïssé game, using the back - and - forth method given by Roland Fraïssé in his thesis. The Ehrenfeucht – Mycielski sequence is also named after him.
Ehrenfeucht married Alfred Tarski's daughter Ina Tarski. Ehrenfeucht taught at the University of Colorado, where he ran the project "breaking away" together with Patricia Baggett. The project aimed at raising high school students' interest in mathematics and technology with hands-on projects.