Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics / by Erwin Engeler.
This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Following repeated suggestions, this English translation was commissioned by Springer; they were most fortunate in finding translators whose mathemati ca...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1993.
|
| Edition: | 1st ed. 1993. |
| Series: | Springer eBook Collection.
|
| Subjects: | |
| Online Access: | Click to view e-book |
| Holy Cross Note: | Loaded electronically. Electronic access restricted to members of the Holy Cross Community. |
| LEADER | 04384nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | b3205193 | ||
| 003 | MWH | ||
| 005 | 20191023201759.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 121227s1993 gw | s |||| 0|eng d | ||
| 020 | |a 9783642780523 | ||
| 024 | 7 | |a 10.1007/978-3-642-78052-3 |2 doi | |
| 035 | |a (DE-He213)978-3-642-78052-3 | ||
| 050 | 4 | |a E-Book | |
| 072 | 7 | |a PBC |2 bicssc | |
| 072 | 7 | |a MAT018000 |2 bisacsh | |
| 072 | 7 | |a PBC |2 thema | |
| 072 | 7 | |a PBCD |2 thema | |
| 100 | 1 | |a Engeler, Erwin. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Foundations of Mathematics |h [electronic resource] : |b Questions of Analysis, Geometry & Algorithmics / |c by Erwin Engeler. |
| 250 | |a 1st ed. 1993. | ||
| 264 | 1 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg : |b Imprint: Springer, |c 1993. | |
| 300 | |a V, 100 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Springer eBook Collection | |
| 505 | 0 | |a I. The Continuum -- §1 What Are the Real Numbers? -- §2 Language as Part of Mathematics -- §3 Elementary Theory of Real Numbers -- §4 Non-Standard Analysis -- §5 Axiom of Choice and Continuum Hypothesis -- II. Geometry -- §1 Space and Mathematics -- §2 Axiomatization by Means of Coordinates -- §3 Metatheoretical Questions and Methods in Elementary Geometry -- §4 Geometric Constructions -- III. Algorithmics -- §1 What is an Algorithm? -- §2 The Existence of Combinatory Algebras: Combinatory Logic -- §3 Concrete Combinatory Algebras -- §4 Lambda Calculus -- §5 Computability and Combinatorss. | |
| 520 | |a This book appeared about ten years ago in Gennan. It started as notes for a course which I gave intermittently at the ETH over a number of years. Following repeated suggestions, this English translation was commissioned by Springer; they were most fortunate in finding translators whose mathemati cal stature, grasp of the language and unselfish dedication to the essentially thankless task of rendering the text comprehensible in a second language, both impresses and shames me. Therefore, my thanks go to Dr. Roberto Minio, now Darmstadt and Professor Charles Thomas, Cambridge. The task of preparing a La'JEX-version of the text was extremely daunting, owing to the complexity and diversity of the symbolisms inherent in the various parts of the book. Here, my warm thanks go to Barbara Aquilino of the Mathematics Department of the ETH, who spent tedious but exacting hours in front of her Olivetti. The present book is not primarily intended to teach logic and axiomat ics as such, nor is it a complete survey of what was once called "elementary mathematics from a higher standpoint". Rather, its goal is to awaken a certain critical attitude in the student and to help give this attitude some solid foun dation. Our mathematics students, having been drilled for years in high-school and college, and having studied the immense edifice of analysis, regrettably come away convinced that they understand the concepts of real numbers, Euclidean space, and algorithm. | ||
| 590 | |a Loaded electronically. | ||
| 590 | |a Electronic access restricted to members of the Holy Cross Community. | ||
| 650 | 0 | |a Mathematical logic. | |
| 650 | 0 | |a Mathematical analysis. | |
| 650 | 0 | |a Analysis (Mathematics). | |
| 650 | 0 | |a Geometry. | |
| 650 | 0 | |a Numerical analysis. | |
| 690 | |a Electronic resources (E-books) | ||
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer eBooks | |
| 830 | 0 | |a Springer eBook Collection. | |
| 856 | 4 | 0 | |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-642-78052-3 |3 Click to view e-book |
| 907 | |a .b32051931 |b 04-18-22 |c 02-26-20 | ||
| 998 | |a he |b 02-26-20 |c m |d @ |e - |f eng |g gw |h 0 |i 1 | ||
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 950 | |a Mathematics and Statistics (Springer-11649) | ||
| 902 | |a springer purchased ebooks | ||
| 903 | |a SEB-COLL | ||
| 945 | |f - - |g 1 |h 0 |j - - |k - - |l he |o - |p $0.00 |q - |r - |s b |t 38 |u 0 |v 0 |w 0 |x 0 |y .i21183582 |z 02-26-20 | ||
| 999 | f | f | |i cc4f63fd-a3e7-58a0-935a-517929fa2108 |s 56c1174d-9587-565c-bf14-19fc0c9d1fad |
| 952 | f | f | |p Online |a College of the Holy Cross |b Main Campus |c E-Resources |d E-resources |e E-Book |h Library of Congress classification |i Elec File |n 1 |