Engeler, Erwin
Overview
Works:  63 works in 244 publications in 5 languages and 3,674 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Contributor, htt, Author of introduction, dgs 
Classifications:  QA267.5.S4, 629.891 
Publication Timeline
.
Most widely held works by
Erwin Engeler
Symposium on semantics of algorithmic languages by
Erwin Engeler(
Book
)
28 editions published between 1971 and 1974 in 3 languages and held by 739 WorldCat member libraries worldwide
28 editions published between 1971 and 1974 in 3 languages and held by 739 WorldCat member libraries worldwide
Introduction to the theory of computation by
Erwin Engeler(
Book
)
17 editions published between 1971 and 1994 in English and held by 550 WorldCat member libraries worldwide
17 editions published between 1971 and 1994 in English and held by 550 WorldCat member libraries worldwide
Logic of programs : workshop, ETH Zürich, MayJuly 1979 by Workshop on Logic of Programs(
Book
)
25 editions published between 1980 and 1981 in English and German and held by 495 WorldCat member libraries worldwide
25 editions published between 1980 and 1981 in English and German and held by 495 WorldCat member libraries worldwide
Foundations of mathematics : questions of analysis, geometry & algorithmics by
Erwin Engeler(
Book
)
39 editions published between 1978 and 1993 in 4 languages and held by 494 WorldCat member libraries worldwide
This book is concerned with those foundational questions in elementary algebra, calculus and geometry, that are almost always left unanswered in undergraduate courses in these subjects. Among the topics considered are nonstandard analysis, the relationship between classical geometric theorems (such as those of Pascal and Desargues) and field axioms, questions of decidability, and combinatorial logic. An attractive feature is the case given to the historical context in which foundational questions have arisen, and to the early attempts made to resolve them. From the ZENTRALBLATT review of the German edition: "It isone of those rare books which give you freedom and fantasy to reconsider themost common concepts of mathematics ... The book explains carefully, using motivating examples and sometimes quite original proofs, the developmentof crucial ideas in important branches of mathematics. It is a pleasure to read it."
39 editions published between 1978 and 1993 in 4 languages and held by 494 WorldCat member libraries worldwide
This book is concerned with those foundational questions in elementary algebra, calculus and geometry, that are almost always left unanswered in undergraduate courses in these subjects. Among the topics considered are nonstandard analysis, the relationship between classical geometric theorems (such as those of Pascal and Desargues) and field axioms, questions of decidability, and combinatorial logic. An attractive feature is the case given to the historical context in which foundational questions have arisen, and to the early attempts made to resolve them. From the ZENTRALBLATT review of the German edition: "It isone of those rare books which give you freedom and fantasy to reconsider themost common concepts of mathematics ... The book explains carefully, using motivating examples and sometimes quite original proofs, the developmentof crucial ideas in important branches of mathematics. It is a pleasure to read it."
Formal languages; automata and structures by
Erwin Engeler(
Book
)
11 editions published between 1968 and 1994 in English and held by 334 WorldCat member libraries worldwide
11 editions published between 1968 and 1994 in English and held by 334 WorldCat member libraries worldwide
The combinatory programme by
Erwin Engeler(
Book
)
14 editions published between 1994 and 1995 in English and German and held by 279 WorldCat member libraries worldwide
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differƯ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is presented here in the hope that it does justice to the individual contributor and that the reader has a chance of judging the work as a whole. E. Engeler ETH Zurich, April 1994 lCollected in Chapter III, An Algebraization of Algorithmics, in Algorithmic Properties of Structures, Selected Papers of Erwin Engeler, World Scientific PubJ. Co., Singapore, 1993, pp. 183257. I Historical and Philosophical Background Erwin Engeler In the fall of 1928 a young American turned up at the Mathematical Institute of Gottingen, a mecca of mathematicians at the time; he was a young man with a dream and his name was H.B. Curry. He felt that he had the tools in hand with which to solve the problem of foundations of mathematics mice and for all. His was an approach that came to be called "formalist" and embodied that later became known as Combinatory Logic
14 editions published between 1994 and 1995 in English and German and held by 279 WorldCat member libraries worldwide
Combinatory logic started as a programme in the foundation of mathematics and in an historical context at a time when such endeavours attracted the most gifted among the mathematicians. This small volume arose under quite differƯ ent circumstances, namely within the context of reworking the mathematical foundations of computer science. I have been very lucky in finding gifted students who agreed to work with me and chose, for their Ph. D. theses, subjects that arose from my own attempts 1 to create a coherent mathematical view of these foundations. The result of this collaborative work is presented here in the hope that it does justice to the individual contributor and that the reader has a chance of judging the work as a whole. E. Engeler ETH Zurich, April 1994 lCollected in Chapter III, An Algebraization of Algorithmics, in Algorithmic Properties of Structures, Selected Papers of Erwin Engeler, World Scientific PubJ. Co., Singapore, 1993, pp. 183257. I Historical and Philosophical Background Erwin Engeler In the fall of 1928 a young American turned up at the Mathematical Institute of Gottingen, a mecca of mathematicians at the time; he was a young man with a dream and his name was H.B. Curry. He felt that he had the tools in hand with which to solve the problem of foundations of mathematics mice and for all. His was an approach that came to be called "formalist" and embodied that later became known as Combinatory Logic
ISSAC 96 : International Symposium on Symbolic and Algebraic Computation by
Erwin Engeler(
)
4 editions published in 1996 in English and held by 238 WorldCat member libraries worldwide
4 editions published in 1996 in English and held by 238 WorldCat member libraries worldwide
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben by
Erwin Engeler(
Book
)
10 editions published between 1986 and 1992 in German and Italian and held by 126 WorldCat member libraries worldwide
Theory of Computation  Logics and Meanings of Programs
10 editions published between 1986 and 1992 in German and Italian and held by 126 WorldCat member libraries worldwide
Theory of Computation  Logics and Meanings of Programs
Algorithmic properties of structure : selected papers of Erwin Engeler by
Erwin Engeler(
Book
)
11 editions published in 1993 in English and held by 101 WorldCat member libraries worldwide
The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt with by expanding these structures into combinatory algebras. from publisher description
11 editions published in 1993 in English and held by 101 WorldCat member libraries worldwide
The volume begins with the area of enrichment of classical model theory by languages which express properties representing the outcome of hypothetical computer programs executed in a given class of mathematical structures, and is related to questions of correctness and provability of programs. This point of view allowed the generalization of classical Galois theory to the point of discussing the relation between structure and complexity of solution programs for problems posed in various mathematical theories. The algebraic approach is deepened and enlarged in the later papers by showing that the algorithmic aspects of any mathematical structure can be uniformly dealt with by expanding these structures into combinatory algebras. from publisher description
Logique temporelle : sémantique et validation de programmes parallèles by
Eric Audureau(
Book
)
2 editions published in 1990 in French and held by 70 WorldCat member libraries worldwide
2 editions published in 1990 in French and held by 70 WorldCat member libraries worldwide
Symposium on Semantics of Algorithmic Languages(
)
1 edition published in 1971 in English and held by 43 WorldCat member libraries worldwide
1 edition published in 1971 in English and held by 43 WorldCat member libraries worldwide
Untersuchungen zur Modelltheorie by
Erwin Engeler(
Book
)
7 editions published in 1958 in German and held by 35 WorldCat member libraries worldwide
7 editions published in 1958 in German and held by 35 WorldCat member libraries worldwide
Logic of Programs : Workshop, ETH Zürich, MayJuly 1979 by
Erwin Engeler(
)
2 editions published in 1981 in English and held by 34 WorldCat member libraries worldwide
2 editions published in 1981 in English and held by 34 WorldCat member libraries worldwide
Foundations of Mathematics : Questions of Analysis, Geometry & Algorithmics by
Erwin Engeler(
)
2 editions published in 1993 in English and held by 22 WorldCat member libraries worldwide
2 editions published in 1993 in English and held by 22 WorldCat member libraries worldwide
Symposium on semantics of algorithmic languages by
Erwin Engeler(
)
7 editions published between 1971 and 2008 in English and held by 14 WorldCat member libraries worldwide
7 editions published between 1971 and 2008 in English and held by 14 WorldCat member libraries worldwide
Logic and algorithmic : an international symposium held in honour of Ernst Specker by
Erwin Engeler(
Book
)
3 editions published in 1982 in English and held by 12 WorldCat member libraries worldwide
3 editions published in 1982 in English and held by 12 WorldCat member libraries worldwide
Proceedings of the 1996 international symposium on Symbolic and algebraic computation by
Erwin Engeler(
)
1 edition published in 1996 in English and held by 8 WorldCat member libraries worldwide
1 edition published in 1996 in English and held by 8 WorldCat member libraries worldwide
Konrad Zuse und die Fruehzeit des wissenschaftlichen Rechnens an der ETH : Dokumentation zur Ausstellung Konrad Zuse u. d.
Fruehzeit d. Wissenschaftl. Rechnens a.d. ETH, ETH Zuerich, 17. Juni  15. Juli 1981 ; e. Ausstellung um die Z 4, den ersten
an d. ETH eingesetzten Computer (19501955)(
Book
)
2 editions published in 1981 in German and held by 6 WorldCat member libraries worldwide
2 editions published in 1981 in German and held by 6 WorldCat member libraries worldwide
Berechnungstheorie für Informatiker by
Erwin Engeler(
)
1 edition published in 1988 in German and held by 6 WorldCat member libraries worldwide
1 edition published in 1988 in German and held by 6 WorldCat member libraries worldwide
Ein Einblick in die Theorie der Berechnungen by
Erwin Engeler(
Book
)
4 editions published in 1974 in German and held by 5 WorldCat member libraries worldwide
4 editions published in 1974 in German and held by 5 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
Useful Links
Associated Subjects
Algebra, Boolean Algebraic logic Algorithms Combinatorial analysis Combinatory logic Computable functions Computer algorithms Computer programs Computer science Computer scienceMathematics Data structures (Computer science) Dynamic programming Engineering Formal languages Galois theory Geometry Global analysis (Mathematics) Logic, Symbolic and mathematical Logic design Machine theory Mathematics MathematicsPhilosophy Metamathematics Model theory Numerical analysis Parallel processing (Electronic computers) Parallel programming (Computer science) Programming (Mathematics) Programming languages (Electronic computers) Programming languages (Electronic computers)Semantics Recursive functions Sequential machine theory Specker, Ernst,
Covers
Alternative Names
Èngeler, È.
Engeler, E. 1930
Engeler, E. (Erwin)
Engeler, E. (Erwin), 1930
Erwin Engeler matamaiticeoir Eilvéiseach
Erwin Engeler matemàtic suís
Erwin Engeler matemático suizo
Erwin Engeler mathématicien suisse
Erwin Engeler Mathematiker, Informatiker, Schweiz
Erwin Engeler Swiss mathematician
Erwin Engeler wiskundige uit Zwitserland
Энгелер Эрвин
Languages