The continuum : a constructive approach to basic concepts of real analysis
In this small text the basic theory of the continuum, including the elements of metric space theory and continuity is developed within the system of intuitionistic mathematics in the sense of L.E.J. Brouwer and H. Weyl. The main features are proofs of the famous theorems of Brouwer concerning the co...
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Wiesbaden :
Vieweg+Teubner Verlag
2005.
Cham : Springer Nature |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • The Continuum, Texte imprimé, 9783322820389 • The Continuum, Texte imprimé, 9783322820372 • The Continuum, a constructive approach to basic concepts of real analysis, Rudolf Taschner, Wiesbaden, Vieweg, 2005, 1 vol. (V-136 p.), 3-8348-0040-6 |
| LEADER | 03440nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 945757 | ||
| 008 | 130325s2005 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN168307561 | ||
| 020 | |a 9783322820365 | ||
| 041 | 0 | |a eng | |
| 082 | |a 515 | ||
| 100 | 1 | |a Taschner, Rudolf, |d 1953- | |
| 245 | 1 | 0 | |a The continuum : |b a constructive approach to basic concepts of real analysis |c by Rudolf Taschner. |
| 260 | |a Wiesbaden : |b Vieweg+Teubner Verlag. | ||
| 260 | |a Cham : |b Springer Nature, |c 2005. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 1 Introduction and historical remarks -- 1.1 Farey fractions -- 1.2 The pentagram -- 1.3 Continued fractions -- 1.4 Special square roots -- 1.5 Dedekind cuts -- 1.6 Weyl's alternative -- 1.7 Brouwer's alternative -- 1.8 Integration in traditional and in intuitionistic framework -- 1.9 The wager -- 1.10 How to read the following pages -- 2 Real numbers -- 2.1 Definition of real numbers -- 2.2 Order relations -- 2.3 Equality and apartness -- 2.4 Convergent sequences of real numbers -- 3 Metric spaces -- 3.1 Metric spaces and complete metric spaces -- 3.2 Compact metric spaces -- 3.3 Topological concepts -- 3.4 The s-dimensional continuum -- 4 Continuous functions -- 4.1 Pointwise continuity -- 4.2 Uniform continuity -- 4.3 Elementary calculations in the continuum -- 4.4 Sequences and sets of continuous functions -- 5 Literature. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a In this small text the basic theory of the continuum, including the elements of metric space theory and continuity is developed within the system of intuitionistic mathematics in the sense of L.E.J. Brouwer and H. Weyl. The main features are proofs of the famous theorems of Brouwer concerning the continuity of all functions that are defined on "whole" intervals, the uniform continuity of all functions that are defined on compact intervals, and the uniform convergence of all pointwise converging sequences of functions defined on compact intervals. The constructive approach is interesting both in itself and as a contrast to, for example, the formal axiomatic one | ||
| 776 | 0 | |t The Continuum |b Texte imprimé |z 9783322820389 | |
| 776 | 0 | |t The Continuum |b Texte imprimé |z 9783322820372 | |
| 776 | 0 | |0 145942767 |t The Continuum |o a constructive approach to basic concepts of real analysis |f Rudolf Taschner |c Wiesbaden |n Vieweg |d 2005 |p 1 vol. (V-136 p.) |z 3-8348-0040-6 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-322-82036-5 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N9VZDSR1-9 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747908087 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-3-322-82036-5 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750921080 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-3-322-82036-5 |z Accès INSA CVL | |
| 997 | |0 945757 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||