Erwin Engeler
Encyclopedia
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.
Switzerland
Switzerland name of one of the Swiss cantons. ; ; ; or ), in its full name the Swiss Confederation , is a federal republic consisting of 26 cantons, with Bern as the seat of the federal authorities. The country is situated in Western Europe,Or Central Europe depending on the definition....
mathematician who did pioneering work on the interrelations between logic
Logic
In philosophy, Logic is the formal systematic study of the principles of valid inference and correct reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science...
, computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
and scientific computation in the 20th century. He was one of Paul Bernays
Paul Bernays
Paul Isaac Bernays was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant to, and close collaborator of, David Hilbert.-Biography:Bernays spent his childhood in Berlin. Bernays attended the...
' students at the ETH Zürich
ETH Zurich
The Swiss Federal Institute of Technology Zurich or ETH Zürich is an engineering, science, technology, mathematics and management university in the City of Zurich, Switzerland....
.
After completing his doctorate in 1958, Engeler spent fourteen years in the United States, teaching at the University of Minnesota
University of Minnesota
The University of Minnesota, Twin Cities is a public research university located in Minneapolis and St. Paul, Minnesota, United States. It is the oldest and largest part of the University of Minnesota system and has the fourth-largest main campus student body in the United States, with 52,557...
and at the University of California, Berkeley
University of California, Berkeley
The University of California, Berkeley , is a teaching and research university established in 1868 and located in Berkeley, California, USA...
. In 1959 he contributed an independent proof of several equivalent conditions to omega-categorical theories
Omega-categorical theory
In mathematical logic, an omega-categorical theory is a theory that has only one countable model up to isomorphism. Omega-categoricity is the special case κ = \aleph_0 = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical...
, an important concept in Model theory
Model theory
In mathematics, model theory is the study of mathematical structures using tools from mathematical logic....
. 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
Association for Computing Machinery
The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...
in 1995.
External links
- Professor Engeler's home page at the ETH ZurichETH ZurichThe Swiss Federal Institute of Technology Zurich or ETH Zürich is an engineering, science, technology, mathematics and management university in the City of Zurich, Switzerland....
.