WorldCat Identities

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

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

Logic of programs : workshop, ETH Zürich, May-July 1979( Book )

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 non-standard 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

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. 183-257. 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
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
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

Untersuchungen zur Modelltheorie by Erwin Engeler( Book )

6 editions published in 1958 in German and held by 32 WorldCat member libraries worldwide

Logic of Programs Workshop, ETH Zürich, May-July 1979 by Erwin Engeler( )

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

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

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

Formal languages : automata and Structers by Erwin Engeler( Book )

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

800 [Achthundert] Jahre Stadtrecht Diessenhofen 1178-1978 by Diessenhofen( Book )

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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.66 (from 0.49 for Introducti ... to 0.95 for Generalize ...)

Symposium on semantics of algorithmic languages
Covers
Logic of programs : workshop, ETH Zürich, May-July 1979The combinatory programme
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
English (105)

German (40)

Russian (5)

French (2)

Italian (1)