Engeler, Erwin
Overview
Works:  60 works in 209 publications in 5 languages and 3,206 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Author, Editor, Other 
Publication Timeline
.
Most widely held works by
Erwin Engeler
Symposium on semantics of algorithmic languages by
E Engeler(
Book
)
17 editions published in 1971 in English and German and held by 628 WorldCat member libraries worldwide
17 editions published in 1971 in English and German and held by 628 WorldCat member libraries worldwide
Introduction to the theory of computation by
Erwin Engeler(
Book
)
16 editions published between 1971 and 1994 in English and held by 553 WorldCat member libraries worldwide
16 editions published between 1971 and 1994 in English and held by 553 WorldCat member libraries worldwide
Logic of programs : workshop, ETH Zürich, MayJuly 1979(
Book
)
19 editions published between 1980 and 1981 in English and German and held by 458 WorldCat member libraries worldwide
19 editions published between 1980 and 1981 in English and German and held by 458 WorldCat member libraries worldwide
Foundations of mathematics : questions of analysis, geometry & algorithmics by
Erwin Engeler(
Book
)
36 editions published between 1978 and 2012 in 4 languages and held by 441 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."
36 editions published between 1978 and 2012 in 4 languages and held by 441 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
)
9 editions published between 1968 and 1994 in English and held by 335 WorldCat member libraries worldwide
9 editions published between 1968 and 1994 in English and held by 335 WorldCat member libraries worldwide
The combinatory programme by
Erwin Engeler(
Book
)
11 editions published in 1995 in English and held by 248 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
11 editions published in 1995 in English and held by 248 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
Berechnungstheorie für Informatiker : mit 34 Übungsaufgaben by
Erwin Engeler(
Book
)
9 editions published between 1986 and 1992 in German and Italian and held by 119 WorldCat member libraries worldwide
Theory of Computation  Logics and Meanings of Programs
9 editions published between 1986 and 1992 in German and Italian and held by 119 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
)
10 editions published in 1993 in English and held by 104 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
10 editions published in 1993 in English and held by 104 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 72 WorldCat member libraries worldwide
2 editions published in 1990 in French and held by 72 WorldCat member libraries worldwide
Untersuchungen zur Modelltheorie by
Erwin Engeler(
Book
)
6 editions published in 1958 in German and held by 32 WorldCat member libraries worldwide
6 editions published in 1958 in German and held by 32 WorldCat member libraries worldwide
Logic of Programs Workshop, ETH Zürich, MayJuly 1979 by
Erwin Engeler(
)
1 edition published in 1981 in English and held by 30 WorldCat member libraries worldwide
1 edition published in 1981 in English and held by 30 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 7 WorldCat member libraries worldwide
1 edition published in 1996 in English and held by 7 WorldCat member libraries worldwide
Ein Einblick in die Theorie der Berechnungen by
E Engeler(
Book
)
4 editions published in 1974 in German and held by 6 WorldCat member libraries worldwide
4 editions published in 1974 in German and held by 6 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
ISSAC 96: International Symposium on Symbolic and Algebraic Computation by
Erwin Engeler(
Book
)
2 editions published in 1996 in English and held by 5 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 5 WorldCat member libraries worldwide
Formal languages : automata and Structers by
Erwin Engeler(
Book
)
1 edition published in 1968 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1968 in English and held by 5 WorldCat member libraries worldwide
Untersuchungen zur Modelltheorie(
)
1 edition published in 1958 in German and held by 4 WorldCat member libraries worldwide
1 edition published in 1958 in German and held by 4 WorldCat member libraries worldwide
800 [Achthundert] Jahre Stadtrecht Diessenhofen 11781978 by
Diessenhofen(
Book
)
1 edition published in 1978 in German and held by 4 WorldCat member libraries worldwide
1 edition published in 1978 in German and held by 4 WorldCat member libraries worldwide
Structural relations between programs and problems by
Erwin Engeler(
Book
)
4 editions published in 1975 in English and held by 4 WorldCat member libraries worldwide
4 editions published in 1975 in English and held by 4 WorldCat member libraries worldwide
Generalized Galois theory and its application to complexity by
Erwin Engeler(
Book
)
2 editions published in 1978 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1978 in English and held by 3 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Eidgenössische Technische Hochschule Zürich
 Läuchli, Peter
 Enjalbert, Patrice
 Audureau, Eric Author
 Fariñas del Cerro, Luis
 Peikert, Ronald
 SpringerLink (Service en ligne)
 Thomas, Charles Benedict (19382005)
 ACM Digital Library
 Association for Computing Machinery Special Interest Group on Symbolic & Algebraic Manipulation
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) 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
Covers
Alternative Names
Èngeler, È.
Engeler, E. 1930
Engeler, E. (Erwin)
Engeler, E. (Erwin), 1930
Engeler, Erwin
Erwin Engeler matemático suizo
Erwin Engeler Swiss mathematician
Erwin Engeler wiskundige uit Zwitserland
Энгелер Эрвин
Languages